Peter Zijlstra 609ca06638
sched/core: Create preempt_count invariant ...
Assuming units of PREEMPT_DISABLE_OFFSET for preempt_count() numbers.
Now that TASK_DEAD no longer results in preempt_count() == 3 during
scheduling, we will always call context_switch() with preempt_count()
== 2.
However, we don't always end up with preempt_count() == 2 in
finish_task_switch() because new tasks get created with
preempt_count() == 1.
Create FORK_PREEMPT_COUNT and set it to 2 and use that in the right
places. Note that we cannot use INIT_PREEMPT_COUNT as that serves
another purpose (boot).
After this, preempt_count() is invariant across the context switch,
with exception of PREEMPT_ACTIVE.
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org >
Cc: Linus Torvalds <torvalds@linux-foundation.org >
Cc: Mike Galbraith <efault@gmx.de >
Cc: Peter Zijlstra <peterz@infradead.org >
Cc: Thomas Gleixner <tglx@linutronix.de >
Cc: linux-kernel@vger.kernel.org
Signed-off-by: Ingo Molnar <mingo@kernel.org >
2015-10-06 17:08:14 +02:00
2014-04-18 14:20:48 +02:00
2015-02-11 17:06:03 -08:00
2015-06-23 13:35:49 +09:00
2015-07-27 14:06:24 +02:00
2015-08-12 11:59:01 +02:00
2015-07-27 14:06:24 +02:00
2014-01-17 17:01:46 -05:00
2011-05-04 14:41:28 -04:00
2011-05-04 14:41:28 -04:00
2014-01-17 17:01:46 -05:00
2015-08-03 10:59:30 +02:00
2014-04-18 11:40:30 +02:00
2012-10-04 18:20:15 +01:00
2014-04-07 16:36:10 -07:00
2011-05-25 08:39:37 -07:00
2013-02-11 20:00:33 +05:30
2014-09-25 18:00:45 -07:00
2014-04-09 13:44:35 -07:00
2015-05-13 10:51:28 +02:00
2014-10-03 05:46:55 +02:00
2014-10-03 05:46:55 +02:00
2013-01-27 19:23:27 +01:00
2011-07-22 18:45:33 +02:00
2014-05-20 16:55:23 -06:00
2014-09-22 13:35:51 +02:00
2012-12-25 20:14:54 +01:00
2015-09-10 13:29:01 -07:00
2015-09-08 17:52:23 -07:00
2012-03-28 18:30:03 +01:00
2015-08-20 12:24:22 +01:00
2011-03-17 09:19:04 +08:00
2015-05-19 08:39:16 +02:00
2012-02-24 10:39:27 -08:00
2015-05-12 10:46:53 +02:00
2010-10-07 14:08:55 +01:00
2013-10-02 20:02:35 -04:00
2012-10-04 18:20:15 +01:00
2014-07-04 13:27:30 +02:00
2014-07-04 13:27:30 +02:00
2015-07-21 10:47:03 +02:00
2014-06-06 16:08:13 -07:00
2015-06-07 15:28:56 +02:00
2010-12-17 15:07:19 +01:00
2014-09-13 18:38:07 +02:00
2010-10-07 14:08:55 +01:00
2012-10-02 18:01:56 +01:00
2010-10-09 21:51:44 +02:00
2012-07-24 15:27:30 +08:00
2013-06-05 13:21:29 +03:00
2011-07-26 16:49:47 -07:00
2011-07-26 16:49:47 -07:00
2014-02-09 21:18:52 +01:00
2015-09-19 03:58:10 -04:00
2014-11-19 11:54:13 +01:00
2015-07-17 16:39:53 -07:00
2014-11-22 21:52:08 +01:00
2012-12-09 23:14:14 +01:00
2012-09-28 14:31:03 +09:30
2014-11-23 13:01:47 +01:00
2013-06-26 12:10:55 +02:00
2013-06-26 12:10:55 +02:00
2013-06-26 12:10:55 +02:00
2012-01-10 17:39:40 -08:00
2012-10-04 18:20:15 +01:00
2013-01-03 15:57:16 -08:00
2015-08-25 09:59:45 +02:00
2012-04-30 15:21:02 -06:00
2014-08-08 15:57:28 -07:00
2015-06-08 07:56:21 -05:00
2014-06-17 19:12:40 -04:00
2015-06-24 17:49:44 -07:00
2015-10-06 17:08:14 +02:00
2011-05-26 17:12:36 -07:00
2014-06-06 07:58:28 +02:00
2015-08-12 11:59:06 +02:00
2015-05-08 12:36:48 +02:00
2015-09-11 07:49:42 +02:00
2014-05-15 00:32:09 +01:00
2015-09-05 13:19:09 +02:00
2014-03-14 18:02:08 +00:00
2015-04-17 09:04:09 -04:00
2014-10-09 22:26:04 -04:00
2013-11-09 00:16:29 -05:00
2012-11-29 00:01:23 -05:00
2013-09-24 06:02:24 +10:00
2012-06-28 17:14:34 +01:00
2012-10-04 18:20:15 +01:00
2012-03-28 18:30:03 +01:00
2014-09-23 16:20:00 -04:00
2013-02-14 09:21:15 -05:00
2012-10-04 18:20:15 +01:00
2015-01-13 15:20:40 +13:00
2012-03-04 17:54:34 -05:00
2010-08-09 20:44:57 -07:00
2012-11-13 15:48:27 -05:00
2014-01-02 10:45:23 +01:00
2014-05-08 10:22:23 +02:00
2013-05-05 10:58:06 -07:00
2011-03-01 15:49:39 +01:00
2015-08-20 14:55:54 +02:00
2013-09-30 14:31:02 -07:00
2015-07-08 16:41:55 -04:00
2012-10-03 21:21:06 +02:00
609ca06638