Listar LSI_Articles por autoría "1b23d355-6fa3-4ca4-9856-213965a3297a"
Mostrando ítems 1-4 de 4
-
A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory
Cholvi, Vicent; Fernández Anta, Antonio; Jiménez, Ernesto; Manzano, Pilar; raynal, michel Oxford University Press (2010)The paper proposes a simple protocol that ensures sequential consistency. The protocol assumes that the shared memory abstraction is supported by the local memories of nodes that can communicate only by exchanging messages ... -
A parametrized algorithm that implements sequential, causal, and cache memory consistencies
Jiménez, Ernesto; Fernández Anta, Antonio; Cholvi, Vicent Elsevier (2008)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 includes a parameter that allows us to choose ... -
Interconnection of distributed memory models
Cholvi, Vicent; Jiménez, Ernesto; Fernández Anta, Antonio Elsevier (2009)In this paper, we present a framework to formally describe and study the interconnection of distributed shared memory systems. Using it allows us to classify the consistency models in two groups, depending on whether they ... -
On the interconnection of message passing systems
Alvarez, Agustin; Arévalo, Sergio; Cholvi, Vicent; Fernández Anta, Antonio; Jiménez, Ernesto Elsevier (2008)One of the most important abstractions for designing distributed programs is the broadcast facility. In this paper, we study the interconnection of distributed message passing systems. We have shown that totally ordered ...