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.
The authors of REF introduced a logical connectivity algorithm, in which a strong partitionable group with safe distance can guarantee the prevention of the occurrence of unannounced disconnection of ad hoc applications, to have a consistent application view among mobile ad hoc nodes.
Relying on safe distance to achieve strong partitionable group membership in ad hoc networks
IEEE Transactions on Mobile Computing
IEEE Transactions on Mobile Computing
Computer Science