diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-10-02 05:52:46 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-02-12 06:49:39 -0500 |
| commit | b94ef2b6c5fa861b2defaab8cafb85df6053a1ca (patch) | |
| tree | 5952a0d3686e8577efc90f8bd6629d8e2cbf1b00 | |
| parent | f417089a08b6b8666db7f410b6680921797229d3 (diff) | |
MPCP: we must consider gcs' with equal priority ceilings
gcs' with equal priority ceiling cannot be preempted.
| -rw-r--r-- | native/src/blocking/mpcp.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/native/src/blocking/mpcp.cpp b/native/src/blocking/mpcp.cpp index 655e09e..5d2b1ff 100644 --- a/native/src/blocking/mpcp.cpp +++ b/native/src/blocking/mpcp.cpp | |||
| @@ -20,7 +20,7 @@ static unsigned long get_max_gcs_length(const TaskInfo* tsk, | |||
| 20 | foreach(tsk->get_requests(), it) | 20 | foreach(tsk->get_requests(), it) |
| 21 | { | 21 | { |
| 22 | unsigned int prio = ceilings[it->get_resource_id()]; | 22 | unsigned int prio = ceilings[it->get_resource_id()]; |
| 23 | if (prio < preempted_ceiling) | 23 | if (prio <= preempted_ceiling) |
| 24 | gcs_length = std::max(gcs_length, | 24 | gcs_length = std::max(gcs_length, |
| 25 | (unsigned long) it->get_request_length()); | 25 | (unsigned long) it->get_request_length()); |
| 26 | } | 26 | } |