Reservations: request scheduler update for new active reservations

Don't forget to ask for a scheduler update when a reservation is
replenished but enters state ACTIVE_IDLE and there's nothing else
going on that triggers the scheduler by chance.

1 files changed, 6 insertions, 1 deletions

diff --git a/litmus/reservation.c b/litmus/reservation.c
index f79689823be7..0bc551e2e67b 100644
--- a/litmus/reservation.c
+++ b/litmus/reservation.c
@@ -122,9 +122,14 @@ static void sup_queue_active(
         /* check for possible preemption */
         if (res->state == RESERVATION_ACTIVE && !passed_active)
                 sup_env->next_scheduler_update = SUP_RESCHEDULE_NOW;
+        else {
+                /* Active means this reservation is draining budget => make sure
+                 * the scheduler is called to notice when the reservation budget has been
+                 * drained completely. */
+                sup_scheduler_update_after(sup_env, res->cur_budget);
+        }
 }
 
-
 static void sup_queue_reservation(
         struct sup_reservation_environment* sup_env,
         struct reservation *res)