Changes between Version 136 and Version 137 of GSoC/2015


Ignore:
Timestamp:
Jun 5, 2015, 10:13:21 PM (5 years ago)
Author:
Saurabh Gadia
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GSoC/2015

    v136 v137  
    9696* May 26: Tasks accomplished last week: 1. Finalizing the design for "nested mutex" problem. 2. Creating formal documentation for the proposed solution. 3. modelling the test cases 4. Setting up the configuration environment. - Task for this week: 1. evaluate which test case is failing in testsuite(sptest) 2. Code the solution for sparc platform. 3. Validate whether the algorithm solves the problem. 4 Then move on to formal validation process as time permits. 5. Documentation on rtems wiki. 
    9797
    98 * 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.
     98* 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.
    9999
    100100== Rohini Kulkarni ==