TY - GEN
T1 - A sequentially consistent distributed shared memory
AU - Zhou, J. Z.
AU - Mizuno, M.
AU - Singh, G.
N1 - Funding Information:
"This work was supported in part by the National Science Foundation under Grant CCR-9201645. 'This work was supported in part by the National Science Foundation under Grant CCR-9211621.
Publisher Copyright:
© 1993 IEEE.
PY - 1993
Y1 - 1993
N2 - Recently, distributed shared memory (DSM) systems have received much attention because such an abstraction simplifies programming. An important class of DSM implementations is one which uses cache memories to improve efficiency. In this paper, we present a cache-consistency protocol for DSM which requires significantly less communication than previously proposed protocols. This is achieved by maintaining one bit of state information for each cache object in the system. We prove that the protocol satisfies a formulation of sequential consistency.
AB - Recently, distributed shared memory (DSM) systems have received much attention because such an abstraction simplifies programming. An important class of DSM implementations is one which uses cache memories to improve efficiency. In this paper, we present a cache-consistency protocol for DSM which requires significantly less communication than previously proposed protocols. This is achieved by maintaining one bit of state information for each cache object in the system. We prove that the protocol satisfies a formulation of sequential consistency.
UR - http://www.scopus.com/inward/record.url?scp=33746322408&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33746322408&partnerID=8YFLogxK
U2 - 10.1109/ICCI.1993.315385
DO - 10.1109/ICCI.1993.315385
M3 - Conference contribution
AN - SCOPUS:33746322408
T3 - Proceedings - ICCI 1993: 5th International Conference on Computing and Information
SP - 165
EP - 169
BT - Proceedings - ICCI 1993
A2 - Koczkodaj, Waldemar W.
A2 - Abou-Rabia, Osman
A2 - Chang, Carl K.
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 5th International Conference on Computing and Information, ICCI 1993
Y2 - 27 May 1993 through 29 May 1993
ER -