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

Моделирование и анализ информационных систем. 2014. Т. 21. № 6. С. 57–69.

Захаров В. А., Чемерицкий Е. В.

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

Ключевые слова: маршрут, инвариант, реконфигурация, контроллер, коммутатор, программно конфигурируемая сеть, правило коммутации, пакет, постусловие