aboutsummaryrefslogtreecommitdiffstats
path: root/native/include/blocking.h
diff options
context:
space:
mode:
Diffstat (limited to 'native/include/blocking.h')
-rw-r--r--native/include/blocking.h31
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
85void split_by_type(const ContentionSet& requests,
86 ContentionSet& reads,
87 ContentionSet& writes);
88void split_by_type(const Resources& resources,
89 Resources &reads,
90 Resources &writes);
91void split_by_type(const ClusterResources& per_cluster,
92 ClusterResources &reads);
93void split_by_type(const ClusterResources& per_cluster,
94 ClusterResources &reads,
95 ClusterResources &writes);
96
97struct 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
112typedef std::vector<RWCount> RWCounts;
113
114void merge_rw_requests(const TaskInfo &tsk, RWCounts &counts);
115
116extern const unsigned int UNLIMITED; 85extern const unsigned int UNLIMITED;
117 86
118#endif 87#endif