A simple proof of the necessity of the failure detector $\Sigma$ to implement a register in asynchronous message-passing systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2009

A simple proof of the necessity of the failure detector $\Sigma$ to implement a register in asynchronous message-passing systems

Abstract

This paper presents a simple proof that the quorum failure detector class (denoted ) is the weakest failure detector class required to implement an atomic read/write register in an asynchronous message-passing system prone to an arbitrary number of process crashes.
Fichier principal
Vignette du fichier
PI-1932.pdf (371.41 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00392450 , version 1 (08-06-2009)

Identifiers

  • HAL Id : inria-00392450 , version 1

Cite

François Bonnet, Michel Raynal. A simple proof of the necessity of the failure detector $\Sigma$ to implement a register in asynchronous message-passing systems. [Research Report] PI 1932, 2009, pp.8. ⟨inria-00392450⟩
233 View
224 Download

Share

Gmail Facebook Twitter LinkedIn More