Geodesic
On the update problems for software defined networks
Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 6, pp. 57-70.

Voir la notice de l'article provenant de la source Math-Net.Ru

The designing of network update algorithms is urgent for the development of SDN control software. A particular case of Network Update Problem is that of restoring seamlessly a given network configuration after some packet forwarding rules have been disabled (say, at the expiry of their time-outs). We study this problem in the framework of a formal model of SDN, develop correct and safe network recovering algorithms, and show that in general case there is no way to restore network configuration seamlessly without referring to priorities of packet forwarding rules.
Keywords: software defined network, switch, controller, forwarding rule, packet, network update
Mots-clés : route, post-condition, invariant. 
@article{MAIS_2014_21_6_a5,
     author = {V. A. Zakharov and E. V. Chemeritsky},
     title = {On the update problems for software defined networks},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {57--70},
     publisher = {mathdoc},
     volume = {21},
     number = {6},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a5/}
}
TY  - JOUR
AU  - V. A. Zakharov
AU  - E. V. Chemeritsky
TI  - On the update problems for software defined networks
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2014
SP  - 57
EP  - 70
VL  - 21
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a5/
LA  - ru
ID  - MAIS_2014_21_6_a5
ER  - 
%0 Journal Article
%A V. A. Zakharov
%A E. V. Chemeritsky
%T On the update problems for software defined networks
%J Modelirovanie i analiz informacionnyh sistem
%D 2014
%P 57-70
%V 21
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a5/
%G ru
%F MAIS_2014_21_6_a5
V. A. Zakharov; E. V. Chemeritsky. On the update problems for software defined networks. Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 6, pp. 57-70. http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a5/

[1] N. McKeown, T. Anderson, H. Balakrishnan, “Openflow: Enabling Innovation in Campus Networks”, SIGCOMM Computer Communication Review, 38:2 (2008), 69–74 | DOI

[2] N. Foster, A. Guha, M. Reitblatt, “Languages for Software-Defined Networks”, IEEE Communications Magazine, 2013, February, 128–134 | DOI

[3] T. S. E. N. Zheng Cai, A. L. Cox, Maestro: A System for Scalable OpenFlow Control, Technical Report TR10-08, Rice University, 2010 | Zbl

[4] A. Voellmy, H. Kim, N. Feamster, “Procera: A Language for High-Level Reactive Network Control”, Proceedings of the 1-st Workshop on Hot Topics in Software Defined Networks (2012), 43–48

[5] OpenFlow Switch Specification, Version 1.4.0, October 14, , 2013 https://www.opennetworking.org

[6] P. Francois, M. Shand, O. Bonaventure, “Disruption-free topology reconfiguration in OSPF networks”, IEEE INFOCOM (May 2007)

[7] P. Francois, P.-A. Coste, B. Decraene, O. Bonaventure, “Avoiding disruptions during maintenance operations on BGP sessions”, IEEE Transactions on Network and Service Management, 4:7 (2007), 1–11 | DOI

[8] S. Raza, Y. Zhu, C.-N. Chuah, “Graceful network state migrations”, IEEE/ACM Transactions on Networking, 19:4 (2011), 1097–1110 | DOI

[9] L. Vanbever, S. Vissicchio, C. Pelsser, P. Francois, O. Bonaventure, “Seamless network-wide IGP migration”, SIGCOMM'11, Computer Communication Review, 41, no. 4, 2011, 314–325 | DOI

[10] M. Reitblatt, N. Foster, J. Rexford, D. Walker, Consistent updates for software-defined networks: change you can believe in!, HotNets, 7 (2011)

[11] M. Reitblatt, N. Foster, J. Rexford, C. Schlesinger, D. Walker, “Abstractions for Network Update”, Proceedings of the ACM SIGCOMM 2012 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication (2012), 323–334

[12] N. P. Katta, J. Rexford, D. Walker, “Incremental Consistent Updates”, Proceedings of the 2-nd Workshop on Hot Topics in Software Defined Networks (2013), 49–54

[13] A. Noyes, T. Warszawski, P. Cernyand, N. Foster, “Toward Synthesis of Network Updates”, Proceedings of the 2-nd Workshop on Synthesis (Saint Petersburg, Russia, 2013)

[14] A. X. Liu, C. R. Meiners, E. Torng, “TCAM Razor: A systematic approach towards minimizing packet classifiers in TCAMs”, IEEE/ACM Transactions on Networking, 18 (2010), 490–500 | DOI

[15] K. Kogan, S. I. Nikolenko, W. Culhane, P. Eugster, E. Ruan, “Towards efficient implementation of packet classifiers”, Proceedings of the 2-nd Workshop on Hot Topics in Software Defined Networks (2013)

[16] V. A. Zakharov, R. L. Smelyanskii, E. V. Chemeritskii, “Formalnaya model i zadachi verifikatsii programmno-konfiguriruemykh setei”, Modelirovanie i analiz informatsionnykh sistem, 20:6 (2013), 36–51

[17] P. Kazemian, M. Chang, H. Zeng, G. Varghese, N. McKeown, S. Whyte, “Real Time Network Policy Checking using Header Space Analysis”, Proceedings of the 10-th USENIX Symposium on Networked Systems Design and Implementation (2013)