> 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

Reply via email to