Uniprocessor implementation of Nested Mutex problem.

[Gedare Bloom]

These functions are called with interrupts disabled. However,
_CORE_mutex_Seize_interrupt_blocking() enables interrupts, so an isr
can preempt the thread, but but it will not be interleaved with
another thread because thread dispatching is disabled around the isr
enabled section. I don't believe surrender has any such situations.

Gedare


On Tue, Aug 4, 2015 at 9:39 PM, Saurabh Gadia <gadia at usc.edu> wrote:
> 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