aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/Kconfig
diff options
context:
space:
mode:
authorGlenn Elliott <gelliott@cs.unc.edu>2012-01-11 14:37:13 -0500
committerGlenn Elliott <gelliott@cs.unc.edu>2012-01-11 14:37:13 -0500
commit5d7dcfa10ea0dd283773a301e3ce610a7797d582 (patch)
tree7f7a57ac940e7fe1f538cdd771a954d4fb28f8c0 /litmus/Kconfig
parent3d5537c160c1484e8d562b9828baf679cc53f67a (diff)
PAI implementation, C-RM, C-FIFO.
Diffstat (limited to 'litmus/Kconfig')
-rw-r--r--litmus/Kconfig52
1 files changed, 42 insertions, 10 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig
index 7e865d4dd703..5109cf7db7f6 100644
--- a/litmus/Kconfig
+++ b/litmus/Kconfig
@@ -218,18 +218,41 @@ config LITMUS_THREAD_ALL_SOFTIRQ
218 218
219 If unsure, say No. 219 If unsure, say No.
220 220
221
222choice
223 prompt "Scheduling of interrupt bottom-halves in Litmus."
224 default LITMUS_SOFTIRQD_NONE
225 depends on LITMUS_LOCKING && !LITMUS_THREAD_ALL_SOFTIRQ
226 help
227 Schedule tasklets with known priorities in Litmus.
228
229config LITMUS_SOFTIRQD_NONE
230 bool "No tasklet scheduling in Litmus."
231 help
232 Don't schedule tasklets in Litmus. Default.
233
221config LITMUS_SOFTIRQD 234config LITMUS_SOFTIRQD
222 bool "Spawn klitirqd interrupt handling threads." 235 bool "Spawn klitirqd interrupt handling threads."
223 depends on LITMUS_LOCKING 236 help
224 default n 237 Create klitirqd interrupt handling threads. Work must be
225 help 238 specifically dispatched to these workers. (Softirqs for
226 Create klitirqd interrupt handling threads. Work must be 239 Litmus tasks are not magically redirected to klitirqd.)
227 specifically dispatched to these workers. (Softirqs for
228 Litmus tasks are not magically redirected to klitirqd.)
229 240
230 G-EDF ONLY for now! 241 G-EDF/RM, C-EDF/RM ONLY for now!
231 242
232 If unsure, say No. 243
244config LITMUS_PAI_SOFTIRQD
245 bool "Defer tasklets to context switch points."
246 help
247 Only execute scheduled tasklet bottom halves at
248 scheduling points. Trades context switch overhead
249 at the cost of non-preemptive durations of bottom half
250 processing.
251
252 G-EDF/RM, C-EDF/RM ONLY for now!
253
254endchoice
255
233 256
234config NR_LITMUS_SOFTIRQD 257config NR_LITMUS_SOFTIRQD
235 int "Number of klitirqd." 258 int "Number of klitirqd."
@@ -241,13 +264,22 @@ config NR_LITMUS_SOFTIRQD
241 264
242config LITMUS_NVIDIA 265config LITMUS_NVIDIA
243 bool "Litmus handling of NVIDIA interrupts." 266 bool "Litmus handling of NVIDIA interrupts."
244 depends on LITMUS_SOFTIRQD 267 depends on LITMUS_SOFTIRQD || LITMUS_PAI_SOFTIRQD
245 default n 268 default n
246 help 269 help
247 Direct tasklets from NVIDIA devices to Litmus's klitirqd. 270 Direct tasklets from NVIDIA devices to Litmus's klitirqd.
248 271
249 If unsure, say No. 272 If unsure, say No.
250 273
274config NV_DEVICE_NUM
275 int "Number of NVIDIA GPUs."
276 depends on LITMUS_SOFTIRQD || LITMUS_PAI_SOFTIRQD
277 range 1 4096
278 default "1"
279 help
280 Should be (<= to the number of CPUs) and
281 (<= to the number of GPUs) in your system.
282
251choice 283choice
252 prompt "CUDA/Driver Version Support" 284 prompt "CUDA/Driver Version Support"
253 default CUDA_4_0 285 default CUDA_4_0