priority inherence bug?

[manuel.coutinho at edisoft.pt (Manuel)]

Hi all

Sorry for the late reply (was out of office).

I did not read all the mails (yet), but I've done a simple search in RTEMS
for ENABLE_STRICT_ORDER_MUTEX and couldn't find any references (we are using
RTEMS 4.8.0).

I didn't fully understand the LIFO (or FIFO?) mechanism that you talked. But
it is an implementation issue that I did not yet address. 

We understand that the priority of a task (with the priority inherence
mechanisms) is the "maximum of its own default priority and the priorities
of all the other tasks that are at that time depending on it" (taken from
"Real-Time Systems and Programming Languages", 3? edition, pag 488).