Highly Concurrent Cache Coherence Protocols

Authors:Williams, Craig, Department of Computer ScienceUniversity of Virginia Reynolds, Jr, Department of Computer ScienceUniversity of Virginia

We describe a family of cache coherence protocols for MIN-based multiprocessors. These protocols, called delta - cache protocols. are more highly concurrent than other directory protocols. They allow more operations to be pipelined. support multiple readers and writers to the same cache block. and allow processes to execute atomic actions on multiple shared variables without acquiring exclusive access rights to the variables. The protocols are based on the isotacll network. a network implementing a logical time system in which all operations travel at the same velocity. one switch per logical time pulse. lsotach networks are feasible. They can be implemented by applying a standard list-merge algorithm to the operations arriving on the inputs to each switch. We prove the correctness of delta-cache protocols with a new correctness criterion that integrates cache coherence with other aspects of concurrency control. We also describe a highly concurrent migration algorithm based on the isotach network.
Note: Abstract extracted from PDF file via OCR

All rights reserved (no additional license for public reuse)
Source Citation:

Williams, Craig, and Jr Reynolds. "Highly Concurrent Cache Coherence Protocols." University of Virginia Dept. of Computer Science Tech Report (1990).

University of Virginia, Department of Computer Science
Published Date: