On the Update Problems for Software Defined Networks
https://doi.org/10.18255/1818-1015-2014-6-57-70
Abstract
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.
About the Authors
V. A. Zakharov
Lomonosov Moscow State University
Russian Federation
Russian Federation
аспирант,
Leninskiye Gory, 1-52, Moscow, GSP-1, 119991, Russia Applied Research Center for Computer Networks
E. V. Chemeritsky
Lomonosov Moscow State University
Russian Federation
Russian Federation
аспирант факультета ВМК,
Leninskiye Gory, 1-52, Moscow, GSP-1, 119991, Russia Applied Research Center for Computer Networks
References
1. McKeown N., Anderson T., Balakrishnan H., et al. Openflow: Enabling Innovation in Campus Networks // SIGCOMM Computer Communication Review. 2008. V. 38, N 2. P. 69–74.
2. Foster N., Guha A., Reitblatt M., et al., Languages for Software-Defined Networks // IEEE Communications Magazine. February 2013. P. 128–134.
3. T. S. E. N. Zheng Cai, A. L. Cox. Maestro: A System for Scalable OpenFlow Control // Technical Report TR10-08. Rice University, 2010.
4. Voellmy A., Kim H., Feamster N. Procera: A Language for High-Level Reactive Network Control // Proceedings of the 1-st Workshop on Hot Topics in Software Defined Networks. 2012. P. 43–48.
5. OpenFlow Switch Specification. Version 1.4.0, October 14, 2013. https://www.opennetworking.org.
6. Francois P., Shand M., Bonaventure O. Disruption-free topology reconfiguration in OSPF networks // IEEE INFOCOM. May 2007.
7. Francois P., Coste P.-A., Decraene B., Bonaventure O. Avoiding disruptions during maintenance operations on BGP sessions // IEEE Transactions on Network and Service Management. 2007. V. 4. N 7. P. 1–11.
8. S. Raza, Y. Zhu, C.-N. Chuah. Graceful network state migrations // IEEE/ACM Transactions on Networking. 2011. V. 19, N 4. P. 1097–1110.
9. Vanbever L., Vissicchio S., Pelsser C., Francois P., Bonaventure O. Seamless network-wide IGP migration // ACM SIGCOMM Computer Communication Review - SIGCOMM ’11. 2011. V. 41, N 4. P. 314–325.
10. Reitblatt M., Foster N., Rexford J., Walker D. Consistent updates for software-defined networks: change you can believe in! // HotNets. 2011. V. 7.
11. Reitblatt M., Foster N., Rexford J., Schlesinger C., Walker D. Abstractions for Network Update // Proceedings of the ACM SIGCOMM 2012 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication. 2012. P. 323–334.
12. Katta N.P., Rexford J., Walker D. Incremental Consistent Updates // Proceedings of the 2-nd Workshop on Hot Topics in Software Defined Networks. 2013. P. 49–54.
13. Noyes A., Warszawski T., Cernyand P., Foster N. Toward Synthesis of Network Updates // Proceedings of the 2-nd Workshop on Synthesis. July 13–14. 2013. Saint Petersburg, Russia, 2013.
14. A. X. Liu, C. R. Meiners, and E. Torng. TCAM Razor: A systematic approach towards minimizing packet classifiers in TCAMs // IEEE/ACM Transactions on Networking. 2010. V. 18. P. 490–500.
15. Kogan K., Nikolenko S.I., Culhane W., Eugster P., Ruan E. Towards efficient implementation of packet classifiers // Proceedings of the 2-nd Workshop on Hot Topics in Software Defined Networks, 2013.
16. Захаров В.А., Смелянский Р.Л., Чемерицкий Е.В. Формальная модель и задачи верификации программно-конфигурируемых сетей // Моделирование и анализ информационных систем. 2013. Т. 20, №6. С. 36–51. [Zakharov V.A., Smelyansky R.L., Chemeritsky E.V. A Formal Model and Verification Problems for Software Defined Networks // Modeling and analysis of information systems. 2013. V. 20, No. 6. P. 36–51 (in Russian)].
17. Kazemian P., Chang M., Zeng H., Varghese G., McKeown N., Whyte S. Real Time Network Policy Checking using Header Space Analysis // Proceedings of the 10-th USENIX Symposium on Networked Systems Design and Implementation. 2013.
Review
For citations:
Zakharov V.A., Chemeritsky E.V. On the Update Problems for Software Defined Networks. Modeling and Analysis of Information Systems. 2014;21(6):57-70. (In Russ.) https://doi.org/10.18255/1818-1015-2014-6-57-70
Views:
827
Email this article 