Add to ORKGRecently 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 which uses considerably less communication as compared to previously proposed protocols. This is realized by maintaining state information and capturing causal relations among read and write operations. We prove that the protocol satisfies a formulation of sequential consistency. We also present several modifications to the protocol and compare the classes of execution histories captured by these protocols and several previously.proposed protocols
In this paper we present a proof of the sequential consistency of the lazy caching protocol of Afek,...
In this paper we present a proof of the sequential consistency of the lazy caching protocol of Afek,...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/16...
Recently distributed shared memory (DSM) systems have received much attention because such an abstra...
Recently distributed shared memory (DSM) systems have received much attention because such an abstra...
Recently distributed shared memory (DSM) systems have received much attention because such an abstra...
Recently distributed shared memory (DSM) systems have received much attention because such an abstra...
In this paper, we present an algorithm that can be used to implement sequential, causal, or cache co...
Recently, distributed shared memory systems have received much attention because such an abstraction...
Recently, distributed shared memory systems have received much attention because such an abstraction...
Recently, distributed shared memory systems have received much attention because such an abstraction...
The paper proposes a simple protocol that ensures sequential consistency. The protocol assumes that ...
In this paper we present a proof of the sequential consistency of the lazy caching protocol of Afek,...
In this paper we present a proof of the sequential consistency of the lazy caching protocol of Afek,...
In this paper we present a proof of the sequential consistency of the lazy caching protocol of Afek,...
In this paper we present a proof of the sequential consistency of the lazy caching protocol of Afek,...
In this paper we present a proof of the sequential consistency of the lazy caching protocol of Afek,...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/16...
Recently distributed shared memory (DSM) systems have received much attention because such an abstra...
Recently distributed shared memory (DSM) systems have received much attention because such an abstra...
Recently distributed shared memory (DSM) systems have received much attention because such an abstra...
Recently distributed shared memory (DSM) systems have received much attention because such an abstra...
In this paper, we present an algorithm that can be used to implement sequential, causal, or cache co...
Recently, distributed shared memory systems have received much attention because such an abstraction...
Recently, distributed shared memory systems have received much attention because such an abstraction...
Recently, distributed shared memory systems have received much attention because such an abstraction...
The paper proposes a simple protocol that ensures sequential consistency. The protocol assumes that ...
In this paper we present a proof of the sequential consistency of the lazy caching protocol of Afek,...
In this paper we present a proof of the sequential consistency of the lazy caching protocol of Afek,...
In this paper we present a proof of the sequential consistency of the lazy caching protocol of Afek,...
In this paper we present a proof of the sequential consistency of the lazy caching protocol of Afek,...
In this paper we present a proof of the sequential consistency of the lazy caching protocol of Afek,...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/16...