diff options
author | Peter Zijlstra <a.p.zijlstra@chello.nl> | 2008-02-13 09:45:40 -0500 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2008-02-13 09:45:40 -0500 |
commit | 052f1dc7eb02300b05170ae341ccd03b76207778 (patch) | |
tree | f58630b7876ae9e4308c0577e36aa13318b7bcfc /init/Kconfig | |
parent | 9f0c1e560c43327b70998e6c702b2f01321130d9 (diff) |
sched: rt-group: make rt groups scheduling configurable
Make the rt group scheduler compile time configurable.
Keep it experimental for now.
Signed-off-by: Peter Zijlstra <a.p.zijlstra@chello.nl>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'init/Kconfig')
-rw-r--r-- | init/Kconfig | 23 |
1 files changed, 17 insertions, 6 deletions
diff --git a/init/Kconfig b/init/Kconfig index 824d48cb67bf..dcef8b55011a 100644 --- a/init/Kconfig +++ b/init/Kconfig | |||
@@ -311,25 +311,36 @@ config CPUSETS | |||
311 | 311 | ||
312 | Say N if unsure. | 312 | Say N if unsure. |
313 | 313 | ||
314 | config FAIR_GROUP_SCHED | 314 | config GROUP_SCHED |
315 | bool "Fair group CPU scheduler" | 315 | bool "Group CPU scheduler" |
316 | default y | 316 | default y |
317 | help | 317 | help |
318 | This feature lets CPU scheduler recognize task groups and control CPU | 318 | This feature lets CPU scheduler recognize task groups and control CPU |
319 | bandwidth allocation to such task groups. | 319 | bandwidth allocation to such task groups. |
320 | 320 | ||
321 | config FAIR_GROUP_SCHED | ||
322 | bool "Group scheduling for SCHED_OTHER" | ||
323 | depends on GROUP_SCHED | ||
324 | default y | ||
325 | |||
326 | config RT_GROUP_SCHED | ||
327 | bool "Group scheduling for SCHED_RR/FIFO" | ||
328 | depends on EXPERIMENTAL | ||
329 | depends on GROUP_SCHED | ||
330 | default n | ||
331 | |||
321 | choice | 332 | choice |
322 | depends on FAIR_GROUP_SCHED | 333 | depends on GROUP_SCHED |
323 | prompt "Basis for grouping tasks" | 334 | prompt "Basis for grouping tasks" |
324 | default FAIR_USER_SCHED | 335 | default USER_SCHED |
325 | 336 | ||
326 | config FAIR_USER_SCHED | 337 | config USER_SCHED |
327 | bool "user id" | 338 | bool "user id" |
328 | help | 339 | help |
329 | This option will choose userid as the basis for grouping | 340 | This option will choose userid as the basis for grouping |
330 | tasks, thus providing equal CPU bandwidth to each user. | 341 | tasks, thus providing equal CPU bandwidth to each user. |
331 | 342 | ||
332 | config FAIR_CGROUP_SCHED | 343 | config CGROUP_SCHED |
333 | bool "Control groups" | 344 | bool "Control groups" |
334 | depends on CGROUPS | 345 | depends on CGROUPS |
335 | help | 346 | help |