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 */ |
