diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-06-25 01:30:56 -0400 |
---|---|---|
committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2014-10-21 10:03:03 -0400 |
commit | d40f1cc129917e9478d48658073e46462968b973 (patch) | |
tree | bc5f9a858badcab26789d824d24b597d6de1fa3e /include | |
parent | 751073bc996ac77c219c2031282ee7ce0f473af5 (diff) |
Integrate preemption state machine with Linux scheduler
Track when a processor is going to schedule "soon".
Diffstat (limited to 'include')
-rw-r--r-- | include/linux/sched.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/linux/sched.h b/include/linux/sched.h index cbb3b4459702..5dc3e5b172cc 100644 --- a/include/linux/sched.h +++ b/include/linux/sched.h | |||
@@ -56,6 +56,7 @@ struct sched_param { | |||
56 | #include <asm/processor.h> | 56 | #include <asm/processor.h> |
57 | 57 | ||
58 | #include <litmus/rt_param.h> | 58 | #include <litmus/rt_param.h> |
59 | #include <litmus/preempt.h> | ||
59 | 60 | ||
60 | struct exec_domain; | 61 | struct exec_domain; |
61 | struct futex_pi_state; | 62 | struct futex_pi_state; |
@@ -2375,6 +2376,7 @@ static inline int test_tsk_thread_flag(struct task_struct *tsk, int flag) | |||
2375 | static inline void set_tsk_need_resched(struct task_struct *tsk) | 2376 | static inline void set_tsk_need_resched(struct task_struct *tsk) |
2376 | { | 2377 | { |
2377 | set_tsk_thread_flag(tsk,TIF_NEED_RESCHED); | 2378 | set_tsk_thread_flag(tsk,TIF_NEED_RESCHED); |
2379 | sched_state_will_schedule(tsk); | ||
2378 | } | 2380 | } |
2379 | 2381 | ||
2380 | static inline void clear_tsk_need_resched(struct task_struct *tsk) | 2382 | static inline void clear_tsk_need_resched(struct task_struct *tsk) |