diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-09-17 11:25:50 -0400 |
|---|---|---|
| committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2014-11-03 21:59:45 -0500 |
| commit | f460d28c594341d8e8f78cfe92e6e0d42b2f5616 (patch) | |
| tree | 0b3b3b5bdb77e7586103943afe0fc880cb7fc48c /include | |
| parent | 33ad22dfbddcff613fd530f3721cd3e941f4614c (diff) | |
Reservations: fix time-tracking of table-driven reservations
Keep track of the current slot and major cycle explicitly to avoid
ambiguity when the budget charging is delayed into the next major
cycle due to a late interrupt or other sources of delay.
Diffstat (limited to 'include')
| -rw-r--r-- | include/litmus/polling_reservations.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/include/litmus/polling_reservations.h b/include/litmus/polling_reservations.h index fa221817ad30..66c9b1e31f20 100644 --- a/include/litmus/polling_reservations.h +++ b/include/litmus/polling_reservations.h | |||
| @@ -24,7 +24,10 @@ struct table_driven_reservation { | |||
| 24 | unsigned int next_interval; | 24 | unsigned int next_interval; |
| 25 | unsigned int num_intervals; | 25 | unsigned int num_intervals; |
| 26 | struct lt_interval *intervals; | 26 | struct lt_interval *intervals; |
| 27 | struct lt_interval *cur_interval; | 27 | |
| 28 | /* info about current scheduling slot */ | ||
| 29 | struct lt_interval cur_interval; | ||
| 30 | lt_t major_cycle_start; | ||
| 28 | }; | 31 | }; |
| 29 | 32 | ||
| 30 | void table_driven_reservation_init(struct table_driven_reservation *tdres, | 33 | void table_driven_reservation_init(struct table_driven_reservation *tdres, |