diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-02-14 19:22:35 -0500 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-08 10:12:51 -0500 |
commit | 5f594c7c328a1d6518b196566664c0286f39b88f (patch) | |
tree | dae150241fc7b1096eec1f989a3bd81315642849 /litmus | |
parent | ff0e731b2a9789c78349659602b485d38de78bde (diff) |
LITMUS^RT core: add post-migration validation callback
Diffstat (limited to 'litmus')
-rw-r--r-- | litmus/sched_plugin.c | 6 |
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 | ||
82 | static bool litmus_dummy_post_migration_validate(struct task_struct *next) | ||
83 | { | ||
84 | return true; /* by default, anything is ok */ | ||
85 | } | ||
86 | |||
82 | static long litmus_dummy_admit_task(struct task_struct* tsk) | 87 | static 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); |