Lines Matching refs:write
52 // Initialize a fresh write cluster
60 // Reopen a closed write cluster
61 assert(_start < complete); // should open a new write cluster, instead;
78 warn("Could not locate write transaction: serial = %d, complete = %d\n",
83 // Record completion time of the write
107 warn("Could not locate write transaction: serial = %d\n", serial);
112 // This write cluster is now complete, and we can assign the current
118 // write present; the cluster will get reused through
141 // Scan backwards through the write clusters to find the closest younger
146 const Transaction& write = addr_write.second;
148 if (write.complete < last_obs.start) {
149 // If this write transaction completed before the last
155 if (write.data == data) {
161 _lastExpectedData.push_back(write.data);
163 if (write.complete > start) {
164 // This write overlapped with the transaction we want to check
165 // -> continue checking the overlapping write cluster
169 // This write cluster has writes that have completed before the
171 // write-cluster -> set the exit condition for the outer loop
174 if (last_obs.complete < write.start) {
175 // We found a write which started after the last observed read,
186 // We have not found any matching write, so far; check other sources of
202 // NOTE: We can overlap with multiple write clusters, here
204 // ensure that all write clusters really overlap this read
215 DPRINTF(MemChecker, "no last observation nor write! start = %d, "\