diff options
author | Glenn Elliott <gelliott@cs.unc.edu> | 2014-03-16 18:42:28 -0400 |
---|---|---|
committer | Glenn Elliott <gelliott@cs.unc.edu> | 2014-03-16 18:42:28 -0400 |
commit | 6a6d06e65c50d7da5dd2019dafbe76ac9c7d018d (patch) | |
tree | 39344498775a7ddc92bb6ceaccf7cda580582b13 | |
parent | c93d29a1d7e65a32bfa9111c93badb26b3622f13 (diff) |
Fix task-exit race with budget timer.
-rw-r--r-- | litmus/budget.c | 2 |
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 | ||