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 <ga...@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 _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
