> We had the problem that one of our threads, which we initially assigned
> priority 29, ended up having priority 89.
> I know that PI is the reason why the priority of the thread was first bumped
> up to 89 and then to 90 because
> two higher priority threads started blocking on two different mutexes owned
> by the thread (initial priority 29).
Ok. I forgot to tell u that the thread went to sleep because it started waiting
for a message from a message
queue right in between the two PI events.
Xenomai-core mailing list