aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGlenn Elliott <gelliott@cs.unc.edu>2014-03-16 18:42:28 -0400
committerGlenn Elliott <gelliott@cs.unc.edu>2014-03-16 18:42:28 -0400
commit6a6d06e65c50d7da5dd2019dafbe76ac9c7d018d (patch)
tree39344498775a7ddc92bb6ceaccf7cda580582b13
parentc93d29a1d7e65a32bfa9111c93badb26b3622f13 (diff)
Fix task-exit race with budget timer.
-rw-r--r--litmus/budget.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/litmus/budget.c b/litmus/budget.c
index 65cc3bc263a8..7af7cc26a998 100644
--- a/litmus/budget.c
+++ b/litmus/budget.c
@@ -132,7 +132,7 @@ inline static void __simple_on_unscheduled(struct task_struct* t)
132{ 132{
133 BUG_ON(!t); 133 BUG_ON(!t);
134 134
135 if (budget_precisely_tracked(t)) 135 if (is_realtime(t) && budget_precisely_tracked(t))
136 cancel_enforcement_timer(t); 136 cancel_enforcement_timer(t);
137} 137}
138 138