research-article

Free access

Towards systematic detection and resolution of network control conflicts

Authors:

Dennis M. Volpano,

Geoffrey G. XieAuthors Info & Claims

HotSDN '14: Proceedings of the third workshop on Hot topics in software defined networking

Pages 67 - 72

https://doi.org/10.1145/2620728.2620745

Published: 22 August 2014 Publication History

Abstract

The problem of detecting and resolving control conflicts has started to receive attention from the networking community. Corybantic is an example of recent work in this area. We argue that it is too coarse grain in that it does not model the combined operational objectives of multiple controller functions. This paper proposes a finer grain approach where a network control function is represented as a deterministic finite-state transducer. The machine runs on inputs provided by an SDN controller and outputs instructions that update the network as needed to meet objectives. Standard proof techniques and algorithms can be leveraged to analyze properties of these machines. Specifically, their intersection describes precisely the stable operating region of a network when the machines operate in parallel. The e region comprises conditions under which no control function is in the process of updating the network.

References

[1]

M. Al-Fares, S. Radhakrishnan, B. Raghavan, N. Huang, and A. Vahdat. Hedera: Dynamic Flow Scheduling for Data Center Networks. In Proceedings of USENIX NSDI, 2010.

Digital Library

[2]

H. Ballani, P. Costa, T. Karagiannis, and A. I. Rowstron. Towards Predictable Datacenter Networks. In Proceedings of ACM SIGCOMM, 2011.

Digital Library

[3]

M. Canini, D. Venzano, P. Perešíni, D. Kostić, and J. Rexford. A NICE Way to Test OpenFlow Applications. In Proceedings of USENIX NSDI, 2012.

Digital Library

[4]

M. Chiosi, D. Clarke, and et al. Network Functions Virtualisation -- Introductory White Paper. In SDN and OpenFlow World Congress, 2012.

[5]

A. Ferguson, A. Guha, C. Liang, R. Fonseca, and S. Krishnamurthi. Participatory Networking: An API for Application Control of SDNs. In Proceedings of ACM SIGCOMM, 2013.

Digital Library

[6]

N. Gude, T. Koponen, J. Pettit, B. Pfaff, M. Casado, N. McKeown, and S. Shenker. Nox: Towards an Operating System for Networks. SIGCOMM Computer Comm Rev, 38:105--110, 2008.

Digital Library

[7]

C. Guo, G. Lu, H. J. Wang, S. Yang, C. Kong, P. Sun, W. Wu, and Y. Zhang. Secondnet: A Data Center Network Virtualization Architecture with Bandwidth Guarantees. In Proceedings of ACM CoNEXT, 2010.

Digital Library

[8]

E. Gurari. An Introduction to the Theory of Computation. Computer Science Press, 1989.

Digital Library

[9]

B. Heller, S. Seetharaman, P. Mahadevan, Y. Yiakoumis, P. Sharma, S. Banerjee, and N. McKeown. Elastictree: Saving Energy in Data Center Networks. In Proceedings of USENIX NSDI, 2010.

Digital Library

[10]

T. L. Hinrichs, N. S. Gude, M. Casado, J. C. Mitchell, and S. Shenker. Practical Declarative Network Management. In Proceedings of the 1st ACM Workshop on Research on Enterprise Networking, Barcelona, Spain, 2009.

Digital Library

[11]

https://code.google.com/p/python-automata.

[12]

http://www.noxrepo.org/pox/about-pox/.

[13]

P. Kazemian, M. Chang, H. Zeng, G. Varghese, N. McKeown, and S. Whyte. Real time network policy checking using header space analysis. In Proceedings of USENIX NSDI, 2013.

Digital Library

[14]

A. Khurshid, X. Zou, W. Zhou, M. Caesar, and P. B. Godfrey. VeriFlow: Verifying Network-Wide Invariants in Real Time. In Proceedings of USENIX NSDI, pages 15--27, 2013.

