diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-08 07:07:58 -0500 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-08 09:26:51 -0500 |
commit | 8db6123318df7021c858fb6b19675e1a04b934da (patch) | |
tree | acf5105873817bf1b511e4cf6c1de5a41c00a070 /include/litmus | |
parent | b4a0eda68638100b06b4cfc875775568208cd15d (diff) |
Don't preempt before time check in sleep_until_next_release()
Avoid preempting jobs that are about to go to sleep soon anyway.
Diffstat (limited to 'include/litmus')
-rw-r--r-- | include/litmus/jobs.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/include/litmus/jobs.h b/include/litmus/jobs.h index 7db931b2b89f..1770e21b97c9 100644 --- a/include/litmus/jobs.h +++ b/include/litmus/jobs.h | |||
@@ -7,6 +7,5 @@ void release_at(struct task_struct *t, lt_t start); | |||
7 | long default_wait_for_release_at(lt_t release_time); | 7 | long default_wait_for_release_at(lt_t release_time); |
8 | long complete_job(void); | 8 | long complete_job(void); |
9 | long complete_job_oneshot(void); | 9 | long complete_job_oneshot(void); |
10 | long sleep_until_next_release(void); | ||
11 | 10 | ||
12 | #endif | 11 | #endif |