aboutsummaryrefslogtreecommitdiffstats
path: root/litmus
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@mpi-sws.org>2016-02-14 19:22:35 -0500
committerBjoern Brandenburg <bbb@mpi-sws.org>2016-03-08 10:12:51 -0500
commit5f594c7c328a1d6518b196566664c0286f39b88f (patch)
treedae150241fc7b1096eec1f989a3bd81315642849 /litmus
parentff0e731b2a9789c78349659602b485d38de78bde (diff)
LITMUS^RT core: add post-migration validation callback
Diffstat (limited to 'litmus')
-rw-r--r--litmus/sched_plugin.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/litmus/sched_plugin.c b/litmus/sched_plugin.c
index 1ff9516cbbfc..a9fe3f5e7349 100644
--- a/litmus/sched_plugin.c
+++ b/litmus/sched_plugin.c
@@ -79,6 +79,11 @@ static void litmus_dummy_next_became_invalid(struct task_struct *next)
79{ 79{
80} 80}
81 81
82static bool litmus_dummy_post_migration_validate(struct task_struct *next)
83{
84 return true; /* by default, anything is ok */
85}
86
82static long litmus_dummy_admit_task(struct task_struct* tsk) 87static long litmus_dummy_admit_task(struct task_struct* tsk)
83{ 88{
84 printk(KERN_CRIT "LITMUS^RT: Linux plugin rejects %s/%d.\n", 89 printk(KERN_CRIT "LITMUS^RT: Linux plugin rejects %s/%d.\n",
@@ -196,6 +201,7 @@ int register_sched_plugin(struct sched_plugin* plugin)
196 CHECK(finish_switch); 201 CHECK(finish_switch);
197 CHECK(schedule); 202 CHECK(schedule);
198 CHECK(should_wait_for_stack); 203 CHECK(should_wait_for_stack);
204 CHECK(post_migration_validate);
199 CHECK(next_became_invalid); 205 CHECK(next_became_invalid);
200 CHECK(task_wake_up); 206 CHECK(task_wake_up);
201 CHECK(task_exit); 207 CHECK(task_exit);