Declarative configuration management for complex and dynamic networks

Chen, Xu; Mao, Yun; Mao, Z. Morley; Merwe, Jacobus Van der

doi:10.1145/1921168.1921176

Cited by 45 publications

(33 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Over the past few years, a number of researchers have proposed high-level programming languages for controlling networks, including COOLAID [4], FML [10], Frenetic [7], NetCore [22], and PANE [6]. This work uses NetCore [22] as a high-level network programming language.…”

Section: Related Workmentioning

confidence: 99%

Machine-verified network controllers

2013

View full text Add to dashboard Cite

In many areas of computing, techniques ranging from testing to formal modeling to full-blown verification have been successfully used to help programmers build reliable systems. But although networks are critical infrastructure, they have largely resisted analysis using formal techniques. Software-defined networking (SDN) is a new network architecture that has the potential to provide a foundation for network reasoning, by standardizing the interfaces used to express network programs and giving them a precise semantics.This paper describes the design and implementation of the first machine-verified SDN controller. Starting from the foundations, we develop a detailed operational model for OpenFlow (the most popular SDN platform) and formalize it in the Coq proof assistant. We then use this model to develop a verified compiler and run-time system for a high-level network programming language. We identify bugs in existing languages and tools built without formal foundations, and prove that these bugs are absent from our system. Finally, we describe our prototype implementation and our experiences using it to build practical applications.

show abstract

Section: Related Workmentioning

confidence: 99%

Machine-verified network controllers

2013

View full text Add to dashboard Cite

show abstract

“…CONMan also covers important network design choices: declarative specifications for routing management [113], [114] and the database and interfaces for the cross-layer management [115].…”

Section: Management Modelmentioning

confidence: 99%

A Survey of the Research on Future Internet and Network Architectures

Hasegawa

2013

IEICE Trans. Commun.

View full text Add to dashboard Cite

SUMMARYThe Internet was designed for academic use more than 40 years ago. After having been used commercially, many unpredictable requirements have emerged, including mobility, security and content distribution. In addition, the Internet has become so ossified that fulfilling new requirements is difficult. Instead of developing ad-hoc solutions, re-designing clean-slate Internet architectures has become a key research challenge in networking communities. This survey paper addresses key research issues and then introduces ongoing research projects from Japan, the United States and the European Union.

show abstract

“…Finally, we will explore more complex scenarios beyond resource migration, particularly those that involve network management tasks [7] incurred as a result of cloud orchestration, and orchestration procedures required for mobility [9], virtualized desktop [11] and database consolidation [10].…”

Section: Ongoing Statusmentioning

confidence: 99%

Declarative automated cloud resource orchestration

Liu

Loo

Mao

2011

Proceedings of the 2nd ACM Symposium on Cloud Computing

Self Cite

View full text Add to dashboard Cite

As cloud computing becomes widely deployed, one of the challenges faced involves the ability to orchestrate a highly complex set of subsystems (compute, storage, network resources) that span large geographic areas serving diverse clients. To ease this process, we present COPE (Cloud Orchestration Policy Engine), a distributed platform that allows cloud providers to perform declarative automated cloud resource orchestration. In COPE, cloud providers specify system-wide constraints and goals using COPElog, a declarative policy language geared towards specifying distributed constraint optimizations. COPE takes policy specifications and cloud system states as input and then optimizes compute, storage and network resource allocations within the cloud such that provider operational objectives and customer SLAs can be better met. We describe our proposed integration with a cloud orchestration platform, and present initial evaluation results that demonstrate the viability of COPE using production traces from a large hosting company in the US. We further discuss an orchestration scenario that involves geographically distributed data centers, and conclude with an ongoing status of our work. Disciplines Computer SciencesComments Liu, C., Loo, B., & Mao, Y., Declarative Automated Cloud Resource Orchestration, ACM Symposium on Cloud Computing, Oct. 2011 © 1994, 1995, 1998, 2002 by ACM, Inc. Permission to copy and distribute this document is hereby granted provided that this notice is retained on all copies, that copies are not altered, and that ACM is credited when the material is used to form other copyright policies. ABSTRACTAs cloud computing becomes widely deployed, one of the challenges faced involves the ability to orchestrate a highly complex set of subsystems (compute, storage, network resources) that span large geographic areas serving diverse clients. To ease this process, we present COPE (Cloud Orchestration Policy Engine), a distributed platform that allows cloud providers to perform declarative automated cloud resource orchestration. In COPE, cloud providers specify system-wide constraints and goals using COPElog, a declarative policy language geared towards specifying distributed constraint optimizations. COPE takes policy specifications and cloud system states as input and then optimizes compute, storage and network resource allocations within the cloud such that provider operational objectives and customer SLAs can be better met. We describe our proposed integration with a cloud orchestration platform, and present initial evaluation results that demonstrate the viability of COPE using production traces from a large hosting company in the US. We further discuss an orchestration scenario that involves geographically distributed data centers, and conclude with an ongoing status of our work.

show abstract

Declarative configuration management for complex and dynamic networks

Cited by 45 publications

References 29 publications

Machine-verified network controllers

Machine-verified network controllers

A Survey of the Research on Future Internet and Network Architectures

Declarative automated cloud resource orchestration

Contact Info

Product

Resources

About