Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
A parametrized algorithm that implements sequential, causal, and cache memory consistencies
Year:2008
Research Areas
  • Programming language
Information
Abstract
In this paper we present an algorithm that can be used to implement sequential, causal, or cache consistency in distributed shared memory (DSM) systems. For this purpose it has a parameter that allows to choose the consistency model to be implemented. We can also use our algorithm such that not all processes have the same value in this parameter (we have shown the resulting consistency). This characteristic allows to choose a concrete consistency model but implementing it with the algorithm more efficient in each case (in function of the requirements of the applications). As far as we know, this is the first algorithm proposed that implements cache coherence. In our algorithm, when implementing causal and cache consistency all read and write operations are executed locally (i.e., are fast). It is known that no sequential algorithm has only fast memory operations. However, in our algorithm, when im- plementing sequential consistency all write operations and some read operations are fast. The algorithm uses propagation and full replication, where values written by a process are propagated to the rest of processes. It works in a cyclic turn fashion, with each process of the DSM system broadcasting one message in its turn. The values written by the process are sent in the message (instead of sending one mes- sage for each write operation), but unnecessary values are excluded. All this allows to control the amount of message traffic due to the algorithm.
International
Si
JCR
Si
Title
JOURNAL OF SYSTEMS AND SOFTWARE
ISBN
0164-1212
Impact factor JCR
0,799
Impact info
Volume
81
http://dx.doi.org/10.1016/j.jss.2007.03.012
Journal number
1
From page
120
To page
131
Month
ENERO
Ranking
Participants
  • autor: Vicente Cholvi Juan (Universidad Jaume I)
  • Autor: Jose Ernesto Jimenez Merino (UPM)
  • autor: Antonio Fernández Anta (Universidad Rey Juan Carlos)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Distributed Systems Labs (LSD) Laboratorio de sistemas distribuidos
  • Departamento: Arquitectura y Tecnología de Computadores (E.U. Informática)
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)