The directory-based cache coherence protocol for the DASH multiprocessor
- 1 May 1990
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGARCH Computer Architecture News
- Vol. 18 (2SI) , 148-159
- https://doi.org/10.1145/325096.325132
Abstract
DASH is a scalable shared-memory multiprocessor currently being developed at Stanford's Computer Systems Laboratory. The architecture consists of powerful processing nodes, each with a portion of the shared-memory, connected to a scalable interconnection network. A key feature of DASH is its distributed directory-based cache coherence protocol. Unlike traditional snoopy coherence protocols, the DASH protocol does not rely on broadcast; instead it uses point-to-point messages sent between the processors and memories to keep caches consistent. Furthermore, the DASH system does not contain any single serialization or control point. While these features provide the basis for scalability, they also force a reevaluation of many fundamental issues involved in the design of a protocol. These include the issues of correctness, performance and protocol complexity. In this paper, we present the design of the DASH coherence protocol and discuss how it addresses the above issues. We also discuss our strategy for verifying the correctness of the protocol and briefly compare our protocol to the IEEE Scalable Coherent Interface protocol.Keywords
This publication has 7 references indexed in Scilit:
- An empirical evaluation of two memory-efficient directory methodsPublished by Association for Computing Machinery (ACM) ,1990
- Memory consistency and event ordering in scalable shared-memory multiprocessorsPublished by Association for Computing Machinery (ACM) ,1990
- Cache coherence protocols: evaluation using a multiprocessor simulation modelACM Transactions on Computer Systems, 1986
- Data Coherence Problem in a Multicache SystemIEEE Transactions on Computers, 1985
- An economical solution to the cache coherence problemPublished by Association for Computing Machinery (ACM) ,1984
- A low-overhead coherence solution for multiprocessors with private cache memoriesPublished by Association for Computing Machinery (ACM) ,1984
- A New Solution to Coherence Problems in Multicache SystemsIEEE Transactions on Computers, 1978