From b94ef2b6c5fa861b2defaab8cafb85df6053a1ca Mon Sep 17 00:00:00 2001 From: Bjoern Brandenburg Date: Tue, 2 Oct 2012 11:52:46 +0200 Subject: MPCP: we must consider gcs' with equal priority ceilings gcs' with equal priority ceiling cannot be preempted. --- native/src/blocking/mpcp.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'native/src/blocking/mpcp.cpp') 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, foreach(tsk->get_requests(), it) { unsigned int prio = ceilings[it->get_resource_id()]; - if (prio < preempted_ceiling) + if (prio <= preempted_ceiling) gcs_length = std::max(gcs_length, (unsigned long) it->get_request_length()); } -- cgit v1.2.2