О некоторых задачах реконфигурирования программно-конфигурируемых сетей


https://doi.org/10.18255/1818-1015-2014-6-57-70

Полный текст:


Аннотация

Разработка алгоритмов реконфигурирования сетей является важным направлением развития программного обеспечения для телекоммуникационных сетей нового поколения — программно-конфигурируемых сетей. Частный случай проблемы реконфигурирования сетей — это задача плавного восстановления заданной сетевой конфигурации, после того как некоторые правила коммутации пакетов были удалены из таблиц коммутаторов (например, по истечении срока их активности). В данной статье проведено исследование этой задачи в рамках формальной модели программно-конфигурируемых сетей, предложены корректные и безопасные алгоритмы восстановления сетевых конфигураций и показано, что в общем случае задачу плавного восстановления конфигураций нельзя решить без обращения к правилам коммутации с приоритетами.


Об авторах

Владимир Анатольевич Захаров
Московский государственный университет им. М.В. Ломоносова
Россия
профессор, 119991, Москва, ГСП-1, Ленинские горы, д. 1, стр. 52, Центр прикладных исследований компьютерных сетей


Евгений Викторович Чемерицкий
Московский государственный университет им. М.В. Ломоносова
Россия
аспирант факультета ВМК, 119991, Москва, ГСП-1, Ленинские горы, д. 1, стр. 52, Центр прикладных исследований компьютерных сетей


Список литературы

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.


Дополнительные файлы

Для цитирования: Захаров В.А., Чемерицкий Е.В. О некоторых задачах реконфигурирования программно-конфигурируемых сетей. Моделирование и анализ информационных систем. 2014;21(6):57-70. https://doi.org/10.18255/1818-1015-2014-6-57-70

For citation: 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

Просмотров: 208

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)