<div dir="ltr"><div>Hi,<br><br></div>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.<br><br clear="all"><div><div><div><div><div class="gmail_signature"><div dir="ltr">Thanks,<div><br></div><div>Saurabh Gadia</div></div></div></div>
</div></div></div></div>