diff options
| author | Namhoon Kim <namhoonk@cs.unc.edu> | 2015-03-01 17:58:29 -0500 |
|---|---|---|
| committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2015-03-01 17:58:29 -0500 |
| commit | 0a62a98d4cbd2f1cb0ecee6669f708a3e83afcb3 (patch) | |
| tree | 09ca1d2e7ba589a2cde80bcef3e0bd2b8eaf92ad /include | |
| parent | f34d9982907644ade66b8689460cf0f414e88ce7 (diff) | |
MC2 scheduling infrastructure
Diffstat (limited to 'include')
| -rw-r--r-- | include/litmus/reservation.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/litmus/reservation.h b/include/litmus/reservation.h index 0b9c08d6051e..7e022b34470f 100644 --- a/include/litmus/reservation.h +++ b/include/litmus/reservation.h | |||
| @@ -129,6 +129,7 @@ struct reservation { | |||
| 129 | 129 | ||
| 130 | /* for global env. */ | 130 | /* for global env. */ |
| 131 | int scheduled_on; | 131 | int scheduled_on; |
| 132 | int event_added; | ||
| 132 | /* for blocked by ghost. Do not charge budget when ACTIVE */ | 133 | /* for blocked by ghost. Do not charge budget when ACTIVE */ |
| 133 | int blocked_by_ghost; | 134 | int blocked_by_ghost; |
| 134 | /* ghost_job. If it is clear, do not charge budget when ACTIVE_IDLE */ | 135 | /* ghost_job. If it is clear, do not charge budget when ACTIVE_IDLE */ |
| @@ -244,6 +245,7 @@ void gmp_add_new_reservation(struct gmp_reservation_environment* gmp_env, | |||
| 244 | struct reservation* new_res); | 245 | struct reservation* new_res); |
| 245 | void gmp_add_event_after(struct gmp_reservation_environment* gmp_env, | 246 | void gmp_add_event_after(struct gmp_reservation_environment* gmp_env, |
| 246 | lt_t timeout, unsigned int id, event_type_t type); | 247 | lt_t timeout, unsigned int id, event_type_t type); |
| 248 | void gmp_print_events(struct gmp_reservation_environment* gmp_env, lt_t now); | ||
| 247 | int gmp_update_time(struct gmp_reservation_environment* gmp_env, lt_t now); | 249 | int gmp_update_time(struct gmp_reservation_environment* gmp_env, lt_t now); |
| 248 | struct task_struct* gmp_dispatch(struct gmp_reservation_environment* gmp_env); | 250 | struct task_struct* gmp_dispatch(struct gmp_reservation_environment* gmp_env); |
| 249 | struct next_timer_event* gmp_find_event_by_id(struct gmp_reservation_environment* gmp_env, unsigned int id); | 251 | struct next_timer_event* gmp_find_event_by_id(struct gmp_reservation_environment* gmp_env, unsigned int id); |
