blob: 22494d7d4c97c2c97c3bd409176ec5043853e58c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#ifndef _MPCP_H_
#define _MPCP_H_
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 MPCPCeilings& ceilings,
ClusterResponseTimes& times);
MPCPCeilings get_mpcp_ceilings(const ResourceSharingInfo& info);
#endif
|
