Uniprocessor implementation of Nested Mutex problem.

Saurabh Gadia gadia at usc.edu
Wed Aug 5 01:39:12 UTC 2015


Hi,

So on uniprocessor can we assume that a thread calling
_CORE_mutex_Seize_body or _CORE_mutex_Surrender never gets preempted or
interleaved as if it holds a global lock. Whcih means that we can create a
JPF model for same using global lock.

Thanks,

Saurabh Gadia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20150804/ea529bb0/attachment.html>


More information about the devel mailing list