Lines Matching refs:writes
59 * MemChecker. Verifies that reads observe the values from permissible writes.
63 * there is overlap between writes, they could be reordered by the memory
69 * reads or writes. This precludes us from discovering single-copy atomicity
124 * for writes, the value written upon start; for reads, the value read
137 * The WriteCluster class captures sets of writes where all writes are
138 * overlapping with at least one other write. Capturing writes in this way
139 * simplifies pruning of writes.
185 * Map of Serial --> Transaction of all writes in cluster; contains
188 std::unordered_map<Serial, Transaction> writes;
242 * request is considered, as writes in separate clusters are not