Bugfix: Fix FMLP priority inheritance under GSN-EDFHEADmaster

This fixes a regression introduced by the RTSS'09
improvements.

Just calling unlink() on any task is not safe: it might
reside in a release heap. This was done in the case
that a new blocker increases a lock holder's priority.

To avoid crashing in this case, the FMLP code was changed
to be more careful when propagating an inherited priority.
The code now detects three different scenarios and uses
heap_decrease() to update the position of the lock holder's
heap node. This fixes a simple test case.

0 files changed, 0 insertions, 0 deletions