The weakest failure detector to implement a register in asynchronous systems with hybrid communication - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2011

The weakest failure detector to implement a register in asynchronous systems with hybrid communication

Résumé

This paper introduces an asynchronous crash-prone hybrid system model. The system is hybrid in the way the processes can communicate. On the one side, a process can send messages to any other process. On another side, the processes are partitioned into clusters and each cluster has its own read/write shared memory. In addition to the model, a main contribution of the paper concerns the implementation of an atomic register in this system model. More precisely, a new failure detector (denoted MΣ) is introduced and it is shown that, when considering the information on failures needed to implement a register, this failure detector is the weakest. To that end, the paper presents an MΣ-based algorithm that builds a register in the considered hybrid system model and shows that it is possible to extract MΣ from any failure detector-based algorithm that implements a register in this model. The paper also (a) shows that MΣ is strictly weaker than Σ (which is the weakest failure detector to implement a register in a classical message-passing system) and (b) presents a necessary and sufficient condition to implement MΣ in a hybrid communication system.
Fichier principal
Vignette du fichier
PI-1972.pdf (237.8 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00583155 , version 1 (05-04-2011)

Identifiants

  • HAL Id : inria-00583155 , version 1

Citer

Damien Imbs, Michel Raynal. The weakest failure detector to implement a register in asynchronous systems with hybrid communication. [Research Report] PI-1972, 2011, pp.11. ⟨inria-00583155⟩
191 Consultations
315 Téléchargements

Partager

Gmail Facebook X LinkedIn More