From c2e3e08ef2ce90237b7b50efd0adc1e2848a3729 Mon Sep 17 00:00:00 2001
From: Bjoern Brandenburg <bbb@mpi-sws.org>
Date: Thu, 17 May 2012 15:41:49 +0200
Subject: C++: Properly consider priority ceilings in DPCP bound

The bound should not reflect requests executed by agents that can be preempted.
---
 native/src/blocking/mpcp.cpp | 22 ----------------------
 1 file changed, 22 deletions(-)

(limited to 'native/src/blocking/mpcp.cpp')

diff --git a/native/src/blocking/mpcp.cpp b/native/src/blocking/mpcp.cpp
index 8b87556..655e09e 100644
--- a/native/src/blocking/mpcp.cpp
+++ b/native/src/blocking/mpcp.cpp
@@ -7,28 +7,6 @@
 // ***************************  MPCP ******************************************
 
 
-typedef std::vector<unsigned int> PriorityCeilings;
-
-static void determine_priority_ceilings(const Resources& resources,
-					PriorityCeilings& ceilings)
-{
-	ceilings.reserve(resources.size());
-
-	foreach(resources, it)
-	{
-		unsigned int ceiling = UINT_MAX;
-		const ContentionSet& cs = *it;
-
-		foreach(cs, jt)
-		{
-			const RequestBound* req = *jt;
-			ceiling = std::min(ceiling, req->get_task()->get_priority());
-		}
-
-		ceilings.push_back(ceiling);
-	}
-}
-
 typedef std::vector<unsigned long> ResponseTimes;
 typedef std::vector<ResponseTimes> TaskResponseTimes;
 typedef std::vector<TaskResponseTimes> ClusterResponseTimes;
-- 
cgit v1.2.2