diff options
| author | Glenn Elliott <gelliott@cs.unc.edu> | 2011-04-09 09:58:34 -0400 |
|---|---|---|
| committer | Glenn Elliott <gelliott@cs.unc.edu> | 2011-04-09 13:41:32 -0400 |
| commit | 9caacb13297747118cf178870345cdfcb597aa44 (patch) | |
| tree | a5a3376d8b18e48cafb8211f42ec5599d60949e4 /drivers/message/Makefile | |
| parent | d3f99f11f3440d70658b9d9df756bbd9b63f8058 (diff) | |
CONFIG_DONT_PREEMPT_ON_TIE: Don't preeempt a scheduled task on priority tie.wip-performance
Added the compilation option CONFIG_DONT_PREEMPT_ON_TIE. In the event
of a priority tie, a task that is currently scheduled is favored
over one that is not. If both tasks are scheduled (or both are not),
then tie breaks on PID and inheritance still hold.
Configuration option includes a warning that schedulability analysis
that depends upon task-id/PID tie-breaks breaks when
CONFIG_DONT_PREEMPT_ON_TIE is enabled.
Pfair/PD^2 not supported.
Diffstat (limited to 'drivers/message/Makefile')
0 files changed, 0 insertions, 0 deletions