ABSTRACT
Our work addresses the problem of revision control for flow state management in SDN-enabled networks, so that the underlying data plane might be able to provide better state protection, provenance, ease of programmability, and support for multiple applications. Inspired by the revision control tools in the software development world, we propose an abstraction and a system called GitFlow, which provides flow state revisioning in the SDN context. The core idea of GitFlow is to run a repository server to maintain the authoritative copy of the flow configuration state and track additional meta data for each evolving snapshot of the flow state. When multiple applications make incremental commits to state, our system also automates conflict resolution by rebasing new flow state with committed flow state. We envision that our revision control abstraction will provide safety in the data plane and better programmability in the control plane.
- Andersen, D. G., Balakrishnan, H., Feamster, N., Koponen, T., Moon, D., and Shenker, S. Accountable internet protocol (AIP). In Proceedings of the ACM SIGCOMM 2008 Conference on Data Communication (Seattle, WA, USA, 2008), SIGCOMM '08, ACM, pp. 339--350. Google ScholarDigital Library
- Dhamdhere, A., and Dovrolis, C. Twelve years in the evolution of the internet ecosystem. IEEE/ACM Trans. Netw. 19, 5 (Oct. 2011), 1420--1433. Google ScholarDigital Library
- Git-A Distributed Version Control System. http://git-scm.com.Google Scholar
- Heller, B., Scott, C., McKeown, N., Shenker, S., Wundsam, A., Zeng, H., Whitlock, S., Jeyakumar, V., Handigol, N., McCauley, J., Zarifis, K., and Kazemian, P. Leveraging SDN layering to systematically troubleshoot networks. In Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (Hong Kong, China, 2013), HotSDN '13, ACM, pp. 37--42. Google ScholarDigital Library
- Kazemian, P., Varghese, G., and McKeown, N. Header Space Analysis: Static Checking for Networks. NSDI (2012), 113--126. Google ScholarDigital Library
- Khurshid, A., Zou, X., Zhou, W., Caesar, M., and Godfrey, P. B. VeriFlow: Verifying Network-Wide Invariants in Real Time. NSDI (2013), 15--27. Google ScholarDigital Library
- McKeown, N., Anderson, T., Balakrishnan, H., Parulkar, G., Peterson, L., Rexford, J., Shenker, S., and Turner, J. OpenFlow: Enabling innovation in campus networks. SIGCOMM Comput. Commun. Rev. 38, 2 (Mar. 2008), 69--74. Google ScholarDigital Library
- N. Foster, et al. Frenetic: A network programming language. In Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (2011). Google ScholarDigital Library
- N. Handigol, et al. Where is the debugger for my software-defined network? In Proceedings of the first HotSDN workshop (New York, New York, USA, Aug. 2012), pp. 55--60. Google ScholarDigital Library
- Natarajan, S., Huang, X., and Wolf, T. Efficient conflict detection in flow-based virtualized networks. In Computing, Networking and Communications (ICNC), 2012 International Conference on (2012), IEEE, pp. 690--696.Google ScholarCross Ref
- Natarajan, S., Ramaiah, A., and Mathen, M. A Software defined Cloud-Gateway automation system using OpenFlow. CLOUDNET (2013), 219--226.Google Scholar
- Openflow specification. https://www.opennetworking.org/sdn-resources/technical-library.Google Scholar
- Porras, P., Shin, S., Yegneswaran, V., and Fong, M. A security enforcement kernel for OpenFlow networks. In Proceedings of the first HotSDN Workshop (2012). Google ScholarDigital Library
- Ramachandran, A., Bhandankar, K., Tariq, M. B., and Feamster, N. Packets with provenance. In Proceedings of the ACM SIGCOMM Poster (2008).Google Scholar
- S. Jain, et al. B4: Experience with a globally-deployed software defined wan. SIGCOMM Comput. Commun. Rev. 43, 4 (Aug. 2013), 3--14. Google ScholarDigital Library
- Sherwood, R. Can the production network be the testbed. In USENIX OSDI (2010). Google ScholarDigital Library
- Sherwood, R., Gibb, G., and Yap, K. K. Flowvisor: A network virtualization layer. Open Networking Foundation (2009).Google Scholar
- Wundsam, A., Levin, D., Seetharaman, S., and Feldmann, A. OFRewind: enabling record and replay troubleshooting for networks. In Proceedings of the 2011 USENIX ATC (June 2011). Google ScholarDigital Library
Index Terms
- GitFlow: flow revision management for software-defined networks
Recommendations
A belief revision framework for revising epistemic states with partial epistemic states
Belief revision performs belief change on an agent's beliefs when new evidence (either of the form of a propositional formula or of the form of a total pre-order on a set of interpretations) is received. Jeffrey's rule is commonly used for revising ...
Parallel belief revision: Revising by sets of formulas
The area of belief revision studies how a rational agent may incorporate new information about a domain into its belief corpus. An agent is characterised by a belief state K, and receives a new item of information @a which is to be included among its ...
A conditional logic for iterated belief revision
ECAI'00: Proceedings of the 14th European Conference on Artificial IntelligenceIn this paper we propose a conditional logic IBC to represent iterated belief revision. We define an iterated belief revision system by strengthening the postulates proposed by Darwiche and Pearl [3]. First, following the line of Darwiche and Pearl, we ...
Comments