column

On the declarativity of declarative networking

Author:

Yun MaoAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 43, Issue 4

Pages 19 - 24

https://doi.org/10.1145/1713254.1713260

Published: 27 January 2010 Publication History

Abstract

Initiated by the declarative networking project, rule-based declarative programming languages have gained increasing popularity in building complex networked systems across multiple application domains. This paper investigates the declarativity of those systems. First, by analyzing the language semantics, we classify rules into deductive rules and Event-Condition-Action (ECA) rules, and reveal their different levels of declarativities. Then, we use case studies to show that ECA rules that are less declarative are dominantly used in most of the proposed systems. As a result, the benefit of declarative programming is undermined. We identify the key factors that cause the low declarativity effect, and present our ongoing work towards addressing those challenges.

References

[1]

N. Belaramani, J. Zheng, A. Nayte, M. Dahlin, and R. Grimm. PADS: A Policy Architecture for building Distributed Storage systems. In Proceedings of the 6th Symposium on Networked Systems Design and Implementation (NSDI'09), Apr. 2009.

Digital Library

[2]

X. Chen, Y. Mao, Z.M. Mao, and J.E.V. der Merwe. DECOR: DEClarative network management and OpeRation. In Proceedings of the ACM SIGCOMM Workshop on Programmable Routers for Extensible Services of TOmorrow (PRESTO), 2009.

Digital Library

[3]

D. Chu, L. Popa, A. Tavakoli, J. Hellerstein, P. Levis, S. Shenker, and I. Stoica. The design and implementation of a declarative sensor network system. In Proceedings of the 5th ACM Conference on Embedded networked Sensor Systems (SenSys), Sydney, Australia, November 2007.

Digital Library

[4]

T. Condie, D. Chu, J.M. Hellerstein, and P. Maniatis. Evita Raced: Metacompilation for Declarative Networks. In Proceedings of Conference on Very Large Data Bases (VLDB), 2008.

Digital Library

[5]

C. Killian, J.W. Anderson, R. Braud, R. Jhala, and A. Vahdat. Mace: Language Support for Building Distributed Systems. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), San Diego, CA, June 2007.

Digital Library

[6]

C. Killian, J.W. Anderson, R. Jhala, and A. Vahdat. Life, Death, and the Critical Transition: Detecting Liveness Bugs in Systems Code. In Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI'07), Cambridge, MA, April 2007.

Digital Library

[7]

E. Kohler, R. Morris, B. Chen, J. Jannotti, and M.F. Kaashoek. The Click Modular Router. ACM Transactions on Computer Systems, 18(3):263--297, 2000.

Digital Library

[8]

C. Liu, Y. Mao, M. Oprea, P. Basu, and B.T. Loo. A declarative perspective on adaptive manet routing. In Proceedings of the ACM SIGCOMM Workshop on Programmable Routers for Extensible Services of TOmorrow (PRESTO), Seattle, WA, August 2008.

Digital Library

[9]

B.T. Loo. The Design and Implementation of Declarative Networks (Ph.D. Dissertation). Technical Report UCB/EECS-2006-177, University of California at Berkeley, 2006.

Digital Library

[10]

B.T. Loo, T. Condie, M. Garofalakis, D.E. Gay, J.M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica. Declarative Networking: Language, Execution and Optimization. In Proceedings of ACM SIGMOD International Conference on Management of Data, June 2006.

Digital Library

[11]

B.T. Loo, T. Condie, J.M. Hellerstein, P. Maniatis, T. Roscoe, and I. Stoica. Implementing Declarative Overlays. In Proceedings of ACM Symposium on Operating Systems Principles (SOSP), 2005.

Digital Library

[12]

B.T. Loo, J.M. Hellerstein, I. Stoica, and R. Ramakrishnan. Declarative Routing: Extensible Routing with Declarative Queries. In Proceedings of the ACM SIGCOMM Conference on Data Communication, Philadelphia, PA, 2005.

Digital Library

[13]

Y. Mao, B.T. Loo, Z.G. Ives, and J.M. Smith. MOSAIC: Unified Declarative Platform for Dynamic Overlay Composition. In Proceedings of the 4th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT), Madrid, Spain, Dec 2008.

Digital Library

[14]

J.A.N. Pérez and A. Rybalchenko. Operational semantics for declarative networking. In Proceedings of International Symposium on Practical Aspects of Declarative Languages (PADL), Jan. 2009.

Digital Library

[15]

R. Ramakrishnan and J. Gehrke. Database Management Systems. McGraw-Hill, third edition, 2002.

Digital Library

[16]

R. Ramakrishnan and J.D. Ullman. A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2):125--149, 1993.

[17]

P. Sewell, J.J. Leifer, K. Wansbrough, M. Allen-williams, P. Habouzit, and V. Vafeiadis. Acute: high-level programming language design for distributed computation. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP), pages 15--26, 2005.

Digital Library

[18]

