<div dir="ltr"><div><div><div>Hi,<br><br></div>I have implemented uniprocessor model of nested mutex problem in rtems. its still in basic form. I tried to multiplex it with the existing solution but was finding hard time. To push ahead, I decided to have separate functions for uniprocessor and SMP(kept default behavior) and with your review comments will know what to do. Following is the link for the git repo: <a href="https://github.com/saurabhgadia4/rtems/commits/master">https://github.com/saurabhgadia4/rtems/commits/master</a> and its JPF branch: <a href="https://github.com/saurabhgadia4/lock-model/blob/uniproc-new1/rtems/Mutex.java">https://github.com/saurabhgadia4/lock-model/blob/uniproc-new1/rtems/Mutex.java</a><br><br></div>I have also tested spsem01, 02, 03 test cases. Following are the links for the test case results which states output before solution and after applying the solution. I am still not getting whether my code is passing spsem03 test or not. How can I verify that?<br><br></div>Test Case Link: <a href="https://drive.google.com/folderview?id=0B44HRKVuGCkFfnFDVmxqQzZZUzljNUg4YmVPZmEybEp2Q0NNclpvS2FvemZ4Tm5Xa19nemM&usp=sharing">https://drive.google.com/folderview?id=0B44HRKVuGCkFfnFDVmxqQzZZUzljNUg4YmVPZmEybEp2Q0NNclpvS2FvemZ4Tm5Xa19nemM&usp=sharing</a><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>