A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory

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.) r 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 defini...

• Type: Journal
• Year: 2010
• Where: CJ
• Authors: Vicent Cholvi, Antonio Fernández, Ernesto Jiménez, Pilar Manzano, Michel Raynal
• Keywords: -the Usual Consistency, CJ 2010, Image Analysis, Sequential Consistency, Sequential Consistency Protocols