A. Singh, T. Das, P. Maniatis, P. Druschel, and T. Roscoe. BFT Protocols Under Fire. In Proceedings of the 5th Symposium on Networked Systems Design and Implementation (NSDI'08), Apr 2008.

Digital Library

[19]

The Coral Project. http://www.cs.wisc.edu/coral/.

[20]

J. Widom. Deductive and active databases: Two paradigms or ends of a spectrum? In Proc. of 1st Workshop on Rules in Database Systems, pages 306--315, 1993.

[21]

W. Zhou, Y. Mao, B.T. Loo, and M. Abadi. Unified declarative platform for secure networked information systems. In Proceedings of IEEE Conference on Data Engineering (ICDE), pages 150--161, 2009.

Digital Library

Cited By

Alves SFernández M(2017)A graph-based framework for the analysis of access control policiesTheoretical Computer Science10.1016/j.tcs.2016.10.018685(3-22)Online publication date: Jul-2017
https://doi.org/10.1016/j.tcs.2016.10.018
Sherr MGill HSaeed TMao AMarczak WSoundararajan SZhou WLoo BBlaze M(2014)The design and implementation of the A3 application-aware anonymity platformComputer Networks: The International Journal of Computer and Telecommunications Networking10.1016/j.comnet.2013.09.02158(206-227)Online publication date: 1-Jan-2014
https://dl.acm.org/doi/10.1016/j.comnet.2013.09.021
MA JLE FWOOD DRUSSO ALOBO J(2013)A declarative approach to distributed computing: Specification, execution and analysisTheory and Practice of Logic Programming10.1017/S147106841300051313:4-5(815-830)Online publication date: 25-Sep-2013
https://doi.org/10.1017/S1471068413000513
Show More Cited By

Index Terms

On the declarativity of declarative networking
1. Information systems
  1. Data management systems
    1. Query languages
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Database theory
      1. Database query languages (principles)

Recommendations

Declarative networking
Scratch Programming for All

Declarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications. This paper provides an introduction to ...
Declarative Networking
Towards a declarative language and system for secure networking
NETB'07: Proceedings of the 3rd USENIX international workshop on Networking meets databases

In this paper, we present a declarative language and system for describing and implementing secure networks. Our proposed language, SeNDlog, is an attempt at unifying Binder, a logic-based language for access control in distributed systems, and Network ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGOPS Operating Systems Review

ACM SIGOPS Operating Systems Review Volume 43, Issue 4

January 2010

105 pages

ISSN:0163-5980

DOI:10.1145/1713254

Issue’s Table of Contents

Copyright © 2010 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 January 2010

Published in SIGOPS Volume 43, Issue 4

Check for updates

Qualifiers

Column

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
168
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Alves SFernández M(2017)A graph-based framework for the analysis of access control policiesTheoretical Computer Science10.1016/j.tcs.2016.10.018685(3-22)Online publication date: Jul-2017
https://doi.org/10.1016/j.tcs.2016.10.018
Sherr MGill HSaeed TMao AMarczak WSoundararajan SZhou WLoo BBlaze M(2014)The design and implementation of the A3 application-aware anonymity platformComputer Networks: The International Journal of Computer and Telecommunications Networking10.1016/j.comnet.2013.09.02158(206-227)Online publication date: 1-Jan-2014
https://dl.acm.org/doi/10.1016/j.comnet.2013.09.021
MA JLE FWOOD DRUSSO ALOBO J(2013)A declarative approach to distributed computing: Specification, execution and analysisTheory and Practice of Logic Programming10.1017/S147106841300051313:4-5(815-830)Online publication date: 25-Sep-2013
https://doi.org/10.1017/S1471068413000513
Loo BZhou W(2012)Declarative NetworkingSynthesis Lectures on Data Management10.2200/S00403ED1V01Y201202DTM0234:1(1-129)Online publication date: 31-Jan-2012
https://doi.org/10.2200/S00403ED1V01Y201202DTM023
Ahmad-Kassem ABobineau CCollet CDublé EGrumbach SMa FMartinez LUbéda SDesai BPokorny JBernardino J(2012)UBIQUEST, for rapid prototyping of networking applicationsProceedings of the 16th International Database Engineering & Applications Sysmposium10.1145/2351476.2351498(187-192)Online publication date: 8-Aug-2012
https://dl.acm.org/doi/10.1145/2351476.2351498
Marczak WAlvaro PConway NHellerstein JMaier D(2012)Confluence analysis for distributed programsProceedings of the Second international conference on Datalog in Academia and Industry10.1007/978-3-642-32925-8_14(135-147)Online publication date: 11-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-32925-8_14
Loo BGill HLiu CMao YMarczak WSherr MWang AZhou W(2012)Recent advances in declarative networkingProceedings of the 14th international conference on Practical Aspects of Declarative Languages10.1007/978-3-642-27694-1_1(1-16)Online publication date: 23-Jan-2012
https://dl.acm.org/doi/10.1007/978-3-642-27694-1_1
Hellerstein J(2010)The declarative imperativeACM SIGMOD Record10.1145/1860702.186070439:1(5-19)Online publication date: 27-Sep-2010
https://dl.acm.org/doi/10.1145/1860702.1860704
Lopes NNavarro JRybalchenko ASingh A(2010)Applying prolog to develop distributed systemsTheory and Practice of Logic Programming10.1017/S147106841000036010:4-6(691-707)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.1017/S1471068410000360
Alvaro PMarczak WConway NHellerstein JMaier DSears R(2010)DedalusProceedings of the First international conference on Datalog Reloaded10.1007/978-3-642-24206-9_16(262-281)Online publication date: 16-Mar-2010
https://dl.acm.org/doi/10.1007/978-3-642-24206-9_16

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents