Log-logarithmic selection resolution protocols in a multiple access channel
SIAM Journal on Computing
Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
Increasing the resilience of atomic commit, at no additional cost
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Computer Systems (TOCS)
The Cricket location-support system
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Robust position-based routing in wireless Ad Hoc networks with unstable transmission ranges
DIALM '01 Proceedings of the 5th international workshop on Discrete algorithms and methods for mobile computing and communications
Practical byzantine fault tolerance and proactive recovery
ACM Transactions on Computer Systems (TOCS)
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
Uniform Leader Election Protocols in Radio Networks
ICPP '02 Proceedings of the 2001 International Conference on Parallel Processing
How to Build a Highly Available System Using Consensus
WDAG '96 Proceedings of the 10th International Workshop on Distributed Algorithms
Software transactional memory for dynamic-sized data structures
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Hood: a neighborhood abstraction for sensor networks
Proceedings of the 2nd international conference on Mobile systems, applications, and services
Versatile low power media access for wireless sensor networks
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast
ICDCSW '05 Proceedings of the Fourth International Workshop on Assurance in Distributed Systems and Networks (ADSN) (ICDCSW'05) - Volume 01
Consensus and collision detectors in wireless Ad Hoc networks
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Autonomous virtual mobile nodes
Proceedings of the seventeenth annual ACM symposium on Parallelism in algorithms and architectures
Continuous consensus via common knowledge
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Building up to macroprogramming: an intermediate language for sensor networks
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
GeoQuorums: implementing atomic memory in mobile ad hoc networks
Distributed Computing - Special issue: DISC 03
Programming sensor networks using abstract regions
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
A Virtual Node-Based Tracking Algorithm for Mobile Networks
ICDCS '07 Proceedings of the 27th International Conference on Distributed Computing Systems
Abortable and query-abortable objects and their efficient implementation
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
The virtual node layer: a programming abstraction for wireless sensor networks
ACM SIGBED Review - Special issue on the workshop on wireless sensor network architecture (April-2007)
Virtual infrastructure for wireless ad hoc networks
Virtual infrastructure for wireless ad hoc networks
Virtual stationary timed automata for mobile networks
Virtual stationary timed automata for mobile networks
Self-stabilization and virtual node layer emulations
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Continuous consensus with ambiguous failures
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
Self-stabilizing mobile node location management and message routing
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Long live continuous consensus
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Self-stabilizing Mobile Robot Formations with Virtual Nodes
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Self-stabilizing robot formations over unreliable networks
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
| Hi-index | 0.00 |
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.