diff options
author | Glenn Elliott <gelliott@cs.unc.edu> | 2012-01-11 14:37:13 -0500 |
---|---|---|
committer | Glenn Elliott <gelliott@cs.unc.edu> | 2012-01-11 14:37:13 -0500 |
commit | 5d7dcfa10ea0dd283773a301e3ce610a7797d582 (patch) | |
tree | 7f7a57ac940e7fe1f538cdd771a954d4fb28f8c0 /litmus/Kconfig | |
parent | 3d5537c160c1484e8d562b9828baf679cc53f67a (diff) |
PAI implementation, C-RM, C-FIFO.
Diffstat (limited to 'litmus/Kconfig')
-rw-r--r-- | litmus/Kconfig | 52 |
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 | |||
222 | choice | ||
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 | |||
229 | config LITMUS_SOFTIRQD_NONE | ||
230 | bool "No tasklet scheduling in Litmus." | ||
231 | help | ||
232 | Don't schedule tasklets in Litmus. Default. | ||
233 | |||
221 | config LITMUS_SOFTIRQD | 234 | config 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 | |
244 | config 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 | |||
254 | endchoice | ||
255 | |||
233 | 256 | ||
234 | config NR_LITMUS_SOFTIRQD | 257 | config NR_LITMUS_SOFTIRQD |
235 | int "Number of klitirqd." | 258 | int "Number of klitirqd." |
@@ -241,13 +264,22 @@ config NR_LITMUS_SOFTIRQD | |||
241 | 264 | ||
242 | config LITMUS_NVIDIA | 265 | config 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 | ||
274 | config 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 | |||
251 | choice | 283 | choice |
252 | prompt "CUDA/Driver Version Support" | 284 | prompt "CUDA/Driver Version Support" |
253 | default CUDA_4_0 | 285 | default CUDA_4_0 |