diff options
Diffstat (limited to 'native/include/blocking.h')
| -rw-r--r-- | native/include/blocking.h | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/native/include/blocking.h b/native/include/blocking.h index 0734d9d..b70f1a6 100644 --- a/native/include/blocking.h +++ b/native/include/blocking.h | |||
| @@ -82,37 +82,6 @@ Interference bound_blocking_all_clusters( | |||
| 82 | unsigned long interval, | 82 | unsigned long interval, |
| 83 | const TaskInfo* exclude_tsk); | 83 | const TaskInfo* exclude_tsk); |
| 84 | 84 | ||
| 85 | void split_by_type(const ContentionSet& requests, | ||
| 86 | ContentionSet& reads, | ||
| 87 | ContentionSet& writes); | ||
| 88 | void split_by_type(const Resources& resources, | ||
| 89 | Resources &reads, | ||
| 90 | Resources &writes); | ||
| 91 | void split_by_type(const ClusterResources& per_cluster, | ||
| 92 | ClusterResources &reads); | ||
| 93 | void split_by_type(const ClusterResources& per_cluster, | ||
| 94 | ClusterResources &reads, | ||
| 95 | ClusterResources &writes); | ||
| 96 | |||
| 97 | struct RWCount { | ||
| 98 | unsigned int res_id; | ||
| 99 | unsigned int num_reads; | ||
| 100 | unsigned int num_writes; | ||
| 101 | unsigned int rlength; | ||
| 102 | unsigned int wlength; | ||
| 103 | |||
| 104 | RWCount(unsigned int id) : res_id(id), | ||
| 105 | num_reads(0), | ||
| 106 | num_writes(0), | ||
| 107 | rlength(0), | ||
| 108 | wlength(0) | ||
| 109 | {} | ||
| 110 | }; | ||
| 111 | |||
| 112 | typedef std::vector<RWCount> RWCounts; | ||
| 113 | |||
| 114 | void merge_rw_requests(const TaskInfo &tsk, RWCounts &counts); | ||
| 115 | |||
| 116 | extern const unsigned int UNLIMITED; | 85 | extern const unsigned int UNLIMITED; |
| 117 | 86 | ||
| 118 | #endif | 87 | #endif |
