4.1.4 Динамика сети

QSPN v2, описанный до сих пор, не является подходящим для динамических сетей.

Расширенный трассирующий пакет. ETP (Extended Tracer Packet) решает проблему того, как граф должен быть исследован и переисследован, для обновления карты узлов, интересовавшихся сетевыми изменениями. Этот способ работы, основан на простом наблюдении: когда в сети происходит изменение, только информация, хранившаяся в узлах, затронутых изменением, должна быть обновлена. У незатронутых узлов информация должна обновиться, при помощи использования расширенных трассирующих пакетов.

ETP - нециклический трассировщик пакетов (Acyclic Tracer Packet), который содержит часть карты (ATP является нормальным TP со следующим правилом: узел удаляет полученный ATP, если его идентификатор узла уже присутствует в маршруте, содержавшемся в теле пакета. Отметьте также, что, так как это - нормальный TP, он не возвращается назад если достигает конца сегмента.).

Так как карта - ряд маршрутов, и маршрут может быть описан TP, ETP можно рассмотреть как обьединение различных TP. Каждый TP ETP соблюдает интересное информационное правило (описанное выше).

Чтобы дать точное определение ETP, мы должны исследовать каждый случай сетевого изменения.

Измененное соединение предполагает что качество соединения A B изменяется, (оно может улучшиться или стать очень плохим).

Давайте исследовать события, начинающиеся с A, имея в виду, что ситуация аналогична для B.

Начиная с изменения соединения l, оно может быть анологично и для B, чтобы обнаружить новые оптимальные маршруты. Поэтому A пошлет в B ETP со всеми маршрутами своей карты, кроме таковых из формы А→B→…… Если B найдет кое-что интересным, то он будет передано ETP.

Подробнее:

1) А обновляет свою карту.

2) Создание следующего набора:

где:

,

Другими словами является набором всех оптимальных маршрутов карты

М является набором всех маршрутов карты B

gw (r) является первым перелетом маршрута r.

dst (r) является адресатом маршрута r.

rem (r) является Мерой Эффективности Маршрута(Route Efficiency Measure) r.

Если R = 0 тогда алгоритма останавливается.

3) Каждый маршрут r R сохранен как (dst (r), rem (r)).

Создание ETP:

a) А записывает установку R в ETP;

b) А применяет ID узла, наряду со значением эффективности ссылки l;

c) А устанавливает 1 - флаг интересности пакета.

А посылает ETP к B.

Предположим, что узел C получил ETP от своего соседа N (C может быть B, и N может быть А). C исследует ETP и, если он интересный, обновляет его карту, и передает ETP другим соседям:

Если идентификатор узла C уже присутствует в полученном ETP, то C немедленно уничтожает ETP и пропускает весе следующие шаги (Это ациклическое правило).

Пусть R быдет набором маршрутов, содержавшихся в ETP, полученном C.

Пусть М. быть набором всех маршрутов, содержавшихся в карте C.

Для каждого маршрута r R, узел C ищет маршрут m M вроде этого:

dst (m) = dst (r), gw (m) = N

Если m существует, то C устанавливает rem (m): = rem (r) (С этой операцией, мы фактически заменяем m r в карте M). Иначе r скопируется во временно установленное R'.

M сортирован, то есть маршруты карты C сортированы в порядке эффективности.

Для всех r' R', допустим m' M маршрут типа dst (r') = dst (m'). Если r' является лучшей альтернативой m' и если каждый перелет r' доступен C, то r' сохранен в карте C как тройственность (dst (r'), N, rem (r')+rem (C→N)). Карта теперь упорядочена.

4) C создает следующий набор:

5) Если

(a) C создает новый ETP, прилагая установку S и его ID на нем. Флаг интереса, этого ETP, установлен в O.

(b) ETP посылают в N.

Этот новый ETP размножится опять тем же самым путем предыдущего ETP, то есть до момента пока он является интересным. Единственное различие - то, когда узел считает его неинтересным, он только уничтожает ETP (узел уничтожает ETP, если флаг, представляющий интерес, будет установлен в 0 и если это неинтересно ).

Причина для вышеупомянутой процедуры проста: C считает неинтересным, некоторые из маршрутов, содержавшихся в полученном ETP, тогда C отсылает назад свои лучшие маршруты, у которых есть тот же самый адресат тех, которые принадлежат R (надеясь, что они будут полезны для предыдущих интересовавшихся узлов).

Пусть

Если , то ETP все еще интересен: флаг представляющий интерес, остается установленным в 1.

C упаковывает ETP набором и добавляет его идентификатор. ETP посылают всем соседям кроме N. (Шаг осуществляет Интересное Информационное правило: только при хороших маршрутах, другие откидываются. Обратите внимание на расширение: если бы у ETP был только один маршрут, то это было бы почти равно CTP (у CTP нет ациклического правила)).

Режимы C будут использовать ту же самую процедуру. Таким образом, ETP продолжит размножаться, до того пока считается неинтересным.

Наблюдение: Предположим, что следующие суждения возможны:

node N node D

где VN – объединение всех соседей N.

Дан , пусть таким образом, что

,

где M карта N.

Если свойство существует, то шаг 5 может быть опущен (фактически, предположить N, посылает ETP в C и что C считает маршрут r содержавшимся в этом как неинтересный).

Шагом 5 C отсылает назад к N свой известный оптимальный маршрут s, с dst (s) = dst (r), rem (s)> rem (r). Однако, s уже послал C в N (то есть когда соединение N C была стабильно), таким образом свойство , N запомнил s в своей карте M. Поэтому обратное распостранение ETP не приносит новой информации. Если карта топологи описсання ниже, используется, то свойство сохраняется.

Новое соединение. Случай, где новое соединение А B установлено, обработано таким же образом как и изменённое соединение, потому что мы можем рассмотреть l как соединение с новым rem.

Поломанное соединение

1) B создает набор R:

Другими словами, R - набор всех оптимальных маршрутов, проходящих через A.

Если R = 0 тогда это остановит алгоритм.

Каждый маршрут r R сохранен как пара (dst (r), rem (r)).

B обновляет свою карту:

это устанавливает

Маршруты тогда отсортированы в порядке эффективности.

3) B создает следующий набор:

B заполняет ETP:

(a) B добавляет в этом, набор R.

(b) B прилагает свой идентификатор.

(c) B устанавливает в 1 флаг представляющий интерес.

Наконец, B посылает ETP всем своим соседям, кроме A.

В этом пункте ETP распостраняется таким же образом как и в случае Измененного соединения.

Присоединение новых узлов Предполагают, что узел A присоединяется к сети. Его соседи, В1 , В2 , …,ВN которые все уже сцеплены, но они не присоединяются к сети. Тогда, случай нового соединения применен к каждому соединению

Отмирание узела, Когда узел A отмирает, случай Поломанного соединения просто применен к каждому соединению A.