[inria-00144801, v2] Failure, Disconnection and Partition Detection in Mobile Environment

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUEFailure, Disconnection and Partition Detection inMobile EnvironmentDenis Conan — Pierre Sens — Luciana Arantes — Mathieu BouillaguetN° 6184Mai 2007Thème COMapport de recherche inria-00144801, version 2 - 8 May 2007ISSN 0249-6399 ISRN INRIA/RR--6184--FR+ENGinria-00144801, version 2 - 8 May 2007Failure, Disconnection and Partition Detection inMobile Environment∗ † † †Denis Conan , Pierre Sens , Luciana Arantes , Mathieu BouillaguetThème COM — Systèmes communicantsProjet RegalRapport de recherche n° 6184 — Mai 2007 — 21 pagesAbstract: In mobile environment, nodes can move around and voluntarily leave or jointhe network. Furthermore, they can crash or be disconnected from the network due tothe absence of network signals. Therefore, failure, disconnection and mobility may createpartitionsinwirelessnetworkswhichshouldbedetectedforfaultanddisconnectiontolerancereasons.We present in this article an architecture of local and distributed detectors for mobilenetworks that detect failures, disconnections, and partitions. It is basically composed ofthree unreliable detectors: a heartbeat failure detector, a vector-based disconnection de-tector, and an eventually perfect partition detector. The latter ensures the convergenceof detection information within a partition where all participants suspect the same sets ofdisconnected, unreachable, and faulty processes.Key-words: partition detection ...