MOSAIC: unified declarative platform for dynamic overlay composition

ABSTRACT

Overlay networks create new networking services across nodes that communicate using pre-existing networks. MOSAIC is a unified declarative platform for constructing new overlay networks from multiple existing overlays, each possessing a subset of the desired new network's characteristics. MOSAIC overlays are specified using Mozlog, a new declarative language for expressing overlay properties independently from their particular implementation or underlying network.

This paper focuses on the runtime aspects of MOSAIC: composition and deployment of control and/or data plane functions of different overlay networks, dynamic compositions of overlay networks to meet changing application needs and network conditions, and seamless support for legacy applications. MOSAIC is validated experimentally using compositions specified in Mozlog: we combine an indirection overlay that supports mobility (i3), a resilient overlay (RON), and scalable lookups (Chord), to provide new overlay networks with new functions. MOSAIC uses runtime composition to simultaneously deliver application-aware mobility, NAT traversal and reliability. We further demonstrate MOSAIC'S dynamic composition capabilities by Chord switching its underlay from IP to RON at runtime. These benefits are obtained at a low performance cost, as demonstrated by measurements on both a local cluster and PlanetLab.

REFERENCES

• 1: David Andersen , Hari Balakrishnan , Frans Kaashoek , Robert Morris, Resilient overlay networks, Proceedings of the eighteenth ACM symposium on Operating systems principles, October 21-24, 2001, Banff, Alberta, Canada
• 2: Hari Balakrishnan , M. Frans Kaashoek , David Karger , Robert Morris , Ion Stoica, Looking up data in P2P systems, Communications of the ACM, v.46 n.2, February 2003 [doi>10.1145/606272.606299]
• 3: Hari Balakrishnan , Karthik Lakshminarayanan , Sylvia Ratnasamy , Scott Shenker , Ion Stoica , Michael Walfish, A layered naming architecture for the internet, Proceedings of the 2004 conference on Applications, technologies, architectures, and protocols for computer communications, August 30-September 03, 2004, Portland, Oregon, USA
• 4: Hitesh Ballani , Paul Francis, CONMan: a step towards network manageability, Proceedings of the 2007 conference on Applications, technologies, architectures, and protocols for computer communications, August 27-31, 2007, Kyoto, Japan
• 5: David D. Clark , Craig Partridge , J. Christopher Ramming , John T. Wroclawski, A knowledge plane for the internet, Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications, August 25-29, 2003, Karlsruhe, Germany [doi>10.1145/863955.863957]
• 6: Jon Crowcroft , Steven Hand , Richard Mortier , Timothy Roscoe , Andrew Warfield, Plutarch: an argument for network pluralism, Proceedings of the ACM SIGCOMM workshop on Future directions in network architecture, August 25-27, 2003, Karlsruhe, Germany
• 7: John R. Douceur , Jon Howell, Distributed directory service in the Farsite file system, Proceedings of the 7th symposium on Operating systems design and implementation, November 06-08, 2006, Seattle, Washington
• 8: Michael J. Freedman , Karthik Lakshminarayanan , David Mazières, OASIS: anycast for any service, Proceedings of the 3rd conference on Networked Systems Design & Implementation, p.10-10, May 08-10, 2006, San Jose, CA
• 9: Michael J. Freedman , Karthik Lakshminarayanan , Sean Rhea , Ion Stoica, Non-transitive connectivity and DHTs, Proceedings of the 2nd conference on Real, Large Distributed Systems, p.55-60, December 13, 2005, San Francisco, CA
• 10: Krishna P. Gummadi , Harsha V. Madhyastha , Steven D. Gribble , Henry M. Levy , David Wetherall, Improving the reliability of internet paths with one-hop source routing, Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation, p.13-13, December 06-08, 2004, San Francisco, CA
• 11: Dilip Joseph , Jayanth Kannan , Ayumu Kubota , Karthik Lakshminarayanan , Ion Stoica , Klaus Wehrle, OCALA: an architecture for supporting legacy applications over overlays, Proceedings of the 3rd conference on Networked Systems Design & Implementation, p.20-20, May 08-10, 2006, San Jose, CA
• 12: Dina Katabi , John Wroclawski, A framework for scalable global IP-anycast (GIA), Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, p.3-15, August 28-September 01, 2000, Stockholm, Sweden
• 13: Angelos D. Keromytis , Vishal Misra , Dan Rubenstein, SOS: secure overlay services, Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications, August 19-23, 2002, Pittsburgh, Pennsylvania, USA
• 14: Eddie Kohler , Robert Morris , Benjie Chen , John Jannotti , M. Frans Kaashoek, The click modular router, ACM Transactions on Computer Systems (TOCS), v.18 n.3, p.263-297, Aug. 2000 [doi>10.1145/354871.354874]
• 15: Y. Li, Y. Zhang, L. Qiu, and S. S. Lam. SmartTunnel: Achieving reliability in the internet. In INFOCOM, 2007.
• 16: Boon Thau Loo , Tyson Condie , Joseph M. Hellerstein , Petros Maniatis , Timothy Roscoe , Ion Stoica, Implementing declarative overlays, Proceedings of the twentieth ACM symposium on Operating systems principles, October 23-26, 2005, Brighton, United Kingdom
• 17: Boon Thau Loo , Joseph M. Hellerstein , Ion Stoica , Raghu Ramakrishnan, Declarative routing: extensible routing with declarative queries, Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications, August 22-26, 2005, Philadelphia, Pennsylvania, USA
• 18: Harsha Madhyastha , Tomas Isdal , Michael Piatek , Colin Dixon , Thomas Anderson , Arvind Krishnamurthy , Arun Venkataramani, iPlane: an information plane for distributed services, Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation, p.26-26, November 06-08, 2006, Seattle, WA
• 19: Harsha V. Madhyastha , Arun Venkataramani , Arvind Krishnamurthy , Thomas Anderson, Oasis: an overlay-aware network stack, ACM SIGOPS Operating Systems Review, v.40 n.1, January 2006 [doi>10.1145/1113361.1113371]
• 20: Y. Mao, B. Knutsson, H. Lu, and J. M. Smith. DHARMA: Distributed Home Agent for Robust Mobile Access. In IEEE INFOCOM, 2005.
• 21: Y. Mao, B. T. Loo, Z. Ives, and J. M. Smith. MOSAIC: Unified Platform for Dynamic Overlay Selection and Composition. University of Pennsylvania CIS Technical Report No. MS-CIS-08-21, 2008.
• 22: Akihiro Nakao , Larry Peterson , Andy Bavier, A routing underlay for overlay networks, Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications, August 25-29, 2003, Karlsruhe, Germany [doi>10.1145/863955.863958]
• 23: L. Peterson, S. Shenker, and J. Turner. Overcoming the Internet Impasse Through Virtualization. In HotNets-III, 2004.
• 24: PlanetLab. Global testbed. http://www.planet-lab.org/.
• 25: R. Ramakrishnan and J. D. Ullman. A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2): 125--149, 1993.
• 26: Sean Rhea , Brighten Godfrey , Brad Karp , John Kubiatowicz , Sylvia Ratnasamy , Scott Shenker , Ion Stoica , Harlan Yu, OpenDHT: a public DHT service and its uses, Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications, August 22-26, 2005, Philadelphia, Pennsylvania, USA
• 27: Adolfo Rodriguez , Charles Killian , Sooraj Bhat , Dejan Kostić , Amin Vahdat, MACEDON: methodology for automatically creating, evaluating, and designing overlay networks, Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation, p.20-20, March 29-31, 2004, San Francisco, California
• 28: Skype. Skype P2P Telephony. 2006. http://www.skype.com.
• 29: Ion Stoica , Daniel Adkins , Shelley Zhuang , Scott Shenker , Sonesh Surana, Internet indirection infrastructure, Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications, August 19-23, 2002, Pittsburgh, Pennsylvania, USA
• 30: A. Vahdat and D. Becker. Epidemic routing for partially-connected ad hoc networks. Duke Technical Report CS-2000-06, 2000.
• 31: J. T. Wroclawski. The Metanet. In Proc. Workshop on Research Directions for the Next Generation Internet, 1997.
• 32: J. Yonan. OpenVPN: Building and Integrating Virtual Private Networks. http://www.openvpn.net.
• 33: Ming Zhang , Junwen Lai , Arvind Krishnamurthy , Larry Peterson , Randolph Wang, A transport layer approach for improving end-to-end performance and robustness using redundant paths, Proceedings of the annual conference on USENIX Annual Technical Conference, p.8-8, June 27-July 02, 2004, Boston, MA
• 34: Shelley Zhuang , Kevin Lai , Ion Stoica , Randy Katz , Scott Shenker, Host Mobility Using an Internet Indirection Infrastructure, Proceedings of the 1st international conference on Mobile systems, applications and services, p.129-144, May 05-08, 2003, San Francisco, California [doi>10.1145/1066116.1189042]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.1 Network Architecture and Design

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.0 General
          Subjects: Data communications

General Terms:
Design, Experimentation, Measurement, Performance