An Eventual alpha Partition-Participant Detector for MANETs

With Mobile Ad hoc Networks (MANETs), communication between mobile users is possible without any infrastructure. MANETs are already a necessary part of wireless systems. Due to arbitrary node arrivals, departures, crashes and movements, network partitioning may arise resulting in a degradation of the service, but not necessarily in its interruption. In this paper, we propose a distributed system model for partition able systems. We then specify and implement a partition-participant detector that captures the live ness of a partition even if the partition is not completely stable. Its role is to detect the minimal stability condition to guarantee that eventually all the stable processes in an alpha-Set elect the same leader.

[1]  Marcos K. Aguilera,et al.  On implementing omega with weak reliability and synchrony assumptions , 2003, PODC '03.

[2]  Marcos K. Aguilera,et al.  On Quiescent Reliable Communication , 2000, SIAM J. Comput..

[3]  Idit Keidar,et al.  Group communication specifications: a comprehensive study , 2001, CSUR.

[4]  Sam Toueg,et al.  Unreliable failure detectors for reliable distributed systems , 1996, JACM.

[5]  Roberto Baldoni,et al.  Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency , 2010, 2010 European Dependable Computing Conference.

[6]  Michael Merritt,et al.  Computing with Infinitely Many Processes , 2000, DISC.

[7]  Allen B. MacKenzie,et al.  Characterizing mobile ad hoc networks -: the maniac challenge experiment , 2008, WiNTECH '08.

[8]  Achour Mostéfaoui,et al.  From static distributed systems to dynamic systems , 2005, 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05).

[9]  Alberto Montresor,et al.  System support for partition-aware network applications , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[10]  Paul Murray,et al.  A distributed state monitoring service for adaptive application management , 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

[11]  Miroslaw Malek,et al.  Prediction of Partitioning in Location-Aware Mobile Ad Hoc Networks , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

[12]  Roy Friedman,et al.  Middleware support for distributed multimedia and collaborative computing , 1997, Electronic Imaging.

[13]  Gérard Le Lann,et al.  Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems , 2002, IEEE Trans. Computers.

[14]  Srikanth Sastry,et al.  Eventually Perfect Failure Detectors Using ADD Channels , 2007, ISPA.

[15]  Pablo Galdámez,et al.  A Stability Criteria Membership Protocol for Ad Hoc Networks , 2009, OTM Conferences.

[16]  Pierre Sens,et al.  A Failure Detector for Wireless Networks with Unknown Membership , 2011, Euro-Par.

[17]  Paul D. Ezhilchelvan,et al.  Consensus in Sparse, Mobile Ad Hoc Networks , 2012, IEEE Transactions on Parallel and Distributed Systems.

[18]  Sébastien Tixeuil,et al.  Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

[19]  Emmanuelle Anceaume,et al.  On the Formal Specification of Group Membership Services , 1994 .

[20]  Roberto Baldoni,et al.  Connectivity in Eventually Quiescent Dynamic Distributed Systems , 2007, LADC.

[21]  André Schiper.  Brief announcement: dynamic group communication , 2003, PODC '03.

[22]  André Schiper,et al.  Consensus with Unknown Participants or Fundamental Self-Organization , 2004, ADHOC-NOW.

[23]  Idit Keidar,et al.  Fault tolerant video on demand services , 1999, Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003).

[24]  André Schiper,et al.  On the Specification of Partitionable Group Membership , 2008, 2008 Seventh European Dependable Computing Conference.

[25]  Rachid Guerraoui,et al.  Deconstructing paxos , 2003, SIGA.

[26]  Baochun Li,et al.  Group mobility and partition prediction in wireless ad-hoc networks , 2002, 2002 IEEE International Conference on Communications. Conference Proceedings. ICC 2002 (Cat. No.02CH37333).

[27]  Alberto Montresor,et al.  Group Communication in Partitionable Systems: Specification and Algorithms , 2001, IEEE Trans. Software Eng..

[28]  Marcos K. Aguilera,et al.  A pleasant stroll through the land of infinitely many creatures , 2004, SIGA.

[29]  Marcos K. Aguilera,et al.  Using the Heartbeat Failure Detector for Quiescent Reliable Communication and Consensus in Partitionable Networks , 1999, Theor. Comput. Sci..