Changes between Version 19 and Version 20 of GSoC/2015/NestedMutex


Ignore:
Timestamp:
Aug 24, 2015, 7:57:07 AM (4 years ago)
Author:
Saurabh Gadia
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GSoC/2015/NestedMutex

    v19 v20  
    4949  * For running the JPF code just run jpf script.
    5050  * We are using 3 threads and 3 mutex to demonstrate the RTEMS behavior. It takes far more time to run for this test configuration. You can go ahead and modify Environment.java as per requirement. After making changes compile and run it.
    51   * Till now we are able to reproduce the RTEMS locking model and have finished coding for proposed solution to resolve unbounded priority inheritance problem.
    5251 
    5352= Progress =
    5453  * Proposed solution for the existing problem. You can find presentation which also contains test cases in attachment section.
    5554  * Compiled RTEMS for running Strict Mutex test cases. [Setup from scratch] 
    56   * Working on validation of RTEMS-JPF models.
     55  * We modelled our solution in JPF for bith uniprocessor as well as SMP architecture.
     56  * Developed all the test case suite for validating the solution.
     57  * Implemented the JPF solution for uniprocessor target in legacy RTEMS and all test cases were passing successfully.
    5758
    5859= Resources =