Notice: We have migrated to GitLab launching 2024-05-01 see here: https://gitlab.rtems.org/

Changes between Version 151 and Version 152 of GSoC/2015


Ignore:
Timestamp:
06/16/15 08:07:41 (9 years ago)
Author:
Saurabh Gadia
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GSoC/2015

    v151 v152  
    101101* June 2: [''Accomplishments'']: Proposed solution with ppt which can be found in wiki section. working on the revised changes made to thread priority related code by sebastian. [''Next Task'']: Fix the master branch for compiling strict_order mutex configuration. Discuss the scope of JPF relating to this project. Setting up the JPF environment as means for validating the design and proposed solution.
    102102
     103* June 9: 1. Complete the setup of JPF. 2. Re-write the test case spsem02 3. Understanding the working of JPF. 4. Work on how to emulate the behavior of nested mutex in JPF. 5. Have detailed discussion with Cyrille about further process in JPF and set the milestones accordingly.
     104
     105* June 16: 1. Complete the JPF coding for discussed lock-model which emulates RTEMS behavior. 2. Complete the unfinished task of confusion regarding the spsem02 test case. Get code reviewed by Cyrille for JPF and then discuss further required improvements or test scenarios.
    103106== Rohini Kulkarni ==
    104107