Declarative configuration management for complex and dynamic networks

Proceedings of the 6th International Conference on Emerging Networking Experiments and Technologies, Co-NEXT'10

Volumn , Issue , 2010, Pages

  Chen, Xu ^a,b   Mao, Yun ^b   Mao, Z Morley ^a   Van Der Merwe, Jacobus ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEST EFFORT; COMPLEX PROTOCOLS; CONFIGURATION MANAGEMENT; DECLARATIVE LANGUAGES; DOMAIN KNOWLEDGE; DYNAMIC NETWORK; ERROR PRONES; HUMAN OPERATOR; MINIMUM OPERATOR; PROTOTYPE IMPLEMENTATIONS; RULE BASED REASONING; SERVICE PROVIDER; SUPPORT SYSTEMS;

NETWORK MANAGEMENT;

EID: 79951618528     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1921168.1921176     Document Type: Conference Paper

References (37)

1. IETF Policy Framework Charter. http://ietf.org.
2. LINQ. http://msdn.microsoft.com/netframework/future/linq/.
3. Network configuration (netconf). http://www.ietf.org/html.charters/ netconf-charter.html.
4. H. Ballani and P. Francis. CONMan: A Step Towards Network Manageability. In Proceedings of SIGCOMM, 2007.
5. N. Belaramani, J. Zheng, A. Nayte, M. Dahlin, and R. Grimm. PADS: A Policy Architecture for building Distributed Storage systems. In Proc. of NSDI, 2009.
6. A. Bohannon, J. A. Vaughan, and B. C. Pierce. Relational Lenses: A Language for Updateable Views. In Proceedings of of PODS, 2006.
7. D. Caldwell, A. Gilbert, J. Gottlieb, A. Greenberg, G. Hjalmtysson, and J. Rexford. The cutting EDGE of IP router configuration. In Proceedings of HotNets Workshop, 2003.
8. M. Casado, M. J. Freedman, J. Pettit, J. Luo, N. McKeown, and S. Shenker. Ethane: taking control of the enterprise. In Proceedings of SIGCOMM, 2007.
9. X. Chen, Z. M. Mao, and J. Van der Merwe. PACMAN: a Platform for Automated and Controlled network operations and configuration MANagement. In Proceedings of CoNEXT, 2009.
10. X. Chen, Z. M. Mao, and J. Van der Merwe. ShadowNet: A Platform for Rapid and Safe Network Evolution. In Proceedings of USENIX ATC, 2009.
11. T. Delaet and W. Joosen. PoDIM: A language for high-level configuration management. In Proceedings of USA, 2007.
12. W. Enck, P. McDaniel, S. Sen, P. Sebos, S. Spoerel, A. Greenberg, S. Rao, and W. Aiello. Configuration management at massive scale: system design and experience. In Proceedings of USENIX ATC, 2007.
13. N. Feamster and H. Balakrishnan. Detecting BGP Configuration Faults with Static Analysis. In Proceedings of NSDI, 2005.
14. A. Feldmann, A. Greenberg, C. Lund N. Reingold, and J. Rexford. NetScope: Traffic engineering for IP networks. IEEE Network Magazine, March/April 2000, pp. 11-19.
15. J. Gottlieb, A. Greenberg, J. Rexford, and J. Wang. Automated Provisioning of BGP Customers. IEEE Network, Vol. 17, 2003.
16. J. Gray and L. Lamport. Consensus on transaction commit. ACM Transactions on Database Systems, 31(1):133-160, 2006.
17. A. Greenberg, G. Hjalmtysson, D. A. Maltz, A. Myers, J. Rexford, G. Xie, H. Yan, J. Zhan, and H. Zhang. A Clean Slate 4D Approach to Network Control and Management. In Proceedings of SIGCOMM CCR, 2005.
18. N. Gude, T. Koponen, J. Pettit, B. Pfaff, M. Casado, N. McKeown, and S. Shenker. NOX: towards an operating system for networks. In Proceedings of SIGCOMM CCR, 2008.
19. T. L. Hinrichs, N. S. Gude, M. Casado, J. C. Mitchell, and S. Shenker. Practical declarative network management. In Proceedings of SIGCOMM WREN Workshop, 2009.
20. C. R. Kalmanek, et al. Darkstar: Using Exploratory Data Mining to Raise the Bar on Network Reliability and Performance. In Proceedings of DRCN, 2009.
21. J. Kelly, W. Araujo, and K. Banerjee. Rapid service creation using the junos sdk. In Proceedings of SIGCOMM CCR, 2010.
22. N. Kushman and D. Katabi. Enabling Configuration-Independent Automation by Non-Expert Users. In Proceedings of OSDI, 2010.
23. 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 SIGMOD, 2006.
24. B. T. Loo, T. Condie, J. M. Hellerstein, P. Maniatis, T. Roscoe, and I. Stoica. Implementing Declarative Overlays. In Proceedings of SOSP, 2005.
25. B. T. Loo, J. M. Hellerstein, I. Stoica, and R. Ramakrishnan. Declarative Routing: Extensible Routing with Declarative Queries. In Proceedings of SIGCOMM, 2005.
26. Y. Mao, B. T. Loo, Z. G. Ives, and J. M. Smith. MOSAIC: Unifed Declarative Platform for Dynamic Overlay Composition. In CoNEXT, 2008.
27. L. Peterson, S. Shenker, and J. Turner. Overcoming the Internet Impasse Through Virtualization. In Proceedings of HotNets Workshop, 2004.
28. R. Ramakrishnan and J. Gehrke. Database Management Systems. McGraw-Hill, third edition, 2002.
29. R. Ramakrishnan and J. D. Ullman. A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2):125-149, 1993.
30. T. Roscoe, S. Hand, R. Isaacs, R. Mortier, and P. Jardetzky. Predicate routing: enabling controlled networking. In Proceedings of SIGCOMM CCR, 2003.
31. T. Roscoe, R. Mortier, P. Jardetzky, and S. Hand. InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems. In Proceedings of the SIGOPS European Workshop, 2002.
32. F. Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys, 22(4). 1990.
33. N. Spring, R. Mahajan, D. Wetherall, and T. Anderson. Measuring ISP topologies with rockelfuel. IEEE/ACM Trans. Netw., 12(1):2-16, 2004.
34. Y.-W. E. Sung, C. Lund, M. Lyn, S. G. Rao, and S. Sen. Modeling and understanding end-to-end class of service policies in operational networks. In Proceedings of SIGCOMM, 2009.
35. L. Vanbever, G. Pardoen, and O. Bonaventure. Towards Validated Network Conf gurations with NCGuard. In Proceedings of INM Workshop, 2008.
36. M. Wawrzoniak, L. Peterson, and T. Roscoe. Sophia: an Information Plane for networked systems. In Proceedings of SIGCOMM CCR, 2004.
37. Q. Yin, A. Schuepbach, J. Cappos, A. Baumann, and T. Roscoe. Rhizoma: a runtime for self-deploying, self-managing overlays. In Proceedings of Middleware, 2009.