[LITMUS^RT] SRP -> PCP

[Glenn Elliott]

>  The SRP prevented the mutex-holder from being scheduled, whereas the SRP ceiling "setter" was suspended trying to acquire the kernel/libc mutex being held by the other task. 

Ouch.  I think this may very well be what I am seeing.

Thanks,
Glenn
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.litmus-rt.org/pipermail/litmus-dev/attachments/20120515/d8b131ad/attachment.html>