Highly Concurrent Cache Coherence Protocols

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

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

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

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

Publisher:
University of Virginia, Department of Computer Science
Published Date:
1990