<div dir="ltr"><div><div><div>Hi,<br></div>I have just implemented global lock free nested mutex JPF model for SMP arch also. <br></div>github JPF link: <a href="https://github.com/saurabhgadia4/lock-model/tree/rtemsjpf-0.6-global-free">https://github.com/saurabhgadia4/lock-model/tree/rtemsjpf-0.6-global-free</a><br><br></div>please review the model and give your feedback!! <br><div><div><div><br clear="all"><div><div><div class="gmail_signature"><div dir="ltr">Thanks,<div><br></div><div>Saurabh Gadia</div></div></div></div>
</div></div></div></div></div>