Uniprocessor implementation of nested mutex problem of priority inversion.

Saurabh Gadia gadia at usc.edu
Thu Aug 13 09:28:59 UTC 2015


Hi,

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:
https://github.com/saurabhgadia4/rtems/commits/master and its JPF branch:
https://github.com/saurabhgadia4/lock-model/blob/uniproc-new1/rtems/Mutex.java

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?

Test Case Link:
https://drive.google.com/folderview?id=0B44HRKVuGCkFfnFDVmxqQzZZUzljNUg4YmVPZmEybEp2Q0NNclpvS2FvemZ4Tm5Xa19nemM&usp=sharing

Thanks,

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


More information about the devel mailing list