C-EDF: Update processor state on task exit

1 files changed, 5 insertions, 0 deletions

diff --git a/litmus/sched_cedf.c b/litmus/sched_cedf.c
index bc29ca4ed4..2ac14cded9 100755
--- a/litmus/sched_cedf.c
+++ b/litmus/sched_cedf.c
@@ -636,6 +636,11 @@ static void cedf_task_exit(struct task_struct * t)
         /* unlink if necessary */
         spin_lock_irqsave(&task_cedf(t)->slock, flags);
         unlink(t);
+        if (tsk_rt(t)->scheduled_on != NO_CPU) {
+                cedf_cpu_entries_array[tsk_rt(t)->scheduled_on]->
+                        scheduled = NULL;
+                tsk_rt(t)->scheduled_on = NO_CPU;
+        }
         spin_unlock_irqrestore(&task_cedf(t)->slock, flags);
 
         BUG_ON(!is_realtime(t));