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 /arch/x86/kernel | |
parent | 751073bc996ac77c219c2031282ee7ce0f473af5 (diff) |
Integrate preemption state machine with Linux scheduler
Track when a processor is going to schedule "soon".
Diffstat (limited to 'arch/x86/kernel')
-rw-r--r-- | arch/x86/kernel/smp.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/arch/x86/kernel/smp.c b/arch/x86/kernel/smp.c index a52ef7fd6862..becf5c332d19 100644 --- a/arch/x86/kernel/smp.c +++ b/arch/x86/kernel/smp.c | |||
@@ -24,6 +24,7 @@ | |||
24 | #include <linux/cpu.h> | 24 | #include <linux/cpu.h> |
25 | #include <linux/gfp.h> | 25 | #include <linux/gfp.h> |
26 | 26 | ||
27 | #include <litmus/preempt.h> | ||
27 | #include <litmus/debug_trace.h> | 28 | #include <litmus/debug_trace.h> |
28 | 29 | ||
29 | #include <asm/mtrr.h> | 30 | #include <asm/mtrr.h> |
@@ -269,6 +270,11 @@ void smp_reschedule_interrupt(struct pt_regs *regs) | |||
269 | /* | 270 | /* |
270 | * KVM uses this interrupt to force a cpu out of guest mode | 271 | * KVM uses this interrupt to force a cpu out of guest mode |
271 | */ | 272 | */ |
273 | |||
274 | /* LITMUS^RT: this IPI might need to trigger the sched state machine. | ||
275 | * Starting from 3.0 schedule_ipi() actually does something. This may | ||
276 | * increase IPI latencies compared with previous versions. */ | ||
277 | sched_state_ipi(); | ||
272 | } | 278 | } |
273 | 279 | ||
274 | void smp_call_function_interrupt(struct pt_regs *regs) | 280 | void smp_call_function_interrupt(struct pt_regs *regs) |