Download or read book Design and Validation of Update-based Cache Coherence Protocols 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. 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.