diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-07-01 16:15:48 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-08-07 03:46:55 -0400 |
| commit | 44152dd082c637229d45ac0041101370a0d5528a (patch) | |
| tree | 4f09da5d1a32a3730e40f6f605f368cf9bd800f0 | |
| parent | 320a2f211c03602306b9ea5e6b79cf521266c9a2 (diff) | |
Integrate SRP ceiling blocking callback with Linux scheduler
Check whether a suspension is required at end of schedule().
| -rw-r--r-- | kernel/sched/core.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/sched/core.c b/kernel/sched/core.c index b3252d165e22..5e5603fbb538 100644 --- a/kernel/sched/core.c +++ b/kernel/sched/core.c | |||
| @@ -3071,6 +3071,8 @@ litmus_need_resched_nonpreemptible: | |||
| 3071 | 3071 | ||
| 3072 | if (need_resched()) | 3072 | if (need_resched()) |
| 3073 | goto need_resched; | 3073 | goto need_resched; |
| 3074 | |||
| 3075 | srp_ceiling_block(); | ||
| 3074 | } | 3076 | } |
| 3075 | 3077 | ||
| 3076 | static inline void sched_submit_work(struct task_struct *tsk) | 3078 | static inline void sched_submit_work(struct task_struct *tsk) |