Global lock free Nested Mutex JPF model

[Saurabh Gadia]

Hi,
I have just implemented global lock free nested mutex JPF model for SMP
arch also.
github JPF link:
https://github.com/saurabhgadia4/lock-model/tree/rtemsjpf-0.6-global-free

please review the model and give your feedback!!

Thanks,

Saurabh Gadia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20150716/5e0bf64e/attachment-0001.html>