loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Network Computing and Applications, Third IEEE International Symposium on (NCA'04)
A Methodological Construction of an Efficient Sequential Consistency Protocol
Boston, Massachusetts
August 30-September 01
ISBN: 0-7695-2242-4
Vicent Cholvi, Universidad Jaume I, Spain
Antonio Fern?ndez, Universidad Rey Juan Carlos, Spain
Ernesto Jim?nez, EUI, Universidad Polit?cnica de Madrid, Spain
Michel Raynal, IRISA, Universit? de Rennes, France
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states that a multiprocess program executes correctly if its results could have been produced by executing that program on a single processor system. (Sequential consistency is weaker than atomic consistency -the usual consistency criterion- as it does not refer to real-time.) The paper proposes a simple protocol that ensures sequential consistency when the shared memory abstraction is supported by the local memories of nodes that can communicate only by exchanging messages through reliable channels. Differently from other sequential consistency protocols, the proposed protocol does not rely on a strong synchronization mechanism such as an atomic broadcast primitive or a central node managing a copy of every shared object. From a methodological point of view, the protocol is built incrementally starting from the very definition of sequential consistency. It has the noteworthy property of providing fast writes operations (i.e., a process has never to wait when it writes a new value in a shared object). According to the current local state, some read operations can also be fast. An experimental evaluation of the protocol is also presented. The proposed protocol could be used to manage Web page caching.
Citation:
Vicent Cholvi, Antonio Fern?ndez, Ernesto Jim?nez, Michel Raynal, "A Methodological Construction of an Efficient Sequential Consistency Protocol," nca, pp.141-148, Network Computing and Applications, Third IEEE International Symposium on (NCA'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.