Design and Validation of Update-based Cache Coherence Protocols
Download or Read eBook Design and Validation of Update-based Cache Coherence Protocols PDF written by Stanford University. Computer Systems Laboratory and published by . This book was released on 1994 with total page 36 pages. Available in PDF, EPUB and Kindle.
Author | : Stanford University. Computer Systems Laboratory |
Publisher | : |
Total Pages | : 36 |
Release | : 1994 |
ISBN-10 | : OCLC:123336726 |
ISBN-13 | : |
Rating | : 4/5 (26 Downloads) |
Book Synopsis Design and Validation of Update-based Cache Coherence Protocols by : Stanford University. Computer Systems Laboratory
Book excerpt: In this paper, we present the details of the two update-based cache coherence protocols for scalable shared-memory multiprocessors that were studied in our previous work. First, the directory structures required for the protocols are briefly reviewed. Next, the state diagrams and some examples of the two update-based protocols are presented; one of the protocols is based on a centralized directory, and the other is based on a singly-linked distributed directory. Protocol deadlock and the additional requirements placed the protocols to avoid such deadlock are also examined. Finally, protocol validation using an exhaustive validation tool known as Murphi is discussed.