diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-05-22 13:10:13 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-05-22 13:10:13 -0400 |
| commit | e17645921697351bd968f034a85299c02332ad16 (patch) | |
| tree | ac9139f6586e0ab9e82ed3367e3d8086e761fe26 /native | |
| parent | b7380c730702f5c8a41ca89b007facd815f8d31d (diff) | |
Fix broken demand calculation
Felipe Cerqueira reported incorrect QPA results. The root cause was
a corner case in the demand calculation. This patch fixes the
underestimation of demand if time == deadline and adds a test case
discovered by Felipe that triggered the bug.
Diffstat (limited to 'native')
| -rw-r--r-- | native/include/tasks.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/native/include/tasks.h b/native/include/tasks.h index 092e21a..0f53060 100644 --- a/native/include/tasks.h +++ b/native/include/tasks.h | |||
| @@ -69,7 +69,7 @@ class Task | |||
| 69 | 69 | ||
| 70 | void bound_demand(const integral_t &time, integral_t &demand) const | 70 | void bound_demand(const integral_t &time, integral_t &demand) const |
| 71 | { | 71 | { |
| 72 | if (time <= deadline) | 72 | if (time < deadline) |
| 73 | demand = 0; | 73 | demand = 0; |
| 74 | else | 74 | else |
| 75 | { | 75 | { |