A Coherence Protocol for Cached Copies of Volatile Objects in Peer-to-Peer Systems

Louis Rilling 1 Christine Morin 1
1 PARIS - Programming distributed parallel systems for large scale numerical simulation
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, ENS Cachan - École normale supérieure - Cachan, Inria Rennes – Bretagne Atlantique
Abstract : We consider the problem of executing distributed applications using the shared memory paradigm on dynamic and large scale distributed systems, such as structured peer-to-peer systems. The shared memory is private to an application, volatile, and components of the application transparently access shared memory objects via their usual address space. The peer-to-peer system tolerates up to f simultaneous reconfiguration events (node failure, disconnection, or join) and an infinite number of reconfigurations. We give a coherence protocol similar to K. Li's protocols for cached copies of memory objects. The protocol uses the peer-to-peer architecture to handle up to f simultaneous reconfiguration events and an infinite number of reconfigurations with a fail-stop/recovery model. Failures are tolerated using backward error recovery and replicated automata to avoid restarts of applications when possible. We prove that the protocol ensures coherence of cached copies of memory objects despite reconfiguration events, and ensures liveness if communications are reliable.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00071524
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 5:50:41 PM
Last modification on : Friday, November 16, 2018 - 1:24:03 AM
Long-term archiving on : Sunday, April 4, 2010 - 10:22:10 PM

Identifiers

  • HAL Id : inria-00071524, version 1

Citation

Louis Rilling, Christine Morin. A Coherence Protocol for Cached Copies of Volatile Objects in Peer-to-Peer Systems. [Research Report] RR-5059, INRIA. 2003. ⟨inria-00071524⟩

Share

Metrics

Record views

369

Files downloads

114