Digital Library

[15]

L. Liu, H. Wang, X. Liu, X. Jin, W. B. He, Q. B. Wang, and Y. Chen. Greencloud: A New Architecture for Green Data Center. In Proc. 6th ACM Int'l Conf on Autonomic Computing and Communications Industry Session, 2009.

Digital Library

[16]

J. A. Mogul, A. AuYoung, S. Banerjee, L. Popa, J. Lee, J. Muidgonda, P. Sharma, and Y. Turner. Corybantic: Towards the Modular Composition of SDN Control Programs. In Proc. of ACM Workshop on Hot Topics in Networking, 2013.

Digital Library

[17]

H. Rodrigues, J. R. Santos, Y. Turner, P. Soares, and D. Guedes. Gatekeeper: Supporting bandwidth guarantees for multi-tenant datacenter networks. In Proceedings of USENIX WIOV, 2011.

Digital Library

Cited By

Yao JLin SWang JLi DYang QWang CWang X(2022)Model Checking of Software-Defined Networking for Multiple Applications2022 IEEE Smartworld, Ubiquitous Intelligence & Computing, Scalable Computing & Communications, Digital Twin, Privacy Computing, Metaverse, Autonomous & Trusted Vehicles (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta)10.1109/SmartWorld-UIC-ATC-ScalCom-DigitalTwin-PriComp-Metaverse56740.2022.00360(1099-1104)Online publication date: Dec-2022
https://doi.org/10.1109/SmartWorld-UIC-ATC-ScalCom-DigitalTwin-PriComp-Metaverse56740.2022.00360
Yao JLin SXu CJing MLi DWang MCao X(2022)Review of Detection and Avoidance of Interference Among Multiple Applications in Software-Defined NetworksArtificial Intelligence and Security10.1007/978-3-031-06788-4_38(448-459)Online publication date: 4-Jul-2022
https://doi.org/10.1007/978-3-031-06788-4_38
Bauer RDittebrandt AZitterbart M(2019)GCMI: A Generic Approach for SDN Control Message Interception2019 IEEE Conference on Network Softwarization (NetSoft)10.1109/NETSOFT.2019.8806661(360-368)Online publication date: Jun-2019
https://doi.org/10.1109/NETSOFT.2019.8806661
Show More Cited By

Index Terms

Towards systematic detection and resolution of network control conflicts
1. Networks
  1. Network services
    1. Network management

Recommendations

Regular Transducer Expressions for Regular Transformations
LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

Functional MSO transductions, deterministic two-way transducers, as well as streaming string transducers are all equivalent models for regular functions. In this paper, we show that every regular function, either on finite words or on infinite words, ...
Performance Analysis of SDN/OpenFlow Controllers: POX Versus Floodlight

Software-Defined Networking (SDN) is an emerging network architecture that is adaptable, dynamic, cost-effective, and manageable. The SDN architecture is a form of network virtualization where the network controlling functions and forwarding functions ...
Network parameters effects on system resources in software defined networks
ICICT '19: Proceedings of the International Conference on Information and Communication Technology

Software Defined Networking (SDN), often referred to as a revolutionary rather than an evolutionary new idea in networking, promises to dramatically simplify network control, management, and enable innovation through network programmability. SDN has ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

HotSDN '14: Proceedings of the third workshop on Hot topics in software defined networking

August 2014

252 pages

ISBN:9781450329897

DOI:10.1145/2620728

Program Chairs:
Aditya Akella
University of Wisconsin-Madison, USA
,
Albert Greenberg
Microsoft, USA

Copyright © 2014 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGCOMM: ACM Special Interest Group on Data Communication

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 August 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SIGCOMM'14

Sponsor:

SIGCOMM

SIGCOMM'14: ACM SIGCOMM 2014 Conference

August 22, 2014

Illinois, Chicago, USA

Acceptance Rates

