Fixed bug in edf_higher_prio().prop/robust-tie-break

The rewrite of edf_higher_prio() introduced a bug.  When ALL other
tie-breaks fail (even PIDs are equal), edf_higher_prio() is supposed
to prioritize the task that has an inherited priority.  (At least
one task must have an inherited priority, due to checks earlier in
the function.)  However, the rewrite does the inheritance check
on the inherited priority (second_task), not the original task (second).

This bug can cause G-EDF to fall into an infinite loop in
check_for_preemptions() as scheduling decisions thrash.

0 files changed, 0 insertions, 0 deletions