Declarative Policy-Based Adaptive Mobile Ad Hoc Networking

This paper presents DAWN, a declarative platform that creates highly adaptive policy-based mobile ad hoc network (MANET) protocols. DAWN leverages declarative networking techniques to achieve extensible routing and forwarding using declarative languages. We make the following contributions. First, we demonstrate that traditional MANET protocols can be expressed in a concise fashion as declarative networks and policy-driven adaptation can be specified in the same language to dictate the dynamic selection of different protocols based on various network and traffic conditions. Second, we propose interprotocol forwarding techniques that ensure packets are able to seamlessly traverse across clusters of nodes running different protocols selected based on their respective policies. Third, we have developed a full-fledged implementation of DAWN using the RapidNet declarative networking system. We experimentally validate a variety of policy-based adaptive MANETs in various dynamic settings using a combination of ns-3 simulations and deployment on the ORBIT testbed. Our experimental results demonstrate that hybrid protocols developed using DAWN outperform traditional MANET routing protocols and are able to flexibly and dynamically adapt their routing mechanisms to achieve a good tradeoff between bandwidth utilization and route quality. We further demonstrate DAWN's capabilities to achieve interprotocol forwarding across different protocols.

[1]  Prithwish Basu,et al.  Formally Verifiable Networking , 2009, HotNets.

[2]  Ram Ramanathan,et al.  Tracking Highly Mobile Endpoints , 2001, WOWMOM '01.

[3]  Ion Stoica,et al.  Implementing declarative overlays , 2005, SOSP '05.

[4]  Jeffrey D. Ullman,et al.  A survey of deductive database systems , 1995, J. Log. Program..

[5]  Jonathan M. Smith,et al.  MOSAIC: unified declarative platform for dynamic overlay composition , 2008, CoNEXT '08.

[6]  Zygmunt J. Haas,et al.  A new routing protocol for the reconfigurable wireless networks , 1997, Proceedings of ICUPC 97 - 6th International Conference on Universal Personal Communications.

[7]  Boon Thau Loo,et al.  An Open-Source and Declarative Approach Towards Teaching Large-Scale Networked Systems Programming , 2011 .

[8]  Insup Lee,et al.  DMaC: Distributed Monitoring and Checking , 2009, RV.

[9]  Ion Stoica,et al.  Declarative routing: extensible routing with declarative queries , 2005, SIGCOMM '05.

[10]  Eddie Kohler,et al.  The Click modular router , 1999, SOSP.

[11]  Xiaozhou Li,et al.  Declarative policy-based adaptive MANET routing , 2009, 2009 17th IEEE International Conference on Network Protocols.

[12]  Xiaozhou Li,et al.  A policy-based constraint-solving platform towards extensible wireless channel selection and routing , 2010, PRESTO '10.

[13]  Boon Thau Loo,et al.  Declarative Toolkit for Rapid Network Protocol Simulation and Experimentation , 2009 .

[14]  David A. Maltz,et al.  Dynamic Source Routing in Ad Hoc Wireless Networks , 1994, Mobidata.

[15]  Jörg Ott,et al.  Integrating DTN and MANET routing , 2006, CHANTS '06.

[16]  Philip Levis,et al.  The design and implementation of a declarative sensor network system , 2007, SenSys '07.

[17]  Jeffrey D. Ullman,et al.  A Survey of Research in Deductive Database Systems , 1995 .

[18]  Mario Joa-Ng,et al.  A peer-to-peer zone-based two-level link state routing for mobile ad hoc networks , 1999, IEEE J. Sel. Areas Commun..

[19]  Philippe Jacquet,et al.  Optimized Link State Routing Protocol (OLSR) , 2003, RFC.

[20]  Ram Ramanathan,et al.  The SPINDLE Disruption-Tolerant Networking System , 2007, MILCOM 2007 - IEEE Military Communications Conference.

[21]  Jon Crowcroft,et al.  Inter-domain routing for mobile ad hoc networks , 2008, MobiArch '08.

[22]  Charles E. Perkins,et al.  Ad-hoc on-demand distance vector routing , 1999, Proceedings WMCSA'99. Second IEEE Workshop on Mobile Computing Systems and Applications.

[23]  Prithwish Basu,et al.  A declarative perspective on adaptive manet routing , 2008, PRESTO '08.

[24]  Richard E. Hansen,et al.  Prioritized epidemic routing for opportunistic networks , 2007, MobiOpp '07.

[25]  Joseph M. Hellerstein,et al.  Boom analytics: exploring data-centric, declarative programming for the cloud , 2010, EuroSys '10.

[26]  Emin Gün Sirer,et al.  SHARP: a hybrid adaptive routing protocol for mobile ad hoc networks , 2003, MobiHoc '03.

[27]  Anders Lindgren,et al.  Probabilistic routing in intermittently connected networks , 2003, MOCO.

[28]  Jonathan M. Smith,et al.  MOSAIC: Unified Platform for Dynamic Overlay Selection and Composition , 2008 .

[29]  Xiaozhou Li,et al.  RapidMesh: declarative toolkit for rapid experimentation of wireless mesh networks , 2009, WINTECH '09.

[30]  Atul Singh,et al.  BFT Protocols Under Fire , 2008, NSDI.

[31]  Amin Vahdat,et al.  Epidemic Routing for Partially-Connected Ad Hoc Networks , 2009 .

[32]  Ram Ramanathan,et al.  Making link-state routing scale for ad hoc networks , 2001, MobiHoc '01.

[33]  Xiaozhou Li,et al.  Efficient querying and maintenance of network provenance at internet-scale , 2010, SIGMOD Conference.

[34]  Communism,et al.  University of Pennsylvania , 1847, Medical History.

[35]  Limin Jia,et al.  Maintaining distributed logic programs incrementally , 2011, Comput. Lang. Syst. Struct..

[36]  Dominic M. Dousa THE UNIVERSITY OF TEXAS AT EL PASO , 2004 .

[37]  Prithwish Basu,et al.  Declarative Network Verification , 2009, PADL.

[38]  Yuming Jiang,et al.  A Threshold-based Hybrid Routing Protocol for MANET , 2007, 2007 4th International Symposium on Wireless Communication Systems.