Abstract
Consensus is one of the most common problems in distributed systems. An important example of this in the field of dependability is group membership. However, consensus presents certain impossibilities which are not solvable on asynchronous systems. Therefore, in the case of group membership, systems must rely on additional services to solve the constraints imposed on them by the impossibility of consensus. Such additional services exist in the form of failure detectors and membership estimators.
The contribution of this paper is the upper-level algorithm of a protocol stack that provides group membership for dynamic, mobile and partitionable systems, mainly aimed at mobile ad hoc networks. Stability criteria are established to select a subset of nodes with low failure probability to form stable groups of nodes. We provide a description of the algorithm and the results of performance experiments on the NS2 network simulator.
This work has been partially supported by EU FEDER and Spanish MEC under grant TIN2006-14738-C02-01 and by EU FEDER and Spanish MICINN under grant TIN2009-14460-C03.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Chockler, G., Keidar, I., Vitenberg, R.: Group communication specifications: a comprehensive study. ACM Computing Surveys 33(4), 427–469 (2001)
Schiper, A.: Practical impact of group communication theory. In: Schiper, A., Shvartsman, M.M.A.A., Weatherspoon, H., Zhao, B.Y. (eds.) Future Directions in Distributed Computing. LNCS, vol. 2584, pp. 1–10. Springer, Heidelberg (2003)
Fischer, M.J.: The consensus problem in unreliable distributed systems (a brief survey). Fundamentals of Computation Theory, 127–140 (1983)
Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J. ACM 32(2), 374–382 (1985)
Chandra, T.D., Hadzilacos, V., Toueg, S., Charron-Bost, B.: On the impossibility of group membership. In: Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing (PODC 1996), pp. 322–330. ACM, New York (1996)
Basile, C., Killijian, M., Powell, D.: A survey of dependability issues in mobile wireless networks. Technical report, LAAS CNRS Toulouse, France (2003)
Vollset, E., Ezhilchelvan, P.: A survey of reliable broadcast protocols for mobile ad-hoc networks. Technical Report CS-TR-792 (2003)
Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. J. ACM 43(2), 225–267 (1996)
Chockler, G., Demirbas, M., Gilbert, S., Newport, C., Nolte, T.: Consensus and collision detectors in wireless ad hoc networks. In: PODC 2005: Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing, pp. 197–206. ACM Press, New York (2005)
Mostefaoui, A., Raynal, M., Travers, C., Patterson, S., Agrawal, D., Abbadi, A.E.: From static distributed systems to dynamic systems. In: SRDS 2005: Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems, pp. 109–118. IEEE Computer Society, Los Alamitos (2005)
Baker, F.: An outsider’s view of manet. Network Working Group Internet-Draft (2002)
Frodigh, M., Johansson, P., Larsson, P.: Wireless ad hoc networking, the art of networking without a network. Technical report, Ericsson Review No. 4 (2000)
Johnson, D.B., Maltz, D.A., Broch, J.: 5. In: DSR: The Dynamic Source Routing Protocol for Multihop Wireless Ad Hoc Networks, pp. 139–172. Addison-Wesley, Reading (2001)
Perkins, C.E., Royer, E.M.: Ad-hoc on-demand distance vector routing. In: WMCSA 1999: Proceedings of the Second IEEE Workshop on Mobile Computer Systems and Applications, vol. 90. IEEE Computer Society, Los Alamitos (1999)
Jacquet, P., Mühlethaler, P., Clausen, T., Laouiti, A., Qayyum, A., Viennot, L.: Optimized link state routing protocol for ad hoc networks. In: Proceedings of the 5th IEEE Multi Topic Conference (INMIC 2001), pp. 62–68 (2001)
Freiling, F.C., Guerraoui, R., Kouznetsov, P.: The failure detector abstraction. Technical report, Faculty of Mathematics and Computer Science, University of Manheim, Germany (2006)
Angluin, D., Fischer, M.J., Jiang, H.: Stabilizing consensus in mobile networks. In: Gibbons, P.B., Abdelzaher, T., Aspnes, J., Rao, R. (eds.) DCOSS 2006. LNCS, vol. 4026, pp. 37–50. Springer, Heidelberg (2006)
Wu, W., Yang, J., Raynal, M., Cao, J.: Design and performance evaluation of efficient consensus protocols for mobile ad hoc networks. IEEE Trans. Comput. 56(8), 1055–1070 (2007)
Dolev, D., Malki, D.: The transis approach to high availability cluster communication. Communications of the ACM 39, 64–70 (1996)
Moser, L.E., Melliar-smith, P.M., Agarwal, D.A., Budhia, R.K., Lingley-papadopoulos, C.A.: Totem: A fault-tolerant multicast group communication system. Communications of the ACM 39, 54–63 (1996)
Renesse, R.V., Birman, K.P., Maffeis, S.: Horus: A flexible group communication system. Communications of the ACM 39, 76–83 (1996)
Friedman, R., van Renesse, R.: Strong and weak virtual synchrony in horus. In: SRDS 1996: Proceedings of the 15th Symposium on Reliable Distributed Systems (SRDS 1996), vol. 140. IEEE Computer Society, Los Alamitos (1996)
Liu, J., Sacchetti, D., Sailhan, F., Issarny, V.: Group management for mobile ad hoc networks: design, implementation and experiment. In: MDM 2005: Proceedings of the 6th international conference on Mobile data management, pp. 192–199. ACM Press, New York (2005)
Mohapatra, P., Gui, C., Li, J.: Group communications in mobile ad hoc networks. Computer 37(2), 52–59 (2004)
Briesemeister, L., Hommel, G.: Localized group membership service for ad hoc networks. In: International Workshop on Ad Hoc Networking (IWAHN), pp. 94–100 (August 2002)
Roman, G.C., Huang, Q., Hazemi, A.: Consistent group membership in ad hoc networks. In: Proceedings of the 23rd international conference on Software engineering, pp. 381–388. IEEE Computer Society, Los Alamitos (2001)
Bollo, R., Le Narzul, J.P., Raynal, M., Tronel, F.: Probabilistic analysis of a group failure detection protocol. In: WORDS 1999: Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, Washington, DC, USA, vol. 156. IEEE Computer Society, Los Alamitos (1999)
García, J.C., Beyer, S., Galdámez, P.: Cross-layer cooperation between membership estimation and routing. In: SAC 2009: Proceedings of the ACM symposium on Applied Computing, pp. 8–15. ACM, New York (2009)
García, J.C., Banyuls, M.C., Galdámez, P.: Trading off consumption of routing and precision of membership. In: Proceedings of the 3rd International Conference Communications and Computer Networks, Marina del Rey, CA (USA), October 24–26, pp. 108–113. ACTA Press (2005)
García, J.C., Bañuls, M.-C., Beyer, S., Galdámez, P.: Effects of mobility on membership estimation and routing services in ad hoc networks. In: Stojmenovic, I., Thulasiram, R.K., Yang, L.T., Jia, W., Guo, M., de Mello, R.F. (eds.) ISPA 2007. LNCS, vol. 4742, pp. 774–785. Springer, Heidelberg (2007)
project, T.V.: The NS2 manual. Technical report, ISI (2004), http://www.isi.edu/nsnam/ns/ns-documentation.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
García, J.C., Beyer, S., Galdámez, P. (2009). A Stability Criteria Membership Protocol for Ad Hoc Networks. In: Meersman, R., Dillon, T., Herrero, P. (eds) On the Move to Meaningful Internet Systems: OTM 2009. OTM 2009. Lecture Notes in Computer Science, vol 5870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05148-7_49
Download citation
DOI: https://doi.org/10.1007/978-3-642-05148-7_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05147-0
Online ISBN: 978-3-642-05148-7
eBook Packages: Computer ScienceComputer Science (R0)