tree 548cda134d007105f3a819a438ab384ab9f04e27
parent ce6c131131df442f0d49d064129ecc52d9fe8ca9
author Mike Galbraith <efault@gmx.de> 1192460414 +0200
committer Ingo Molnar <mingo@elte.hu> 1192460414 +0200

sched: prevent wakeup over-scheduling

Prevent wakeup over-scheduling.  Once a task has been preempted by a
task of the same or lower priority, it becomes ineligible for repeated
preemption by same until it has been ticked, or slept.  Instead, the
task is marked for preemption at the next tick.  Tasks of higher
priority still preempt immediately.

Signed-off-by: Mike Galbraith <efault@gmx.de>
Signed-off-by: Ingo Molnar <mingo@elte.hu>