aboutsummaryrefslogtreecommitdiffstats
path: root/include
diff options
context:
space:
mode:
authorNamhoon Kim <namhoonk@cs.unc.edu>2015-03-01 17:58:29 -0500
committerNamhoon Kim <namhoonk@cs.unc.edu>2015-03-01 17:58:29 -0500
commit0a62a98d4cbd2f1cb0ecee6669f708a3e83afcb3 (patch)
tree09ca1d2e7ba589a2cde80bcef3e0bd2b8eaf92ad /include
parentf34d9982907644ade66b8689460cf0f414e88ce7 (diff)
MC2 scheduling infrastructure
Diffstat (limited to 'include')
-rw-r--r--include/litmus/reservation.h2
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);
245void gmp_add_event_after(struct gmp_reservation_environment* gmp_env, 246void 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);
248void gmp_print_events(struct gmp_reservation_environment* gmp_env, lt_t now);
247int gmp_update_time(struct gmp_reservation_environment* gmp_env, lt_t now); 249int gmp_update_time(struct gmp_reservation_environment* gmp_env, lt_t now);
248struct task_struct* gmp_dispatch(struct gmp_reservation_environment* gmp_env); 250struct task_struct* gmp_dispatch(struct gmp_reservation_environment* gmp_env);
249struct next_timer_event* gmp_find_event_by_id(struct gmp_reservation_environment* gmp_env, unsigned int id); 251struct next_timer_event* gmp_find_event_by_id(struct gmp_reservation_environment* gmp_env, unsigned int id);