This Article 
 Bibliographic References 
 Add to: 
Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks
April 2004 (vol. 3 no. 2)
pp. 192-205
Qingfeng Huang, IEEE Computer Society
Gruia-Catalin Roman, IEEE Computer Society

Abstract—The design of ad hoc mobile applications often requires the availability of a consistent view of the application state among the participating hosts. Such views are important because they simplify both the programming and verification tasks. We argue that preventing the occurrence of unannounced disconnection is essential to constructing and maintaining a consistent view in the ad hoc mobile environment. In this light, we provide the specification for a partitionable group membership service supporting ad hoc mobile applications and propose a protocol for implementing the service. A unique property of this partitionable group membership is that messages sent between group members are guaranteed to be delivered successfully, given appropriate system assumptions. This property is preserved over time despite movement and frequent disconnections. The protocol splits and merges groups and maintains a logical connectivity graph based on a notion of safe distance. An implementation of the protocol in Java is available for testing. This work is used in an implementation of LIME, a middleware for mobility that supports transparent sharing of data in both wired and ad hoc wireless environments.

[1] F. Cristian, Reaching Agreement on Processor-Group Membership in Synchronous Distributed Systems Distributed Computing, vol. 4, no. 4, pp. 175-188, 1991.
[2] Y. Amir et al., Transis:“A Communication Subsystem for High Availability,” Proc. Int’l Symp. Fault‐Tolerant Computing, IEEE CS Press, Los Alamitos, Calif., 1992, pp. 76‐84.
[3] K.P. Birman, The Process Group Approach to Reliable Distributed Computing Comm. ACM, vol. 36, no. 12, pp. 37-53, Dec. 1993.
[4] A. Ricciardi and K. Birman, Process Membership in Asynchronous Environments Technical Report 93-1328, Cornell Univ., Dept. of Computer Science, Feb. 1993.
[5] Y. Amir, L.E. Moser, P.M. Melliar-Smith, D.A. Agarwal, and P. Ciarfella, The Totem Single-Ring Ordering and Membership Protocol ACM Trans. Computer Systems, vol. 13, no. 4, pp. 311-342, 1995.
[6] P. Ezhilchelvan, R. Macedo, and S. Shrivastava, "Newtop: A Fault-Tolerant Group Communication Protocol," Proc. 15th Int'l Conf. Distributed Computing Systems, IEEE CS Press, Vancouver, BC, Canada, June 1995.
[7] L.E. Moser, P.M. Melliar-Smith, D.A. Agarwal, R.K. Budhia, and C.A. Lingley-Papadopoulos, Totem: A Fault-Tolerant Multicast Group Communication System Comm. ACM, vol. 39, no. 4, pp. 54-63, 1996.
[8] R. van Renesse, K.P. Birman, and S. Maffeis, Horus, a Flexible Group Communication System Comm. ACM, pp. 76-83, Apr. 1996.
[9] R. Prakash and R. Baldoni, Architecture for Group Communication in Mobile Systems Proc. IEEE Symp. Reliable Distributed Systems (SRDS), pp. 235-242 Oct. 1998
[10] O. Babaoglun, R. Davoli, and A. Montresor, Group Communication in Partitionable Systems: Specification and Algorithms IEEE Trans. Software Eng., vol. 27, no. 4, pp. 308-336 Apr. 2001.
[11] G. Chockler, I. Keidar, and R. Vitenberg, Group Communication Specifications: A Comprehensive Study ACM Computing Survey, vol. 33, no. 4, pp. 427-469, Dec. 2001.
[12] European Transport Safety Council, Intelligent Transportation Systems and Road Safety, Brussels, 1999.
[13] ITS, Problem Area Descriptions, Motor Vehicle Crashes Data Analysis and IVI Program Emphasis USDOT and ITS Joint Program, Nov. 1999.
[14] P. Seiler, B. Song, and J.K. Hedrick, Development of a Collision Avoidance System Proc. SAE Conf. Proc., pp. 97-103, 1998.
[15] Q. Huang, R. Miller, P. McNeille, D. Dimeo, and G.-C. Roman, Development of a Peer-to-Peer Collision Warning System Ford Techincal J., vol. 5, no. 2, Mar. 2002.
[16] Z. Yang, T. Kobayashi, and T. Katayama, Development of an Intersection Collision Warning System Using DGPS Intelligent Vehicle Systems (SP-1538), SAE World Congress, Detroit, Michigan, Mar. 2000.
[17] S. Hetrick, Examination of Driver Lane Change Behavior and The Potential Effectiveness of Warning Onset Rules for Lane Change Or Side Crash Avoidance Systems M.S. thesis, Virginia Polytechnic Inst. and State Univ., Mar. 1997.
[18] A. Fekete, N. Lynch, and A. Shvartsman, Specifying and Using a Partitionable Group Communication Service ACM Trans. Computer Systems, vol. 19, no. 2, pp. 171-216, 2001.
[19] E. Anceaume, B. Charron-Bost, P. Minet, and S. Toueg, On the Formal Specification of Group Membership Services Technical Report 95-1534, INRIA, France, 1995.
[20] D. Dolev, D. Malki, and R. Strong, A Framework for Partitionable Membership Service Proc. 15th ACM Symp. Principles of Distributed Computing, May 1996.
[21] D. Dolev, D. Malki, and R. Strong, An Asynchronous Membership Protocol that Tolerates Partitions Technical Report 94-6, Inst. of Computer Science, The Hebrew Univ. of Jerusalem, 1994.
[22] M.J. Fischer, N.A. Lynch, and M.S. Paterson, Impossibility of Distributed Consensus with One Faulty Process J. ACM, vol. 32, no. 2, pp. 374-382, 1985.
[23] T.D. Chandra, V. Hadzilacos, S. Toueg, and B. Charron-Bost, On the Impossibility of Group Membership Proc. 15th Ann. ACM Symp. Principles of Distributed Computing (PODC '96), pp. 322-330, 1996.
[24] F. Cristian and C. Fetzer, The Timed Asynchronous System Model Technical Report CS-97519, Univ. of California, San Diego, Jan. 1997.
[25] A. Murphy, G. Pietro Picco, and G. Roman, LIME: A Middleware for Logical and Physical Mobility, Proc. 21th Int'l Conf. Distributed Computing Systems, Apr. 2001.
[26] A.L. Murphy, G.P. Picco, and G.-C. Roman, Lime: A Coordination Middleware Supporting Mobility of Agents and Hosts Technical Report WUCSE-03-21, Washington Univ., Dept. of Computer Science and Eng., St Louis, 2003.
[27] F. Cristian, Synchronous and Asynchronous Group Communication Comm. ACM, vol. 39, no. 4, pp. 88-97, 1996.
[28] G.P. Picco, A.L. Murphy, and G.-C. Roman, Lime: Linda Meets Mobility Proc. 21st Int'l Conf. Software Eng. (ICSE), pp. 368-377, May 1999.
[29] F. Cristian, "Group, Majority, and Strict Agreement in Timed Asynchronous Distributed Systems," Proc. 26th Int'l Symp. Fault-Tolerant Computing, June 1996.
[30] J. Gao, L. Guibas, J. Hershberger, L. Zhang, and A. Zhu, Geometric Spanner for Routing in Mobile Networks Proc. ACM Int'l Symp. Mobile Ad Hoc Networking and Computing (MobiHoc), pp. 45-55, 2001.
[31] F. Kuhn, R. Wattenhofer, Y. Zhang, and A. Zollinger, Geometric Ad-Hoc Routing: Of Theory and Practice Proc. 22nd ACM Int'l Symp. Principles of Distributed Computing (PODC), 2003.
[32] G.-C. Roman, Q. Huang, and A. Hazemi, Consistent Group Membership in Ad Hoc Networks Proc. 23rd Int'l Conf. Software Eng. (ICSE), May 2001.

Index Terms:
Mobility, ad hoc network, group membership, consistency.
Qingfeng Huang, Christine Julien, Gruia-Catalin Roman, "Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks," IEEE Transactions on Mobile Computing, vol. 3, no. 2, pp. 192-205, April 2004, doi:10.1109/TMC.2004.14
Usage of this product signifies your acceptance of the Terms of Use.