Virtual infrastructure for collision-prone wireless networks

Wireless ad hoc networks pose several significant challenges: devices are unreliable; deployments are unpredictable; and communication is erratic. One proposed solution is Virtual Infrastructure, an abstraction in which unpredictable and unreliable devices are used to emulate reliable and predictable infrastructure. In this paper, we present a new protocol for emulating virtual infrastructure in collision-prone wireless networks. At the heart of our emulation is a convergent history agreement protocol that tolerates lost messages and crash failures. It is designed specifically for ad hoc deployments, for example, the set of participants a priori unknown. The convergent history agreement protocol is quite efficient, as each agreement instance completes in a constant number of communication rounds, and the size of the messages is constant, independent of the length of the execution. Building on the convergent history agreement protocol, our virtual infrastructure emulation introduces only constant overhead per virtual round emulated. We believe that the techniques developed in this paper help to bring virtual infrastructure one step closer to a reality.

[1]  David E. Culler,et al.  The Shadowing Phenomenon: implications of receiving during a collision , 2004 .

[2]  Dale Skeen,et al.  Nonblocking commit protocols , 1981, SIGMOD '81.

[3]  Dale Skeen,et al.  A Quorum-Based Commit Protocol , 1982, Berkeley Workshop.

[4]  Tal Mizrahi,et al.  Continuous consensus with ambiguous failures , 2008, Theor. Comput. Sci..

[5]  Nancy A. Lynch,et al.  Self-stabilizing Mobile Node Location Management and Message Routing , 2005, Self-Stabilizing Systems.

[6]  Fikret Sivrikaya,et al.  Contention-Free MAC Protocols for Wireless Sensor Networks , 2004, DISC.

[7]  Pramod K. Varshney,et al.  A New Backoff Algorithm for the IEEE 802.11 Distributed Coordination Function , 2004 .

[8]  Mike Spindel,et al.  Simulation and evaluation of the reactive virtual node layer , 2008 .

[9]  Nancy A. Lynch,et al.  GeoQuorums: implementing atomic memory in mobile ad hoc networks , 2003, Distributed Computing.

[10]  Idit Keidar.  TOTALLYORDERED BROADCAST IN THE FACE OF NETWORK PARTITIONS Exploiting Group Communication for Replication in Partitionable Networks , 1999 .

[11]  Nancy A. Lynch,et al.  Self-stabilization and Virtual Node Layer Emulations , 2007, SSS.

[12]  Butler W. Lampson,et al.  How to Build a Highly Available System Using Consensus , 1996, WDAG.

[13]  Maurice Herlihy,et al.  Software transactional memory for dynamic-sized data structures , 2003, PODC '03.

[14]  Murat Demirbas,et al.  Consensus and collision detectors in wireless Ad Hoc networks , 2005, PODC '05.

[15]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[16]  Stephan Olariu,et al.  Uniform Leader Election Protocols in Radio Networks , 2001, ICPP.

[17]  Nancy A. Lynch,et al.  A Virtual Node-Based Tracking Algorithm for Mobile Networks , 2007, 27th International Conference on Distributed Computing Systems (ICDCS '07).

[18]  Ryan Newton,et al.  Building up to macroprogramming: an intermediate language for sensor networks , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[19]  Tina Nolte.  Virtual stationary timed automata for mobile networks , 2009 .

[20]  Nancy A. Lynch,et al.  Virtual Mobile Nodes for Mobile Ad Hoc Networks , 2004, DISC.

[21]  Robert G. Gallager,et al.  A perspective on multiaccess channels , 1984, IEEE Trans. Inf. Theory.

[22]  Nancy A. Lynch,et al.  Consensus and collision detectors in radio networks , 2008, Distributed Computing.

[23]  Lali Barrière,et al.  Robust position-based routing in wireless Ad Hoc networks with unstable transmission ranges , 2001, DIALM '01.

[24]  Matt Welsh,et al.  Programming Sensor Networks Using Abstract Regions , 2004, NSDI.

[25]  Miguel Castro,et al.  Practical byzantine fault tolerance and proactive recovery , 2002, TOCS.

[26]  Nancy A. Lynch,et al.  Virtual Stationary Automata for Mobile Networks , 2005 .

[27]  Hari Balakrishnan,et al.  6th ACM/IEEE International Conference on on Mobile Computing and Networking (ACM MOBICOM ’00) The Cricket Location-Support System , 2022 .

[28]  Seth Gilbert,et al.  Virtual infrastructure for wireless ad hoc networks , 2007 .

[29]  Tal Mizrahi,et al.  Long Live Continuous Consensus , 2007, DISC.

[30]  David E. Culler,et al.  Versatile low power media access for wireless sensor networks , 2004, SenSys '04.

[31]  David E. Culler,et al.  Hood: a neighborhood abstraction for sensor networks , 2004, MobiSys '04.

[32]  Leslie Lamport,et al.  The part-time parliament , 1998, TOCS.

[33]  Stephan Olariu,et al.  A survey on leader election protocols for radio networks , 2002, Proceedings International Symposium on Parallel Architectures, Algorithms and Networks. I-SPAN'02.

[34]  Dan E. Willard,et al.  Log-Logarithmic Selection Resolution Protocols in a Multiple Access Channel , 1986, SIAM J. Comput..

[35]  Tal Mizrahi,et al.  Continuous consensus via common knowledge , 2005, Distributed Computing.

[36]  Idit Keidar,et al.  Increasing the resilience of atomic commit, at no additional cost , 1995, PODS '95.

[37]  Marcos K. Aguilera,et al.  Abortable and query-abortable objects and their efficient implementation , 2007, PODC '07.

[38]  N. Lynch,et al.  Motion Coordination using Virtual Nodes , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[39]  Nancy A. Lynch,et al.  Reconciling the theory and practice of (un)reliable wireless broadcast , 2005, 25th IEEE International Conference on Distributed Computing Systems Workshops.

[40]  Nancy A. Lynch,et al.  The virtual node layer: a programming abstraction for wireless sensor networks , 2007, SIGBED.

[41]  Fred B. Schneider,et al.  Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.

[42]  Sébastien Tixeuil,et al.  A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks , 2004, ALGOSENSORS.

[43]  Jennifer L. Welch,et al.  Autonomous virtual mobile nodes , 2005, DIALM-POMC '05.