Fix the conditions under which we'll immediately migrate a task to a container

It has to either be finished, not have been released yet, or been
suspended due to running out of budget.

Originally written by Zelin Tong, only cleaned up in this commmit.

1 files changed, 3 insertions, 1 deletions

diff --git a/litmus/sched_edfsc.c b/litmus/sched_edfsc.c
index bd0e49a882a1..b2eb61f3ad33 100644
--- a/litmus/sched_edfsc.c
+++ b/litmus/sched_edfsc.c
@@ -1026,7 +1026,9 @@ static enum hrtimer_restart task_deadline_callback(struct hrtimer* timer) {
         // This is true only if set to be migrating from container_boundary
         if (tsk_rt(t)->edfsc_params.move_to) {
                 // Migrate here if the task is not late, otherwise migrate in job_complete
-                if (!is_released(t, litmus_clock()) || budget_exhausted(t))
+                if (!is_released(t, litmus_clock())
+                                || (budget_enforced(t) && budget_exhausted(t))
+                                || is_completed(t))
                         migrate_task(t);
         } else {
                 // A move to NULL means deletion