Fixed Period Skipping Issue on Tasks that Overrun WCET

1 files changed, 13 insertions, 7 deletions

diff --git a/litmus/reservations/gedf_reservation.c b/litmus/reservations/gedf_reservation.c
index 95bc1bab28f4..5951963e03ec 100644
--- a/litmus/reservations/gedf_reservation.c
+++ b/litmus/reservations/gedf_reservation.c
@@ -229,15 +229,21 @@ static void gedf_task_replenish_budget(
         int cpu)
 {
         struct task_struct* t = ((struct gedf_task_reservation*)res)->task;
-        sched_trace_task_completion(t, !is_completed(t));
-        BUG_ON(get_exec_time(t) > 110000000);
-        tsk_rt(t)->completed = 0;
-        prepare_for_next_period(t);
-        sched_trace_task_release(t);
+        if (is_completed(t)) {
+                sched_trace_task_completion(t, 0);
+                prepare_for_next_period(t);
+                tsk_rt(t)->completed = 0;
+                sched_trace_task_release(t);
+                res->priority = get_deadline(t);
+                res->replenishment_time = get_release(t);
+        } else {
+                sched_trace_task_completion(t, 1);
+                res->replenishment_time += get_rt_period(t);
+                res->priority = res->replenishment_time + get_rt_relative_deadline(t);
+                TRACE_TASK(t, "overrun budget!\n");
+        }
         res->budget_consumed = 0;
         res->cur_budget = get_exec_cost(t);
-        res->priority = get_deadline(t);
-        res->replenishment_time = get_release(t);
 }
 
 static void gedf_drain_budget(