MPCP: accurately track per-processor priority ceilings

The priority ceilings under the MPCP are defined in a way
such that one processor has a slightly lower ceiling.
This doesn't really affect the outcome much, but this patch
changes the analysis to be exactly as defined for the sake
of accuracy.

1 files changed, 6 insertions, 1 deletions

diff --git a/native/include/mpcp.h b/native/include/mpcp.h
index 75f77b1..22494d7 100644
--- a/native/include/mpcp.h
+++ b/native/include/mpcp.h
@@ -5,7 +5,12 @@ typedef std::vector<unsigned long> ResponseTimes;
 typedef std::vector<ResponseTimes> TaskResponseTimes;
 typedef std::vector<TaskResponseTimes> ClusterResponseTimes;
 
+typedef std::vector<PriorityCeilings> MPCPCeilings;
+
 void determine_gcs_response_times(const Clusters& clusters,
-                                  const PriorityCeilings& ceilings,
+                                  const MPCPCeilings& ceilings,
                                   ClusterResponseTimes& times);
+
+MPCPCeilings get_mpcp_ceilings(const ResourceSharingInfo& info);
+
 #endif