| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
This adds the PFAIR plugin. The implementation is based on an earlier version
developed by John Calandrino.
Features:
- supports aligned and staggered quanta
- supports early releasing
- uses mergable heaps to limit overheads
This version still has a couple of limitations:
- no support for sporadic; all tasks are assumed to be periodic
- tasks are limited to a maximum period of 1000 quanta
- overload (especially in the tick) is not handled gracefully
|
| | |
|
| |
|
|
|
| |
Many things can't be done from within the scheduler.
This framework should make it easer to defer them.
|
| |
|
|
| |
We need to disable Feather-Trace on the Niagara for now, and
there is no reason to always include it, anyway.
|
| |
|
|
|
| |
- split SRP into its own file
- rename litmus_sem.c to fmlp.c, since that is what it is
|
| | |
|
|
|
This introduces the core changes ported from LITMUS 2007.
The kernel seems to work under QEMU, but many bugs probably remain.
|
