Virtual Infrastructure for collision-prone wireless networks

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 2008, Pages 233-242

  Chockler, Gregory ^a   Gilbert, Seth ^b   Lynch, Nancy ^c  

^a IBM RESEARCH   (United States)

^b EPFLIC ^*

^c MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Fault tolerance; Mobile ad hoc networks

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANCE;

COMMUNICATION ROUNDS; CRASH FAILURES; NEW PROTOCOL; VIRTUAL INFRASTRUCTURES;

MOBILE AD HOC NETWORKS;

EID: 57549112955     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1400751.1400783     Document Type: Conference Paper

References (47)

1. M. Aguilera, S. Frøhmd, V. Hadzilacos, S. L. Horn. S. Toueg. Abortable and query-abortable objects and their efficient implementation. In PODC, 2007.
2. Lali Barrière, Pierre Fraigniaud and Lata Narayanan. Robust position-based routing in wireless Ad Hoc networks with unstable transmission ranges. In DIAL-M, 2001.
3. M. D. Brown. Air traffic control using virtual stationary automata. Master's thesis, MIT, Sept. 2007.
4. M. Brown, S. Gilbert, N. A. Lynch, C. Newport, T. Nolte, and M. Spindel. The virtual node layer: A programming abstraction for wireless sensor networks. In WSNA, April 2007.
5. C. Busch, M. Magdon-Ismail, F. Sivrikaya, and B. Yener. Contention-free mac protocols for wireless sensor networks. In DISC, Oct. 2004.
6. M. Castro and B. Liskov. Practical byzantine fault tolerance and proactive recovery. ACM TOCS, 20 (4): 398-461, 2002.
7. G. Chockler, M. Demirbas, S. Gilbert, N. Lynch, C. Newport, and T. Nolte. Reconciling the theory and practice of unreliable wireless broadcast. In Workshop on Assurance in Distributed Systems and Networks, 2005.
8. G. Chockler, M. Demirbas, S. Gilbert, C. Newport, and T. Nolte. Consensus and collision detectors in wireless ad hoc networks. In PODC, 2005.
9. G. Chockler, M. Demirbas, S. Gilbert, N. Lynch, C. Newport, and T. Nolte. Consensus and collision detectors in radio networks. Distributed Computing, 21(1):55-84, June 2008.
10. J. Deng, P. K. Varshney, and Z. J. Haas. A new backoff algorithm for the IEEE 802.11 distributed coordination function. In Communication Networks and Distributed Systems Modeling and Simulation, Jan. 2004.
11. S. Dolev, S. Gilbert, L. Lahiani, N. A. Lynch, and T. Nolte. Virtual stationary automata for mobile networks. In OPODIS, 2005.
12. S. Dolev, S. Gilbert, N. A. Lynch, E. Schiller, A. A. Shvartsman, and Jennifer L. Welch. Virtual mobile nodes for mobile ad hoc networks. In DISC, Oct. 2004.
13. S. Dolev, S. Gilbert, N. A. Lynch, Alex A. Shvartsman, and Jennifer Welch. Geoquorums: Implementing atomic memory in mobile ad hoc networks. In DISC, Oct. 2003.
14. S. Dolev, S. Gilbert, N. A. Lynch, A. A. Shvartsman, and J. Welch. Geoquorums: Implementing atomic memory in mobile ad hoc networks. Distributed Computing, 18(2):125-155, Nov. 2005.
15. S. Dolev, S. Gilbert, E. Schiller, A. A. Shvartsman, and J. L. Welch. Autonomous virtual mobile nodes. In DIALM-POMC, 2005.
16. S. Dolev, L. Lahiani, N. A. Lynch, and T. Nolte. Self-stabilizing mobile node location management and message routing. In SSS, Oct. 2005.
17. R. Droms and C. Newport. Virtual infrastructure routing for mobile ad hoc networks. Manuscript, 2007.
18. R. Gallager. A perspective on multiaccess channels. IEEE Trans. Information Theory, IT-31:124-142, 1985.
19. S. Gilbert. Virtual Infrastructure for Wireless Ad Hoc Networks. PhD thesis, MIT, 2007.
20. M. Herlihy, V. Luchangco, M. Moir, and W. N. Scherer III. Software transactional memory for dynamic-sized data structures. In PODC, 2003.
21. T. Herman and S. Tixeuil. A distributed TDMA slot assignment algorithm for wireless sensor networks. In Workshop on Algorithmic Aspects of Wireless Sensor Networks, 2004.
22. I. Keidar and D. Dolev. Increasing the resilience of atomic commit at no additional cost. In PODS, 1995.
23. I. Keidar and D. Dolev. Broadcast in the face of network partitions: Exploiting group communication for replication in partitionable networks. D. Avresky, ed., Dependable Network Computing, chapter 3. Kluwer Academic Publications, 2000.
24. L. Lamport. Time, clocks, and the ordering of events in a distributed system. C. of the ACM, 21(7):558-565, 1978.
25. L. Lamport. The part-time parliament. A CM Transactions on Computer Systems, 16(2): 133-169, 1998.
26. B. W. Lampson. How to build a highly available system using consensus. In WDAG, 1996.
27. N. A. Lynch, S. Mitra, and T. Nolte. Motion coordination using virtual nodes. In CDC, Dec. 2005.
28. Tal Mizrahi and Yoram Moses. Continuous consensus via common knowledge. In TARK'05, 2005.
29. Tal Mizrahi and Yoram Moses. Long Live Continuous Consensus. In DISC, 2007.
30. Tal Mizrahi and Yoram Moses. Continuous Consensus with Ambiguous Failures. In ICDCN, 2008.
31. K. Nakano and S. Olariu. Uniform leader election protocols in radio networks. In ICPP, 2001.
32. K. Nakano and S. Olariu. A survey on leader election protocols for radio networks. In I-SPAN, 2002.
33. R. Newton, Arvind, and M. Welsh. Building up to macroprogramming: An intermediate language for sensor networks. In IPSN, 2005.
34. Tina Nolte. Virtual Stationary Timed Automata for Mobile Networks. PhD thesis, MIT, To appear: 2008.
35. T. Nolte and N. A. Lynch. Self-stabilization and virtual node layer emulations. In SSS, Nov. 2007.
36. T. Nolte and N. A. Lynch. A virtual node-based tracking algorithm for mobile networks. In ICDCS, June 2007.
37. J. Polastre and D. Culler. Versatile low power media access for wireless sensor networks. In ENSS, 2004.
38. N. B. Priyantha, A. Chakraborty, and H. Balakrishnan. The cricket location-support system. In MobiCom, Aug. 2000.
39. F. B. Schneider. Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Computing Surveys, 22(4):299-319, 1990.
40. M. Spindel. Simulation and evaluation of the virtual node layer. Master's thesis, MIT, June 2008.
41. D. Skeen. Nonblocking commit protocols. In SIGMOD, pages 133-142, 1981.
42. D. Skeen. A quorum-based commit protocol. In Berkeley Workshop, 1982.
43. M. Welsh and G. Mainland. Programming sensor networks using abstract regions. In NSDI, 2004.
44. K. Whitehouse, C. Sharp, E. Brewer, and D. Culler. Hood: a neighborhood abstraction for sensor networks. In Mobile systems, applications, and services, 2004.
45. D. E. Willard. Log-logarithmic selection resolution protocols in a multiple access channel. SIAM Journal of Computing, 15(2):468-477, 1986.
46. A. Woo, K. Whitehouse, F. Jiang, J. Polastre, and D. Culler. The shadowing phenomenon: implications of receiving during a collision. Technical Report UCB//CSD-04-1313, UC Berkeley, March 2004.
47. J. Wu. Title pending. PhD thesis, CUNY, To appear: 2008.