Re: [RFC][PATCH 04/11] sched: Rework TASK_DEAD preemption exception

2015-09-29 Thread Steven Rostedt
On Tue, 29 Sep 2015 11:28:29 +0200 Peter Zijlstra wrote: > TASK_DEAD is special in that the final schedule call from do_exit() > must be done with preemption disabled. > > This leads to a violation of our new scheduling invariant which states > that the preempt count should be 2. Move the check

Re: [RFC][PATCH 04/11] sched: Rework TASK_DEAD preemption exception

2015-09-29 Thread Frederic Weisbecker
On Tue, Sep 29, 2015 at 11:28:29AM +0200, Peter Zijlstra wrote: > TASK_DEAD is special in that the final schedule call from do_exit() > must be done with preemption disabled. > > This leads to a violation of our new scheduling invariant which states > that the preempt count should be 2. Move the c

Re: [RFC][PATCH 04/11] sched: Rework TASK_DEAD preemption exception

2015-09-29 Thread Thomas Gleixner
On Tue, 29 Sep 2015, Peter Zijlstra wrote: > TASK_DEAD is special in that the final schedule call from do_exit() > must be done with preemption disabled. > > This leads to a violation of our new scheduling invariant which states > that the preempt count should be 2. Move the check for TASK_DEAD o

[RFC][PATCH 04/11] sched: Rework TASK_DEAD preemption exception

2015-09-29 Thread Peter Zijlstra
TASK_DEAD is special in that the final schedule call from do_exit() must be done with preemption disabled. This leads to a violation of our new scheduling invariant which states that the preempt count should be 2. Move the check for TASK_DEAD out of the debug check and use it to decrement the pree