diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2011-10-14 19:22:30 -0400 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2011-10-14 19:22:30 -0400 |
commit | 2cd5b8b9f496e92884b71eb58ea1ed40947cd2f3 (patch) | |
tree | 8eabb44e3b4cfe78eaf20573e8c95cde2c1138e0 /include | |
parent | 9f7381b674d6e20fefde16633864d9e0aa44fa80 (diff) |
paranoid android
Diffstat (limited to 'include')
-rw-r--r-- | include/litmus/budget.h | 7 | ||||
-rw-r--r-- | include/litmus/rt_param.h | 5 |
2 files changed, 10 insertions, 2 deletions
diff --git a/include/litmus/budget.h b/include/litmus/budget.h index 559cfcdda61a..062df818de45 100644 --- a/include/litmus/budget.h +++ b/include/litmus/budget.h | |||
@@ -7,6 +7,9 @@ void update_enforcement_timer(struct task_struct* t); | |||
7 | 7 | ||
8 | void prepare_for_next_server(struct task_struct* t,int forced); | 8 | void prepare_for_next_server(struct task_struct* t,int forced); |
9 | 9 | ||
10 | #define job_behind(t) (lt_before_eq((t)->rt_param.job_params.deadline, \ | 10 | #define job_behind(t)\ |
11 | (t)->rt_param.job_params.release)) | 11 | (lt_before((t)->rt_param.job_params.real_release, get_release(t))) |
12 | |||
13 | void server_release(struct task_struct *t); | ||
14 | void task_release(struct task_struct *t); | ||
12 | #endif | 15 | #endif |
diff --git a/include/litmus/rt_param.h b/include/litmus/rt_param.h index 221edad83d77..f15b1ad5fa3c 100644 --- a/include/litmus/rt_param.h +++ b/include/litmus/rt_param.h | |||
@@ -83,6 +83,9 @@ struct rt_job { | |||
83 | /* What is the current deadline? */ | 83 | /* What is the current deadline? */ |
84 | lt_t deadline; | 84 | lt_t deadline; |
85 | 85 | ||
86 | lt_t real_release; | ||
87 | lt_t real_deadline; | ||
88 | |||
86 | /* How much service has this job received so far? */ | 89 | /* How much service has this job received so far? */ |
87 | lt_t exec_time; | 90 | lt_t exec_time; |
88 | 91 | ||
@@ -209,6 +212,8 @@ struct rt_param { | |||
209 | 212 | ||
210 | /* Pointer to the page shared between userspace and kernel. */ | 213 | /* Pointer to the page shared between userspace and kernel. */ |
211 | struct control_page * ctrl_page; | 214 | struct control_page * ctrl_page; |
215 | |||
216 | /* int go; */ | ||
212 | }; | 217 | }; |
213 | 218 | ||
214 | /* Possible RT flags */ | 219 | /* Possible RT flags */ |