From 5d7dcfa10ea0dd283773a301e3ce610a7797d582 Mon Sep 17 00:00:00 2001
From: Glenn Elliott <gelliott@cs.unc.edu>
Date: Wed, 11 Jan 2012 14:37:13 -0500
Subject: PAI implementation, C-RM, C-FIFO.

---
 litmus/Kconfig | 52 ++++++++++++++++++++++++++++++++++++++++++----------
 1 file changed, 42 insertions(+), 10 deletions(-)

(limited to 'litmus/Kconfig')

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
 
 		If unsure, say No.
 
+
+choice 
+	prompt "Scheduling of interrupt bottom-halves in Litmus."
+	default LITMUS_SOFTIRQD_NONE
+	depends on LITMUS_LOCKING && !LITMUS_THREAD_ALL_SOFTIRQ
+	help
+		Schedule tasklets with known priorities in Litmus.
+
+config LITMUS_SOFTIRQD_NONE
+	bool "No tasklet scheduling in Litmus."
+	help
+	  Don't schedule tasklets in Litmus.  Default.
+
 config LITMUS_SOFTIRQD
-       bool "Spawn klitirqd interrupt handling threads."
-	   depends on LITMUS_LOCKING
-	   default n
-	   help
-	     Create klitirqd interrupt handling threads.  Work must be
-		 specifically dispatched to these workers.  (Softirqs for
-		 Litmus tasks are not magically redirected to klitirqd.)
+	bool "Spawn klitirqd interrupt handling threads."
+	help
+	  Create klitirqd interrupt handling threads.  Work must be
+	  specifically dispatched to these workers.  (Softirqs for
+	  Litmus tasks are not magically redirected to klitirqd.)
 
-		 G-EDF ONLY for now!
+	  G-EDF/RM, C-EDF/RM ONLY for now!
 
-	     If unsure, say No.
+
+config LITMUS_PAI_SOFTIRQD
+	bool "Defer tasklets to context switch points."
+	help
+	  Only execute scheduled tasklet bottom halves at
+	  scheduling points.  Trades context switch overhead
+	  at the cost of non-preemptive durations of bottom half
+	  processing.
+		 
+	  G-EDF/RM, C-EDF/RM ONLY for now!	 
+		 
+endchoice	   
+	   
 
 config NR_LITMUS_SOFTIRQD
 	   int "Number of klitirqd."
@@ -241,13 +264,22 @@ config NR_LITMUS_SOFTIRQD
 
 config LITMUS_NVIDIA
 	  bool "Litmus handling of NVIDIA interrupts."
-	  depends on LITMUS_SOFTIRQD
+	  depends on LITMUS_SOFTIRQD || LITMUS_PAI_SOFTIRQD
 	  default n
 	  help
 	    Direct tasklets from NVIDIA devices to Litmus's klitirqd.
 
 		If unsure, say No.
 
+config NV_DEVICE_NUM
+	   int "Number of NVIDIA GPUs."
+	   depends on LITMUS_SOFTIRQD || LITMUS_PAI_SOFTIRQD
+	   range 1 4096
+	   default "1"
+	   help
+	     Should be (<= to the number of CPUs) and
+		 (<= to the number of GPUs) in your system.
+
 choice
 	  prompt "CUDA/Driver Version Support"
 	  default CUDA_4_0
-- 
cgit v1.2.2