BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CSL-TR-94-613
       ENTRY:: October 26, 1994
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Design and Validation of Update-Based Cache Coherence
               Protocols
        TYPE:: Technical Report
      AUTHOR:: Glasco, David B.
      AUTHOR:: Delagi, Bruce A.
      AUTHOR:: Flynn, Michael J.
        DATE:: March 1994
       PAGES:: 36
    ABSTRACT:: 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.
       NOTES:: [Adminitrivia V1/Prg/19941026]
         END:: STAN//CSL-TR-94-613