aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/sched_plugin.c
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/sched_plugin.c
parent3d5537c160c1484e8d562b9828baf679cc53f67a (diff)
PAI implementation, C-RM, C-FIFO.
Diffstat (limited to 'litmus/sched_plugin.c')
-rw-r--r--litmus/sched_plugin.c11
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
156static 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