Uniprocessor implementation of nested mutex problem of priority inversion.
gadia at usc.edu
Thu Aug 13 16:05:15 UTC 2015
Following is the result of spsem04 test without the patch:
*** BEGIN OF TEST SPSEM 4 ***
init: S0 created
init: S1 created
init: TA01 created with priority 36
init: TA02 created with priority 34
init: TA03 created with priority 32
TA01: started with priority 36
TA01: priority 36, holding S0
TA02: started with priority 34
TA02: priority 34, holding S1
TA01: priority 34, holding S0 and now creating TA03
TA03: started with priority 32
TA01: priority 34 Releasing s0 (This is priority inheritance problem as
TA02 waits on mutex held by TA01 and has higher priority than TA01. TA03
just promotes the priority TA02.)
TA02: priority 32, holding S1,S0
TA02: priority 32 before releasing S0
TA02: priority 32 after releasing S0
TA02: priority 32 before releasing S1
TA03: priority 32, holding S1
TA03: priority 32
TA02: priority 34 after releasing S1
TA01: priority 36
*** END OF TEST SPSEM 4 ***
You can see the difference in highlighted portions of both outputs.
On Thu, Aug 13, 2015 at 8:17 AM, Saurabh Gadia <gadia at usc.edu> wrote:
> Ok. I will mail you back soon.
> On Thursday, August 13, 2015, Gedare Bloom <gedare at rtems.org> wrote:
>> Please pull from rtems.git again, create a new branch from 'master',
>> and apply your changes to the branch. It's too hard to review code
>> that is not all by itself on a branch.
>> On Thu, Aug 13, 2015 at 5:28 AM, Saurabh Gadia <gadia at usc.edu> wrote:
>> > Hi,
>> > I have implemented uniprocessor model of nested mutex problem in rtems.
>> > still in basic form. I tried to multiplex it with the existing solution
>> > was finding hard time. To push ahead, I decided to have separate
>> > 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
>> > I have also tested spsem01, 02, 03 test cases. Following are the links
>> > the test case results which states output before solution and after
>> > the solution. I am still not getting whether my code is passing spsem03
>> > or not. How can I verify that?
>> > Test Case Link:
>> > Thanks,
>> > Saurabh Gadia
> Saurabh Gadia
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the devel