Changes between Version 179 and Version 180 of GSoC/2015
- Timestamp:
- 07/22/15 18:18:40 (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
GSoC/2015
v179 v180 122 122 123 123 * July 7: 1. Debugging a test case which is failing the model. 2. Commenting the code in comparison with RTEMS code and Annotating. 3. Model Trace Summary. 4. JPF Verify method checking which will be the final sanity test that assures 100% completeness of model and algorithm inclusive of external locking. 124 125 * July 14: 1. Global lock free solution proposed and implemented. 2. Generating important testing combinations for thread-id, mutex-id, priority, etc. 126 127 * July 21: 1. Working on further optimization on global lock free solution to avoid unnecessary locking. 2. Justification of each locks used in solution. 3. Lock Graph. 124 128 125 129