Expand description
Wait-for-VRAM polling queue (GPU-SHARE-003).
Polls the VRAM ledger until sufficient budget is available or timeout. Uses exponential backoff: 30s base, 300s max.
§Contract
wait_for_vram()returns withintimeout + max_interval(worst case)- Each poll iteration prunes dead PIDs + expired leases
- CPU usage < 1% during wait (sleeping between polls)
Structs§
- Wait
Config - Configuration for wait-for-VRAM polling.
- Wait
Progress - Produce a structured progress report for the current wait state.
Functions§
- fairness_
via_ expiry - Identify expired reservations eligible for reclamation (fairness via lease expiry).
- progress_
report - Build a progress report snapshot for the current wait state.
- timeout_
bound - Compute the maximum wait duration bound for a given config.
- wait_
for_ vram - Poll the ledger until VRAM budget is available.