<div dir="ltr">For surrender we don't disable thread dispatching for uniprocessor. So is that the thread can be interleaved?<br></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature"><div dir="ltr">Thanks,<div><br></div><div>Saurabh Gadia</div></div></div></div>
<br><div class="gmail_quote">On Wed, Aug 5, 2015 at 9:01 AM, Gedare Bloom <span dir="ltr"><<a href="mailto:gedare@rtems.org" target="_blank">gedare@rtems.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">These functions are called with interrupts disabled. However,<br>
_CORE_mutex_Seize_interrupt_blocking() enables interrupts, so an isr<br>
can preempt the thread, but but it will not be interleaved with<br>
another thread because thread dispatching is disabled around the isr<br>
enabled section. I don't believe surrender has any such situations.<br>
<span class="HOEnZb"><font color="#888888"><br>
Gedare<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
<br>
On Tue, Aug 4, 2015 at 9:39 PM, Saurabh Gadia <<a href="mailto:gadia@usc.edu">gadia@usc.edu</a>> wrote:<br>
> Hi,<br>
><br>
> So on uniprocessor can we assume that a thread calling<br>
> _CORE_mutex_Seize_body or _CORE_mutex_Surrender never gets preempted or<br>
> interleaved as if it holds a global lock. Whcih means that we can create a<br>
> JPF model for same using global lock.<br>
><br>
> Thanks,<br>
><br>
> Saurabh Gadia<br>
</div></div></blockquote></div><br></div>