Expand description
Cross-partition budget check helper.
The scheduler uses BudgetChecker to check budget status without
redundant reads per scheduling cycle. The checker caches budget status
per cycle and clears the cache at the start of each new cycle.
Reference: RFC-008 §Budget Admission, RFC-010 §3.2
Structs§
- Budget
Checker - Cross-partition budget checker with per-cycle caching.
- Budget
Status - Budget status for admission decisions.