Affiliation:
1. University of Wisconsin-Madison, USA
Abstract
Operators in multi-tenant cloud datacenters require support for diverse and complex end-to-end policies, such as, reachability, middlebox traversals, isolation, traffic engineering, and network resource management. We present Genesis, a datacenter network management system which allows policies to be specified in a declarative manner without explicitly programming the network data plane. Genesis tackles the problem of enforcing policies by synthesizing switch forwarding tables. It uses the formal foundations of constraint solving in combination with fast off-the-shelf SMT solvers. To improve synthesis performance, Genesis incorporates a novel search strategy that uses regular expressions to specify properties that leverage the structure of datacenter networks, and a divide-and-conquer synthesis procedure which exploits the structure of policy relationships. We have prototyped Genesis, and conducted experiments with a variety of workloads on real-world topologies to demonstrate its performance.
Funder
Division of Computing and Communication Foundations
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference48 articles.
1. Floodlight sdn controller. http://www.projectfloodlight. org/floodlight/. Floodlight sdn controller. http://www.projectfloodlight. org/floodlight/.
2. Intent: Don’t tell me what to do! (tell me what you want). https: //www.sdxcentral.com/articles/contributed/ network-intent-summit-perspective-david-lenrow/ 2015/02/. Intent: Don’t tell me what to do! (tell me what you want). https: //www.sdxcentral.com/articles/contributed/ network-intent-summit-perspective-david-lenrow/ 2015/02/.
3. Python lex-yacc. http://www.dabeaz.com/ply/. Python lex-yacc. http://www.dabeaz.com/ply/.
4. A scalable, commodity data center network architecture
5. NetKAT
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献