Алгоритм DESYNC. Достоинства и недостатки

Алгоритм DESYNC. Достоинства и недостатки.
Часть 2. 

3.      Позитивные свойства  алгоритма и его недостатки

3.1. С точки зрения пользователя, алгоритм DESYNC весьма удобен, поскольку он не требует подготовки каких либо настроечных данных, например таких, как размер сети, её топология или её исходное состояние.

Пользователю сети достаточно знать допустимое число абонентов в «клике», которое ограничено возможностями используемых технических средств и задано разработчиком изделия как некая константа.

Это объясняется тем, что, при использовании алгоритма DESYNC, узлы сети определяют моменты передачи собственных синхросигналов автономно,  опираясь лишь на  показания собственных «часов», ход которых корректируется в моменты приёма «синхросигналов» от соседей. При этом  данный алгоритм игнорирует такие атрибуты узлов, как идентификаторы (адреса) соседних узлов, их число, статус и т.п.  

3.2. Рассматриваемый алгоритм обладает свойством «самоадаптации» - добавление или удаление того или иного узла не приведёт к потере синхронизма. Возникающий при этом «дисбаланс» фаз вызовет лишь  их коррекцию в узлах сети, причём, по окончании соответствующего переходного процесса, сеть войдёт в стационарный режим. То же самое будет происходить при поражениях или спонтанных отказах узлов.  

3.3. Использование данного алгоритма обеспечивает «справедливое» деление временных интервалов между узлами -  в стационарном режиме (в независимости от числа узлов) интервалы времени между передачами очередных синхросигналов – T / n будут распределены равномерно.

Эта особенность может оказаться полезной при случайных сбоях и временных потерях радиослышимости – если число абонентов в сети невелико, то случайные сбои, которые могут спровоцировать резкие скачки фаз, далеко не всегда приведут к коллизиям. Такие события будут всегда приводить к увеличению длин интервалов T / n, что увеличивает шансы на успех  при возврате элементов сети к прежнему состоянию.  Вообще, любая подобная ситуация может рассматриваться как «штатная».

 3.4. Однако следует отметить, что использование рассматриваемого протокола эффективно только в том случае, если топология сети отвечает условию (9):

то есть сеть является «кликой».

Если же условие (9) соблюдаться не будет, то сеть может оказаться в состоянии «перманентного переходного процесса», который может быть проиллюстрирован следующим примером.

Допустим, что сеть состоит из трёх узлов и её топология соответствует графу, который изображён на рисунке 2:

Рисунок 2

Представим себе, что в сети работают только два узла – X_a и X_b, и моменты выдачи «синхросигналов» этими узлами, соответствуют временному циклу, представленному на рисунке 3:

Рисунок 3

Теперь представим себе, что, после очередной коррекции фазы в узле X_b, к сети подключился узел X_с,  и следующий цикл T будет соответствовать рисунку 4:

Рисунок 4

Такая ситуация приведёт к сдвигу фазы узла X_b, причём «новая» фаза этого узла будет стремиться к середине интервала времени между выдачей «синхросигналов» от узла X_a (воспринимаемого как узел X_b-1) и X_с (воспринимаемого как узел X_b+1).

Но, поскольку «новая» фаза узла X_b  обнаружится только в следующем цикле, резких скачков фаз в узлах X_a и X_с  не произойдёт. Произойдут лишь следующие события:

1)      узел X_c зафиксирует длину интервала Δ_с(t), воспринимая  X_b  как источник «синхросигнала» от  мнимого  узла X_c-1;

2)      узел X_a  зафиксирует либо длину интервала Δ_a(t), либо длину интервала Δ_a+1(t)  (в последнем случае процедуры коррекции фазы в узле X_a будут выполнены, но фаза этого узла практически не изменится).

Далее, последовательность событий может развиваться по следующему сценарию:

- получив  следующий «синхросигнал» от X_b, узел X_с сдвинет свою фазу так, что момент выдачи «синхросигнала» X_c  в следующем цикле будет смещён в сторону X_a, (см. рисунок 5):

Рисунок 5

- если узел X_a воспринимает «синхросигнал» от X_b как сигнал от источника X_a+1, то он также сдвинет свою фазу, но в противоположенную сторону – навстречу X_с (см. рисунок 6):

Рисунок 6

- возникает коллизия, в результате чего узел X_b перестанет воспринимать сигналы от своих соседей и будет менять свою фазу только за счёт погрешности собственных «часов»;

- однако «дрейф» фазы X_b не улучшит сложившуюся ситуацию, поскольку узлы X_a и X_c будут всегда стремиться занять один и тот же слот.

Возможны другие (может и более благополучные) сценарии, но приведённого примера вполне достаточно, чтобы убедиться в том, что использование алгоритмов DESYNC в сетях, не отвечающих условию (9), не имеет смысла.