HotSDN '14 Paper Acceptance Rate 50 of 114 submissions, 44%;

Overall Acceptance Rate 88 of 198 submissions, 44%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
909
Total Downloads

Downloads (Last 12 months)55
Downloads (Last 6 weeks)11

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Yao JLin SWang JLi DYang QWang CWang X(2022)Model Checking of Software-Defined Networking for Multiple Applications2022 IEEE Smartworld, Ubiquitous Intelligence & Computing, Scalable Computing & Communications, Digital Twin, Privacy Computing, Metaverse, Autonomous & Trusted Vehicles (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta)10.1109/SmartWorld-UIC-ATC-ScalCom-DigitalTwin-PriComp-Metaverse56740.2022.00360(1099-1104)Online publication date: Dec-2022
https://doi.org/10.1109/SmartWorld-UIC-ATC-ScalCom-DigitalTwin-PriComp-Metaverse56740.2022.00360
Yao JLin SXu CJing MLi DWang MCao X(2022)Review of Detection and Avoidance of Interference Among Multiple Applications in Software-Defined NetworksArtificial Intelligence and Security10.1007/978-3-031-06788-4_38(448-459)Online publication date: 4-Jul-2022
https://doi.org/10.1007/978-3-031-06788-4_38
Bauer RDittebrandt AZitterbart M(2019)GCMI: A Generic Approach for SDN Control Message Interception2019 IEEE Conference on Network Softwarization (NetSoft)10.1109/NETSOFT.2019.8806661(360-368)Online publication date: Jun-2019
https://doi.org/10.1109/NETSOFT.2019.8806661
Yu YLi XLeng XSong LBu KChen YYang JZhang LCheng KXiao X(2019)Fault Management in Software-Defined Networking: A SurveyIEEE Communications Surveys & Tutorials10.1109/COMST.2018.286892221:1(349-392)Online publication date: Sep-2020
https://doi.org/10.1109/COMST.2018.2868922
Su JWang WLiu C(2019)A survey of control consistency in Software-Defined NetworkingCCF Transactions on Networking10.1007/s42045-019-00022-wOnline publication date: 8-Oct-2019
https://doi.org/10.1007/s42045-019-00022-w
Wang WLiu CSu JHe WBarcellos MCrowcroft JVahdat AKatti S(2016)Achieving Consistent SDN Control With Declarative ApplicationsProceedings of the 2016 ACM SIGCOMM Conference10.1145/2934872.2959060(585-586)Online publication date: 22-Aug-2016
https://dl.acm.org/doi/10.1145/2934872.2959060
Bairley AXie G(2016)Orchestrating network control functions via comprehensive trade-off exploration2016 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)10.1109/NFV-SDN.2016.7919485(114-120)Online publication date: Nov-2016
https://doi.org/10.1109/NFV-SDN.2016.7919485
Wen Wang Wenbo He Jinshu Su (2016)Redactor: Reconcile network control with declarative control programs In SDN2016 IEEE 24th International Conference on Network Protocols (ICNP)10.1109/ICNP.2016.7784433(1-10)Online publication date: Nov-2016
https://doi.org/10.1109/ICNP.2016.7784433
Prakash CLee JTurner YKang JAkella ABanerjee SClark CMa YSharma PZhang Y(2015)PGAACM SIGCOMM Computer Communication Review10.1145/2829988.278750645:4(29-42)Online publication date: 17-Aug-2015
https://dl.acm.org/doi/10.1145/2829988.2787506
Prakash CLee JTurner YKang JAkella ABanerjee SClark CMa YSharma PZhang YUhlig SMaennel OKarp BPadhye J(2015)PGAProceedings of the 2015 ACM Conference on Special Interest Group on Data Communication10.1145/2785956.2787506(29-42)Online publication date: 17-Aug-2015
https://dl.acm.org/doi/10.1145/2785956.2787506
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

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

Figures

Tables

Media

View Table of Conten