Пусть
M
s
h,r
—
сообщение о маршрутах, полученое маршрутизато-
ром
r
от маршрутизатора
h
через сеть
s
.
В соответствии со специфи-
кацией протокола
(
h
n, h, l
i 2
M
s
h,r
∧
n /
2
A
r
∧
l < μ
−
1)
)
σ
new
;
(
h
n, h, l
i 2
M
s
h,r
∧
α
r
(
n
)
=
h
h, l
old
,
s
old
i ∧
l < μ
−
1)
)
σ
same
;
(
h
n, h, l
i 2
M
s
h,r
∧
α
r
(
n
)
=
h
h
old
,
l
old
,
s
old
i ∧
l < l
old
)
)
σ
shorter
;
(
h
n, h, l
i 2
M
s
h,r
∧
α
r
(
n
)
=
h
h, l
old
,
s
old
i ∧
l
>
μ
−
1)
)
σ
inf
.
Помимо таймера
T
send
= 30
с, управляющего периодичностью рас-
сылки сообщений, каждый маршрутизатор должен использовать ряд
таймеров, связанных с каждым маршрутом. Каждый элемент марш-
рутной таблицы с метрикой
1
< l < μ
связан с запущенным тайме-
ром истечения времени маршрута, по умолчанию имеющим значение
T
route
= 180
с.
Маршрутизатор сбрасывает этот таймер, когда случается одно из
следующих событий:
σ
new
,
σ
same
,
или
σ
shorter
.
Каждый маршрут к не-
достижимой сети с метрикой
l
=
μ
связан с запущенным таймером
уборки мусора, имеющим по умолчанию значение
T
flush
= 120
с. В
случае применения таймера удержания каждая запись о недостижи-
мой сети связана также с таймером удержания, равным по умолчанию
T
hold
= 180
с. При использовании таймера удержания должно вы-
полняться условие
T
hold
6
T
flush
,
поэтому при использовании таймера
удержания рекомендуется выбрать значение
T
flush
= 240
с.
Пусть
β
k
r
—
отображение между маршрутами, известными маршру-
тизатору
r
,
и текущими значениями их таймеров в момент времени
t
k
:
β
k
r
:
A
k
r
\
E
r
→
[0
,
T
route
]
×
[0
,
T
flush
]
×
[0
,
T
hold
]
.
Свяжем следующие события с моментами срабатывания таймеров
маршрута:
событие
σ
expired
происходит в момент срабатывания таймера исте-
чения времени машрута;
событие
σ
flush
—
в момент срабатывания таймера уборки мусора;
событие
σ
hold
—
в момент срабатывания таймера удержания.
Рассмотрим возможные состояния маршрута до сети
n
от марш-
рутизатора
r
.
Жизненный цикл маршрута можно описать в качестве
конечного автомата с выходом (рис. 1), который определяется корте-
жем
F
n
=
h
Σ
,
Γ
,
S, s
0
,
δ, ω
i
,
где
Σ =
{
σ
new
,
σ
same
,
σ
shorter
,
σ
inf
,
σ
expired
,
σ
hold
,
σ
flush
}
—
входной ал-
фавит автомата;
Γ =
{
γ
valid
,
γ
hold
,
γ
remove
,
γ
none
}
—
выходной алфавит
автомата;
S
=
{
s
valid
,
s
hold
,
s
invalid
,
s
unknown
}
—
множество состояний
102
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
