Partitionable group membership for Mobile Ad hoc Networks
| Autor: | Denis Conan, Léon Lim |
|---|---|
| Přispěvatelé: | Département Informatique (INF), Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP), Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR), Centre National de la Recherche Scientifique (CNRS) |
| Rok vydání: | 2014 |
| Předmět: |
Group membership
Theoretical computer science Computer Networks and Communications Computer science Distributed computing Liveness MANETs Mobile ad hoc network Dynamic partitionable systems Partition (database) Abortable consensus Theoretical Computer Science [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] Artificial Intelligence Hardware and Architecture Paxos Partitionable group membership Software |
| Zdroj: | Journal of Parallel and Distributed Computing Journal of Parallel and Distributed Computing, Elsevier, 2014, 74 (8), pp.2708-2721. ⟨10.1016/j.jpdc.2014.03.003⟩ |
| ISSN: | 0743-7315 1096-0848 |
| DOI: | 10.1016/j.jpdc.2014.03.003 |
| Popis: | International audience; Group membership is a fundamental building block that facilitates the development of fault-tolerant systems. The specification of group membership in partitionable systems has not yet reached the same level of maturity as in primary partition systems. Existing specifications do not satisfy the following two antagonistic requirements: (i) the specification must be weak enough to be solvable (implementable); (ii) it must be strong enough to simplify the design of fault-tolerant distributed applications in partitionable systems. In this article, we propose: (1) a new distributed system model that takes into account the formation of dynamic paths, (2) a specification of partitionable group membership for MANETS called PGM, and (3) an implementation of PGM designed by adapting a well-known solution of primary partition group membership, namely Paxos. This results in the specification of an abortable consensus as the combination of two abstractions: an eventual α partition-participant detector and an eventual register per partition that guarantee liveness and safety per partition, respectively. Then, partitionable group membership is solved by transformation into a sequence of abortable consensus; Group membership is a fundamental building block that facilitates the development of fault-tolerant systems. The specification of group membership in partitionable systems has not yet reached the same level of maturity as in primary partition systems. Existing specifications do not satisfy the following two antagonistic requirements: (i) the specification must be weak enough to be solvable (implementable); (ii) it must be strong enough to simplify the design of fault-tolerant distributed applications in partitionable systems. In this article, we propose: (1) a new distributed system model that takes into account the formation of dynamic paths, (2) a specification of partitionable group membership for MANETS called PGM, and (3) an implementation of PGM designed by adapting a well-known solution of primary partition group membership, namely Paxos. This results in the specification of an abortable consensus as the combination of two abstractions: an eventual α partition-participant detector and an eventual register per partition that guarantee liveness and safety per partition, respectively. Then, partitionable group membership is solved by transformation into a sequence of abortable consensus. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect