diff options
author | Glenn Elliott <gelliott@cs.unc.edu> | 2013-04-08 17:21:34 -0400 |
---|---|---|
committer | Glenn Elliott <gelliott@cs.unc.edu> | 2013-04-08 17:21:34 -0400 |
commit | 6f3810f79aaf624b5c781dcf04a4203affcad903 (patch) | |
tree | 1a27dd3432be0c2aedba3fd709c6e2da3f852ea6 /litmus/budget.c | |
parent | a4d63ac7ff059f81a0488d1cda4de16142508189 (diff) |
Fixed IKGLP request aborts.
Fixes bug that failed to move new requests to the FIFO
queue after an aborted request in a FIFO makes room.
Diffstat (limited to 'litmus/budget.c')
-rw-r--r-- | litmus/budget.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/litmus/budget.c b/litmus/budget.c index 4f692fd4a103..aa254349a85e 100644 --- a/litmus/budget.c +++ b/litmus/budget.c | |||
@@ -57,12 +57,12 @@ inline static void arm_enforcement_timer(struct task_struct* t, int force) | |||
57 | } | 57 | } |
58 | 58 | ||
59 | if (!force) { | 59 | if (!force) { |
60 | /* Calling this when there is no budget left for the task | 60 | // /* Calling this when there is no budget left for the task |
61 | * makes no sense, unless the task is non-preemptive. */ | 61 | // * makes no sense, unless the task is non-preemptive. */ |
62 | if (budget_exhausted(t)) { | 62 | // if (budget_exhausted(t)) { |
63 | TRACE_TASK(t, "can't arm timer because no budget remaining\n"); | 63 | // TRACE_TASK(t, "can't arm timer because no budget remaining\n"); |
64 | return; | 64 | // return; |
65 | } | 65 | // } |
66 | 66 | ||
67 | if ( (!budget_enforced(t) || | 67 | if ( (!budget_enforced(t) || |
68 | (budget_enforced(t) && bt_flag_is_set(t, BTF_BUDGET_EXHAUSTED))) | 68 | (budget_enforced(t) && bt_flag_is_set(t, BTF_BUDGET_EXHAUSTED))) |