research-article

Free access

HotSwap: correct and efficient controller upgrades for software-defined networks

Authors:

Laurent Vanbever,

Theophilus Benson,

Jennifer RexfordAuthors Info & Claims

HotSDN '13: Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking

Pages 133 - 138

https://doi.org/10.1145/2491185.2491194

Published: 16 August 2013 Publication History

Abstract

Like any complex software, SDN programs must be updated periodically, whether to migrate to a new controller platform, repair bugs, or address performance issues. Nowadays, SDN operators typically perform such upgrades by stopping the old controller and starting the new one---an approach that wipes out all installed flow table entries and causes substantial disruption including losing packets, increasing latency, and even compromising correctness.

This paper presents HotSwap, a system for upgrading SDN controllers in a disruption-free and correct manner. HotSwap is a hypervisor (sitting between the switches and the controller) that maintains a history of network events. To upgrade from an old controller to a new one, HotSwap bootstraps the new controller (by replaying the history) and monitors its output (to determine which parts of the network state may be reused with the new controller). To ensure good performance, HotSwap filters the history using queries specified by programmers. We describe our design and preliminary implementation of HotSwap, and present experimental results demonstrating its effectiveness for managing upgrades to third-party controller programs.

References

[1]

Cisco IOS In Service Software Upgrade. http://tinyurl.com/acjng7k.

[2]

Floodlight OpenFlow Controller. http://floodlight.openflowhub.org/.

[3]

Floodlight v0.90 Release Notes. http://tinyurl.com/aaya7yg.

[4]

Juniper Networks. Unified ISSU Concepts. http://tinyurl.com/9wbjzhy.

[5]

N. Handigol, B. Heller, V. Jeyakumar, B. Lantz, and N. McKeown. Reproducible network experiments using container-based emulation. CoNEXT. ACM, 2012.

Digital Library

[6]

N. Handigol, B. Heller, V. Jeyakumar, D. Mazières, and N. McKeown. Where is the debugger for my software-defined network? In HotSDN, 2012.

Digital Library

[7]

C. M. Hayden, E. K. Smith, M. Denchev, M. Hicks, and J. S. Foster. Kitsune: Efficient, general-purpose dynamic software updating for C. OOPSLA, pages 249--264. ACM, 2012.

Digital Library

[8]

P. Kazemian, G. Varghese, and N. McKeown. Header space analysis: Static checking for networks. In NSDI'12, Berkeley, CA, USA, 2012. USENIX Association.

Digital Library

[9]

T. Koponen, M. Casado, N. Gude, J. Stribling, L. Poutievski, M. Zhu, R. Ramanathan, Y. Iwata, H. Inoue, T. Hama, and S. Shenker. Onix: A distributed control platform for large-scale production networks. In OSDI. USENIX Association, Oct. 2010.

Digital Library

[10]

J. Moy, P. Pillay-Esnault, and A. Lindem. Graceful OSPF Restart. RFC 3623, 2003.

Digital Library

[11]

On.Lab. ONOS: Open network operating system. http://tinyurl.com/pjs9eyw.

[12]

M. Reitblatt, N. Foster, J. Rexford, C. Schlesinger, and D. Walker. Abstractions for network update. In ACM SIGCOMM, 2012.

Digital Library

[13]

C. Rotsos, N. Sarrar, S. Uhlig, R. Sherwood, and A. W. Moore. OFLOPS: An Open Framework for Openflow Switch Evaluation. PAM, 2012.

Digital Library

[14]

S. Sangli, E. Chen, R. Fernando, J. Scudder, and Y. Rekhter. Graceful Restart Mechanism for BGP. RFC 4724, Jan. 2007.

[15]

C. Scott, A. Wundsam, S. Whitlock, A. Or, E. Huang, K. Zarifis, and S. Shenker. How Did We Get Into This Mess? Isolating Fault-Inducing Inputs to SDN Control Software. Technical Report UCB/EECS-2013--8, EECS Department, University of California, Berkeley, Feb 2013.

[16]

R. Sherwood, G. Gibb, K.-K. Yap, G. Appenzeller, M. Casado, N. McKeown, and G. Parulkar. Can the production network be the testbed? In OSDI, Oct. 2010.

Digital Library

[17]

A. Wundsam, D. Levin, S. Seetharaman, and A. Feldmann. OFRewind: Enabling record and replay troubleshooting for networks. In USENIX Annual Technical, June 2011.

Digital Library

Cited By

Al-hammadi ILi MIslam SAl-Mosharea E(2024)Collaborative computation offloading for scheduling emergency tasks in SDN-based mobile edge computing networksComputer Networks10.1016/j.comnet.2023.110101238(110101)Online publication date: Jan-2024
https://doi.org/10.1016/j.comnet.2023.110101
Al-Hammadi ILi MIslam S(2023)Independent tasks scheduling of collaborative computation offloading for SDN-powered MEC on 6G networksSoft Computing10.1007/s00500-023-08091-227:14(9593-9617)Online publication date: 19-Apr-2023
https://doi.org/10.1007/s00500-023-08091-2
Buzhin IBessonov MMironov YFarkhadov M(2022)Integrity, Resilience and Security of 5G Transport Networks Based on SDN/NFV TechnologiesDistributed Computer and Communication Networks10.1007/978-3-030-97110-6_9(123-135)Online publication date: 25-Feb-2022
https://doi.org/10.1007/978-3-030-97110-6_9
Show More Cited By

