Метод управления процессами реконфигурации ПКС при условии ε- согласованности для выполнения конкурирующих запросов построения маршрутовкурсовая работа (Бакалавр)
Аннотация:Логикой сети управляют приложения, запущенные на контроллере, которые используют специальный программный интерфейс. Некоторые контроллеры (например, NOX, Ryu, Beacon) используют прямое управление таблицами потоков коммутаторов с помощью OpenFlow сообщений. Это вносит ряд проблем, например, необходимость в приложениях поддерживать корректной логику работы с таблицами потоков. Таким образом, работа приложения зависит от окружения, наличия других приложений, выполняемых на контроллере. Это противоречит модульному подходу к созданию приложений и сервисов в ПКС. В качестве решения этой проблемы было предложено размещение единого специального посредника «Верифицирующий монитор (Вермонт)» между контуром управления и контуром данных, проверяющего корректность направляемых на коммутаторы команд. Задача такого посредника – хранить и поддерживать в актуальном состоянии модель ПКС для проверки генерируемых контроллерами команд. Вермонт гарантирует корректную конфигурацию сети в любой момент времени за счет блокировки работы приложения. В случае нарушения условия непротиворечивости, Вермонт блокирует отправку команд на коммутаторы, а на контроллер отправляется сообщение об ошибке. Решение относится к классу реактивных. Такой способ разрешения конфликтов не всегда приемлем, в частности для приложений, связанных требованиями обеспечить необходимый уровень обслуживания (SLA), включая требования по времени. Выходом из ситуации может стать проактивное построение плана внесения изменений в конфигурацию контура данных в соответствии с политиками ПКС и требованиями SLA с учетом результатов работы независимо работающих приложений, выдающих запросы на реконфигурацию сети. По сути, это означает расширение функциональности Вермонта и перемещение его в качестве дополнительного слоя изоляции на северный интерфейс контроллера, между контроллером и приложениями конфигурации сети. Для проактивного подхода необходимо, чтобы у контроллера была актуальная информация о всех потоках в сети, в том числе о потоках, инициируемых посредством PacketIn, то есть реактивно. Однако это не всегда реализуемо. В качестве решения этой дилеммы предлагается воспользоваться теорией упорядочивания, достаточно успешно эксплуатируемой в работе транзакционных информационных систем. К защите выносится метод автоматического построения плана упорядочивания запросов от разных независимых приложений по внесению изменений в конфигурацию контура данных в соответствии с политиками ПКС и требованиями SLA для случая ε- согласованности.