Declarative Policy-Based Adaptive Mobile Ad Hoc Networking

Abstract

This paper presents DAWN, a declarative platform that creates highly adaptive policy-based 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 inter-protocol 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 fullfledged 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 inter-protocol forwarding across different protocols. Disciplines Computer SciencesComments Liu, C., Correa, R., Li, X., Basu, P., Loo, B., & Mao, Y., Declarative Policy-Based Adaptive Mobile Ad Hoc Networking, IEEE/ACM Transactions on Networking, 2011 © 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. Abstract-This paper presents DAWN, a declarative platform that creates highly adaptive policy-based 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 inter-protocol 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 fullfledged 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 ...

Robust Consistency Checking for Modern Filesystems

“…Datalog and its variants are popular in the field of networking for specifying routing policies [21,23,22,19]. DAWN [19] is a platform for creating adaptive policy-based routing protocols for mobile ad-hoc networks.…”

“…DAWN [19] is a platform for creating adaptive policy-based routing protocols for mobile ad-hoc networks. Liu et al demonstrates the protocol can be expressed concisely by writing the policies declaratively in a variant of Datalog named NDLog.…”

Recent Advances in Declarative Networking

“…In the extreme case, event predicates form transient tables which are used as input to rules but are not stored. To support wireless broadcast [24,37], we have introduced a broadcast location specifier denoted by @* which causes a tuple to be broadcast to all nodes within wireless range of the node on which the rule is executed. In order to support network functionality composition and code reuse, we introduced Composable Virtual Views [33], which define rule groups that perform a specific functionality when executed together.…”

“…We highlight two use cases to which we have applied our platform: 6.1 Use Cases: PUMA and COPE First, we have developed the Policy-based Unified Multi-radio Architecture (PUMA), a declarative constraint solving platform for optimizing wireless mesh networks. In PUMA, network operators can flexibly vary the choice of routing via adaptable hybrid routing protocols [24]. The hybrid technique combines several existing protocols (e.g., proactive, reactive, and epidemic) with specific criteria for determining when particular protocols are to be used.…”

“…As evidence of its widespread applicability, declarative techniques have been used in several domains including fault tolerance protocols [52], cloud computing [4], sensor networks [11], overlay network compositions [33], anonymity systems [51], mobile ad-hoc networks [37,24], wireless channel selection [23], network configuration management [10], and as a basis for course projects in a distributed systems class [14] at the University of Pennsylvania. An open-source declarative networking system called RapidNet [3] has also been integrated with the emerging ns-3 [40] simulator, demonstrated at SIGCOMM'09 [38], and successfully deployed on testbeds such as PlanetLab [44] and ORBIT [42].…”