diff options
author | Glenn Elliott <gelliott@koruna.cs.unc.edu> | 2010-05-20 14:33:27 -0400 |
---|---|---|
committer | Andrea Bastoni <bastoni@cs.unc.edu> | 2010-05-30 11:27:34 -0400 |
commit | 6f89d4f31485546674187cf3b4d472f230b263d0 (patch) | |
tree | a9417ea7121e19228870b1e42b323f3bc149af2e /include/litmus/rt_param.h | |
parent | 521422c4ef2c64731f709030915a7b301709f4b4 (diff) |
Added support for choices in budget policy enforcement.
NO_ENFORCEMENT - A job may execute beyond its declared execution time.
Jobs notify the kernel that they are complete via liblitmus's
sleep_next_period()
QUANTUM_ENFORCEMENT - The kernel terminates a job if its actual execution
time exceeds the declared execution time.
PRECISE_ENFORCEMENT - Hook declared, but not yet implemented. Plan to
support this policy through hrtimers. Error thrown if specified.
Diffstat (limited to 'include/litmus/rt_param.h')
-rw-r--r-- | include/litmus/rt_param.h | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/include/litmus/rt_param.h b/include/litmus/rt_param.h index 5b94d1a8eea7..a7a183f34a80 100644 --- a/include/litmus/rt_param.h +++ b/include/litmus/rt_param.h | |||
@@ -27,12 +27,19 @@ typedef enum { | |||
27 | RT_CLASS_BEST_EFFORT | 27 | RT_CLASS_BEST_EFFORT |
28 | } task_class_t; | 28 | } task_class_t; |
29 | 29 | ||
30 | typedef enum { | ||
31 | NO_ENFORCEMENT, /* job may overrun unhindered */ | ||
32 | QUANTUM_ENFORCEMENT, /* budgets are only checked on quantum boundaries */ | ||
33 | PRECISE_ENFORCEMENT /* NOT IMPLEMENTED - enforced with hrtimers */ | ||
34 | } budget_policy_t; | ||
35 | |||
30 | struct rt_task { | 36 | struct rt_task { |
31 | lt_t exec_cost; | 37 | lt_t exec_cost; |
32 | lt_t period; | 38 | lt_t period; |
33 | lt_t phase; | 39 | lt_t phase; |
34 | unsigned int cpu; | 40 | unsigned int cpu; |
35 | task_class_t cls; | 41 | task_class_t cls; |
42 | budget_policy_t budget_policy; /* ignored by pfair */ | ||
36 | }; | 43 | }; |
37 | 44 | ||
38 | /* The definition of the data that is shared between the kernel and real-time | 45 | /* The definition of the data that is shared between the kernel and real-time |