Index Terms

HotSwap: correct and efficient controller upgrades for software-defined networks

Recommendations

Safe and Flexible Controller Upgrades for SDNs
SOSR '16: Proceedings of the Symposium on SDN Research

SDN controllers must be periodically upgraded to add features, improve performance, and fix bugs, but current techniques for implementing dynamic updates---i.e., without disrupting ongoing network functions---are inadequate. Simply halting the old ...
Kitsune: efficient, general-purpose dynamic software updating for C
OOPSLA '12

Dynamic software updating (DSU) systems allow programs to be updated while running, thereby permitting developers to add features and fix bugs without downtime. This paper introduces Kitsune, a new DSU system for C whose design has three notable ...
Kitsune: efficient, general-purpose dynamic software updating for C
OOPSLA '12: Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Dynamic software updating (DSU) systems allow programs to be updated while running, thereby permitting developers to add features and fix bugs without downtime. This paper introduces Kitsune, a new DSU system for C whose design has three notable ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

HotSDN '13: Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking

August 2013

182 pages

ISBN:9781450321785

DOI:10.1145/2491185

Program Chairs:
Nate Foster
Cornell University
,
Rob Sherwood
Big Switch Networks

Copyright © 2013 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: 16 August 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SIGCOMM'13

Sponsor:

SIGCOMM

SIGCOMM'13: ACM SIGCOMM 2013 Conference

August 16, 2013

Hong Kong, China

Acceptance Rates

HotSDN '13 Paper Acceptance Rate 38 of 84 submissions, 45%;

Overall Acceptance Rate 88 of 198 submissions, 44%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

47
Total Citations
View Citations
622
Total Downloads

Downloads (Last 12 months)109
Downloads (Last 6 weeks)10

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Al-hammadi ILi MIslam SAl-Mosharea E(2024)Collaborative computation offloading for scheduling emergency tasks in SDN-based mobile edge computing networksComputer Networks10.1016/j.comnet.2023.110101238(110101)Online publication date: Jan-2024
https://doi.org/10.1016/j.comnet.2023.110101
Al-Hammadi ILi MIslam S(2023)Independent tasks scheduling of collaborative computation offloading for SDN-powered MEC on 6G networksSoft Computing10.1007/s00500-023-08091-227:14(9593-9617)Online publication date: 19-Apr-2023
https://doi.org/10.1007/s00500-023-08091-2
Buzhin IBessonov MMironov YFarkhadov M(2022)Integrity, Resilience and Security of 5G Transport Networks Based on SDN/NFV TechnologiesDistributed Computer and Communication Networks10.1007/978-3-030-97110-6_9(123-135)Online publication date: 25-Feb-2022
https://doi.org/10.1007/978-3-030-97110-6_9
Rahouti MXiong KXin Y(2021)Secure Software-Defined Networking Communication Systems for Smart Cities: Current Status, Challenges, and TrendsIEEE Access10.1109/ACCESS.2020.30479969(12083-12113)Online publication date: 2021
https://doi.org/10.1109/ACCESS.2020.3047996
Novakovic SDaglis AUstiugov DBugnion EFalsafi BGrot B(2019)Mitigating Load Imbalance in Distributed Data Serving with Rack-Scale Memory PoolingACM Transactions on Computer Systems10.1145/330998636:2(1-37)Online publication date: 9-Apr-2019
https://dl.acm.org/doi/10.1145/3309986
Horn AKheradmand APrasad M(2019)A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification2019 IEEE 27th International Conference on Network Protocols (ICNP)10.1109/ICNP.2019.8888144(1-12)Online publication date: Oct-2019
https://doi.org/10.1109/ICNP.2019.8888144
Foerster KSchmid SVissicchio S(2019)Survey of Consistent Software-Defined Network UpdatesIEEE Communications Surveys & Tutorials10.1109/COMST.2018.287674921:2(1435-1461)Online publication date: Oct-2020
https://doi.org/10.1109/COMST.2018.2876749
Dezfouli BEsmaeelzadeh VSheth JRadi M(2019)A Review of Software-Defined WLANs: Architectures and Central Control MechanismsIEEE Communications Surveys & Tutorials10.1109/COMST.2018.286869221:1(431-463)Online publication date: Sep-2020
https://doi.org/10.1109/COMST.2018.2868692
Xiang SZhu HWu XXiao LBonsangue MXie WZhang L(2019)Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebraScience of Computer Programming10.1016/j.scico.2019.102343(102343)Online publication date: Nov-2019
https://doi.org/10.1016/j.scico.2019.102343
Yu YQian CWu WZhang Y(2018)NetCP: Consistent, Non-Interruptive and Efficient Checkpointing and Rollback of SDN2018 IEEE/ACM 26th International Symposium on Quality of Service (IWQoS)10.1109/IWQoS.2018.8624142(1-10)Online publication date: Jun-2018
https://doi.org/10.1109/IWQoS.2018.8624142
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