| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
| |
- split SRP into its own file
- rename litmus_sem.c to fmlp.c, since that is what it is
|
| |
|
|
|
|
|
|
| |
The SRP implementation did not correctly address various
suspension-related scenarios correctly. Now the need for
SRP blocking is tested on each scheduling event. This ensures
mutual exclusion under the SRP even in the face of unexpected
suspensions, for example due to IO.
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
This is the first step in cleaning up the SRP implementation.
|
|
|
This introduces the core changes ported from LITMUS 2007.
The kernel seems to work under QEMU, but many bugs probably remain.
|
