“…In both cases, the next time the processor with the copy accesses the block, it will see the most recent value, thereby ensuring a coherent view of the memory system. Since invalidation-based coherence has been used in most recent systems (e.g., [123,99,93,35,113,18,26]), this dissertation only considers this kind of implementation.…”