diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-09-08 12:24:18 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-09-08 12:24:18 -0400 |
| commit | e18fc708a32b2ee6b48e648cd2ac767eb76be5e5 (patch) | |
| tree | 86a5383d0c4d2f22c29d96a9c0936f42fbf99ba5 /include | |
| parent | 642d997fc6d6500e14f3c2fa72e481800d687cd1 (diff) | |
Table-driven replenishments should depend on the current time
Make sure we don't accidentally bleed past the current reservation
scheduling slot (due to jitter) by determining the remaining budget
precisely when replenishing the reservation budget.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions