Dynamic FTSS in Asynchronous Systems: the Case of Unison - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2009

Dynamic FTSS in Asynchronous Systems: the Case of Unison

Résumé

Distributed fault-tolerance can mask the effect of a limited number of per- manent faults, while self-stabilization provides forward recovery after an arbitrary number of transient fault hit the system. FTSS protocols combine the best of both worlds since they are simultaneously fault-tolerant and self-stabilizing. To date, FTSS solutions either consider static (i.e. fixed point) tasks, or assume synchronous scheduling of the system components. In this paper, we present the first study of dynamic tasks in asynchronous systems, considering the unison problem as a benchmark. Unison can be seen as a local clock syn- chronisation problem as neighbors must maintain digital clocks at most one time unit away from each other, and increment their own clock value infinitely often. We present many im- possiblity results for this difficult problem and propose a FTSS solution when the problem is solvable that exhibits optimal fault containment.
Fichier principal
Vignette du fichier
RT.pdf (367.32 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00379904 , version 1 (29-04-2009)
inria-00379904 , version 2 (10-02-2011)

Identifiants

  • HAL Id : inria-00379904 , version 1
  • ARXIV : 0904.4615

Citer

Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil. Dynamic FTSS in Asynchronous Systems: the Case of Unison. [Research Report] 2009. ⟨inria-00379904v1⟩
329 Consultations
203 Téléchargements

Altmetric

Partager

More