Changes between Version 8 and Version 9 of GSoC/2015/NestedMutex


Ignore:
Timestamp:
Jun 5, 2015, 11:50:40 PM (4 years ago)
Author:
Saurabh Gadia
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GSoC/2015/NestedMutex

    v8 v9  
    99'''Introduction:''' The strict order mutexes in RTEMS is based on LIFO ordering. So whenever thread tries to acquire mutex lock, its priority before acquiring the lock is pushed to that mutex’s thread queue. So whenever thread release any lock then that lock’s queue is consulted and thread’s priority is restored. So this mechanism of restoring priority may induce unbounded priority inversion if higher priority thread is contending for a lock still hold by our candidate thread. This project deals with solving this problem and developing validation methods using JPF.
    1010
    11 = Configuration Setup Steps =
     11= Setup Steps from sratch=
    1212  * Build RSB by following this [https://docs.rtems.org/rsb link] from 1.0 to 2.4 Building step(inclusive). I have used spark-sis configuration.
    1313  * Now clone the RTEMS repository from [https://github.com/saurabhgadia4/rtems Personal Github Link]