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/sched_plugin.c | |
parent | 3d5537c160c1484e8d562b9828baf679cc53f67a (diff) |
PAI implementation, C-RM, C-FIFO.
Diffstat (limited to 'litmus/sched_plugin.c')
-rw-r--r-- | litmus/sched_plugin.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/litmus/sched_plugin.c b/litmus/sched_plugin.c index 8802670a4b0b..e393d749baf5 100644 --- a/litmus/sched_plugin.c +++ b/litmus/sched_plugin.c | |||
@@ -152,6 +152,14 @@ static void litmus_dummy_clear_prio_inh_klitirqd(struct task_struct* klitirqd, | |||
152 | } | 152 | } |
153 | #endif | 153 | #endif |
154 | 154 | ||
155 | #ifdef CONFIG_LITMUS_PAI_SOFTIRQD | ||
156 | static int litmus_dummy_enqueue_pai_tasklet(struct tasklet_struct* t) | ||
157 | { | ||
158 | TRACE("PAI Tasklet unsupported in this plugin!!!!!!\n"); | ||
159 | return(0); // failure. | ||
160 | } | ||
161 | #endif | ||
162 | |||
155 | 163 | ||
156 | /* The default scheduler plugin. It doesn't do anything and lets Linux do its | 164 | /* The default scheduler plugin. It doesn't do anything and lets Linux do its |
157 | * job. | 165 | * job. |
@@ -177,6 +185,9 @@ struct sched_plugin linux_sched_plugin = { | |||
177 | .set_prio_inh_klitirqd = litmus_dummy_set_prio_inh_klitirq, | 185 | .set_prio_inh_klitirqd = litmus_dummy_set_prio_inh_klitirq, |
178 | .clear_prio_inh_klitirqd = litmus_dummy_clear_prio_inh_klitirqd, | 186 | .clear_prio_inh_klitirqd = litmus_dummy_clear_prio_inh_klitirqd, |
179 | #endif | 187 | #endif |
188 | #ifdef CONFIG_LITMUS_PAI_SOFTIRQD | ||
189 | .enqueue_pai_tasklet = litmus_dummy_enqueue_pai_tasklet, | ||
190 | #endif | ||
180 | .admit_task = litmus_dummy_admit_task | 191 | .admit_task = litmus_dummy_admit_task |
181 | }; | 192 | }; |
182 | 193 | ||