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 | |
| 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')
| -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 |
