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

Timestamp:

08/24/15 07:57:07 (9 years ago)

Author:

Saurabh Gadia

Comment:

--

GSoC/2015/NestedMutex

@@ -49 +49 @@
   * For running the JPF code just run jpf script.
   * 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.
-  * Till now we are able to reproduce the RTEMS locking model and have finished coding for proposed solution to resolve unbounded priority inheritance problem. 
   
 = Progress = 
   * Proposed solution for the existing problem. You can find presentation which also contains test cases in attachment section.
   * Compiled RTEMS for running Strict Mutex test cases. [Setup from scratch]  
-  * Working on validation of RTEMS-JPF models.
+  * We modelled our solution in JPF for bith uniprocessor as well as SMP architecture.
+  * Developed all the test case suite for validating the solution.
+  * Implemented the JPF solution for uniprocessor target in legacy RTEMS and all test cases were passing successfully.
 
 = Resources =