Hi, The fourth version of migrate_disable() for PREEMPT_RT.
Two changes since last time: - fixes !SMP builds (bigeasy) - TLA+ validation of migrate_disable() vs sched_setaffinity() (valsch) Esp. that latter resulted in significant changes to patch #10. Huge thanks to Valentin. --- fs/proc/array.c | 4 include/linux/cpuhotplug.h | 1 include/linux/cpumask.h | 6 include/linux/preempt.h | 69 +++ include/linux/sched.h | 5 include/linux/sched/hotplug.h | 2 include/linux/stop_machine.h | 5 include/trace/events/sched.h | 12 kernel/cpu.c | 9 kernel/sched/core.c | 925 +++++++++++++++++++++++++++++++++--------- kernel/sched/cpudeadline.c | 4 kernel/sched/cpupri.c | 4 kernel/sched/deadline.c | 47 +- kernel/sched/rt.c | 81 ++- kernel/sched/sched.h | 59 ++ kernel/stop_machine.c | 23 - kernel/workqueue.c | 4 lib/cpumask.c | 18 lib/dump_stack.c | 2 lib/smp_processor_id.c | 5 20 files changed, 1056 insertions(+), 229 deletions(-)
