aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/Kconfig
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@mpi-sws.org>2015-08-09 07:18:56 -0400
committerBjoern Brandenburg <bbb@mpi-sws.org>2017-05-26 17:12:42 -0400
commit55b4b8689a88d6cb457ecfaabbccc09d5f7c121a (patch)
treee4f28b33dd7a0cb2f18bd0a6dd4aeb2af3504e65 /litmus/Kconfig
parentd3976b0260a5241d7f5461d1a12b51b53c833a91 (diff)
Add PD^2 scheduler plugin
PFAIR: fix wrong memset() PFAIR: don't arm timer for tardy tasks If the system is overloaded, tasks may be tardy. In that case, do not arm timers. Rather, add tardy tasks back into the ready queue right away. PFAIR: use sched_trace_last_suspension_as_completion() PFAIR: use inferred_sporadic_job_release_at() rebase fix: use new hrtimer API in PFAIR plugin
Diffstat (limited to 'litmus/Kconfig')
-rw-r--r--litmus/Kconfig13
1 files changed, 13 insertions, 0 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig
index 5916db3973ca..9fc402e79cfd 100644
--- a/litmus/Kconfig
+++ b/litmus/Kconfig
@@ -12,6 +12,19 @@ config PLUGIN_CEDF
12 On smaller platforms (e.g., ARM PB11MPCore), using C-EDF 12 On smaller platforms (e.g., ARM PB11MPCore), using C-EDF
13 makes little sense since there aren't any shared caches. 13 makes little sense since there aren't any shared caches.
14 14
15config PLUGIN_PFAIR
16 bool "PFAIR"
17 default y
18 help
19 Include the PFAIR plugin (i.e., the PD^2 scheduler) in the kernel.
20 The PFAIR plugin requires high resolution timers (for staggered
21 quanta) and also requires HZ_PERIODIC (i.e., periodic timer ticks
22 even if a processor is idle, as quanta could be missed otherwise).
23 Further, the PFAIR plugin uses the system tick and thus requires
24 HZ=1000 to achive reasonable granularity.
25
26 If unsure, say Yes.
27
15config RELEASE_MASTER 28config RELEASE_MASTER
16 bool "Release-master Support" 29 bool "Release-master Support"
17 depends on SMP 30 depends on SMP