diff options
author | Glenn Elliott <gelliott@cs.unc.edu> | 2011-01-28 17:29:03 -0500 |
---|---|---|
committer | Glenn Elliott <gelliott@cs.unc.edu> | 2011-01-28 19:18:53 -0500 |
commit | 1a6154cb07727ae9716de118da15dbdb399983b9 (patch) | |
tree | 73b222136d53fff9564306b6a64204bba6203618 /litmus/Kconfig | |
parent | b8be8fb192541fad88983ef6f9270cec1b51b59a (diff) |
Implementation of the EDZL scheduler.wip-edzl-final
Implementation of the EDZL scheduler. Zero-laxity points are
tracked by timers while jobs are in the pending state. Locking
primatives are not supported.
Diffstat (limited to 'litmus/Kconfig')
-rw-r--r-- | litmus/Kconfig | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig index a2f267870f29..1e571af45e72 100644 --- a/litmus/Kconfig +++ b/litmus/Kconfig | |||
@@ -23,6 +23,17 @@ config PLUGIN_PFAIR | |||
23 | 23 | ||
24 | If unsure, say Yes. | 24 | If unsure, say Yes. |
25 | 25 | ||
26 | config PLUGIN_EDZL | ||
27 | bool "EDZL" | ||
28 | depends on X86 && SYSFS | ||
29 | default y | ||
30 | help | ||
31 | Include the EDZL (Earliest Deadline, Zero Laxity) plugin in the kernel. | ||
32 | EDZL functions like G-EDF, except jobs with zero laxity are given maximum | ||
33 | priority. | ||
34 | |||
35 | If unsure, say Yes. | ||
36 | |||
26 | config RELEASE_MASTER | 37 | config RELEASE_MASTER |
27 | bool "Release-master Support" | 38 | bool "Release-master Support" |
28 | depends on ARCH_HAS_SEND_PULL_TIMERS | 39 | depends on ARCH_HAS_SEND_PULL_TIMERS |
@@ -32,7 +43,7 @@ config RELEASE_MASTER | |||
32 | that services all timer interrupts, but that does not schedule | 43 | that services all timer interrupts, but that does not schedule |
33 | real-time tasks. See RTSS'09 paper for details | 44 | real-time tasks. See RTSS'09 paper for details |
34 | (http://www.cs.unc.edu/~anderson/papers.html). | 45 | (http://www.cs.unc.edu/~anderson/papers.html). |
35 | Currently only supported by GSN-EDF. | 46 | Currently only supported by GSN-EDF and EDZL. |
36 | 47 | ||
37 | endmenu | 48 | endmenu |
38 | 49 | ||