Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

lect

.pdf
Скачиваний:
14
Добавлен:
30.05.2015
Размер:
4.31 Mб
Скачать

Таблица 4.6: Распределение значений пропускной способности и ее оценки от достоверности передачи пакета

 

для трактов с буферными пулами единичной длины

 

F

^5(1,.,1) ^б(1,.,1) Z7(l,.,l) ^5*(1,-,1)

^б*(1,-Д)

^7*(1,.,1)

0.1

0.035

0.033

0.032

0.034

0.032

0.030

0.2

0.074

0.070

0.068

0.072

0.067

0.064

0.3

0.118

0.113

0.109

0.116

0.108

0.102

0.4

0.169

0.161

0.156

0.166

0.154

0.146

0.5

0.228

0.218

0.211

0.224

0.209

0.198

0.6

0.299

0.286

0.276

0.294

0.275

0.261

0.7

0.387

0.370

0.358

0.382

0.358

0.341

0.8

0.504

0.483

0.468

0.499

0.471

0.449

0.9

0.676

0.651

0.633

0.673

0.643

0.618

(4.4), (4.7), (4.9), (4.11), (4.12) можно построить нижнюю границу показа­

теля пропускной способности ^£,(1,..., 1) < ^£>(1,

,1):

°t\l

- F)" (

ZU

(4.15)

При D < i данная оценка совпадает с показателем Z|,(l,... ,1). Чи­ сленные результаты, приведенные в табл.4.6, подтверждают то, что для D > 5 зависимость (4.15) хорошо апроксимирует снизу пропускную спо­ собность многозвенного тракта передачи данных, которая при F < 1 монотонно падает с увеличением его длины. Аналогичная оценка сверху для средней сквозной задержки Т|,(1,..., 1) > Т£,{1,..., 1) имеет вид:

Е 1 - F D-1-d (rf+i)

гь(1,...,1) = d=0

F E (1- FY

d—O

141

4.4Декомпозиционный метод расчета пропускной способности тракта передачи данных

Декомпозиционный метод основан на представлении тракта передачи данных длины D цепью из D — 1 последовательных СМО с дискретным временем и конечным накопителем. При этом вводится идеализирующее предположение о том, что дискретный марковский поток, поступающий на вход последовательности СМО, сохраняет марковские свойства на выходе каждой СМО.

Пусть \d, d = 1,D — 1- интенсивность входного потока , а //^ - интен­ сивность обслуживания d-ож СМО (параметры соответствующих геоме­ трических распределений). Обозначим через Qd - вероятность блокиров­ ки входного потока в d-ом. транзитном узле {d-ож СМО). Тогда свойства потока, входящего в многозвенный передающий тракт, определяются ка­ чеством первого межузлового соединения: Ai = Fi. Параметр распределе­ ния пропущенного потока, являюпщися пропускной способностью тракта передачи данных, составит:

Z'b(Kb...,KD-i) = Fi(l-Q,).

(4.16)

Данный поток, предложенный второй СМО, будет блокироваться с веро­ ятностью Q2. Заблокированная доля потока будет передаваться повторно и обпщй входной поток во вторую СМО с учетом ретрансляций заблоки­ рованных при приеме блоков данных определится соотношением:

А2 = Ai(i - Qi) Е Q r 4 i - Q2) =

F , - - ^ .

г=1

1 - V2

На выходе второй СМО пропущенный поток снова определится выраже­ нием (4.16). Отсюда видно, что для входного потока произвольной СМО вдоль рассматриваемой последовательности справедливо:

A. = ^.i5j.

(4.17)

Проанализируем параметры //^ последовательности СМО. Очевидно, что величина //^ определяется качеством с?-Н 1-го канала и вероятностью блокировки d -\- 1-ой СМО:

Hd = Fd+i(l-Qd+i). d =

l,D-2.

Для последней {D — 1-ой ) СМО в последовательности имеет место:

l^D-i = FD-

142

У т в е р ж д е н и е 4.1.

В декомпозированной сети СМО с дискретным временем, моделирую­ щей многозвенный неоднородный тракт передачи данных с конечными на­ копителями и ретрансляцией информации в транзитных узлах, величины пропущенных потоков в стационарных условиях образуют неубывающую последовательность:

Fi(l - Qi) < ^2(1 - Q2) < ... < FD-iil - QD-I) < FD.

(4.18)

Д о к а з а т е л ь с т в о .

Поскольку входной поток в d-ую СМО, поступающий по d-ouy меж­ узловому соединению, с учетом повторных передач не может превышать физических возможностей канала связи, то для него имеет место следую­ щее неравенство:

Л<^ <Fd,d =

1,D-1.

С учетом (4.17) данное неравенство перепишется следующим образом:

Fi{l -Qi)<Fd{l-Qd)d

= l,D-l.

(4.19)

С другой стороны величина пропущенного потока в сети СМО не мо­ жет превышать интенсивности обслуживания на любом из этапов цепочки СМО:

i^i(l - Qi) < Fd^iil - Qrf+i), d = 1, Z) - 2; Fi(l - Qi) < FD-

(4.20)

Предположим, что в выражении (4.19) для некоторого d = 1,D — 1 выполняется равенство, т.е. пропущенный поток совпадает с физическими возможностями канала связи. Тогда из (4.20) следует:

Fd{l -

Qd) < Fd+i(l -

Qd+i).

Последовательно полагая, что в соотношении

(4.19) выполняется равен­

ство, при d = 2,D — 1 получаем (4.18).

 

У т в е р ж д е н и е

д о к а з а н о .

 

Для статистически однородного тракта отсюда следует, что доли про­ пущенного потока на каждом этапе цепочки СМО не певышают этих долей на любом последующем этапе и образуют неубывающую последователь­ ность:

(1 - Qi) < (1 - Q2) < ... < (1 - QD-I) < 1.

(4.21)

Теперь, используя выражение (3.3) для вероятностей состояния оди­ ночной дискретной СМО, нетрудно записать систему уравнений, позво­ ляющую проводить расчет вероятностей блокировок Qd и пропускной

143

способности многозвенного тракта

 

 

1

Ял

 

,

d = l,D-l]

 

 

 

Pd

 

1-Qd = (1-л,)(1-/>^) + Ы1 - р?')

 

 

Arf(l -

/id)

 

 

 

 

 

Pd =Md(l - Ad)'

 

 

 

 

 

Ad

 

 

 

 

 

 

Pod = —;

 

 

 

 

 

(4.22)

Pd

 

 

 

 

 

Ai = Fi;

 

 

 

 

 

 

Ad = i ^ i i ^ , rf = 2 ; : D ^ ;

 

 

1 - Vd

 

 

 

 

 

/ii = F d ( l - Q d ) , tf = l,L> - 2;

 

 

Рассмотрим данную систему при

£) = 3, и

iird = l, с?=1,2. Тогда

система уравнений (4.22) принимает вид:

 

 

1 - Q i

=

 

 

^

 

 

 

 

1 - F i + F i / F 2 ( l - Q 2 ) '

 

1 - Q2

 

 

 

i^3

 

 

 

F3 + F i ( l - F 3 ) ( l - Q i ) / ( 1 - Q 2 )

 

 

Отсюда получаем, что при двух абсолютно надежных каналах трехзвенного тракта его пропускная способность (4.16) также как и в случае точного описания виртуального соединения (см. раздел 4.2) определяется достовер­ ностью передачи пакета в третьем канале:

Z3(l,l) = Fd, ^ = 1,3, Fi = Fj = l, г = 1,3, i = l,3, г ^ J, г ф d, j Ф d. (4.23)

Проанализируем точность описания (4.22) для следующих параметров тракта: D = 3, A"d = 2, б? = 1,2. Уравнения равновесия при этом прини­ мают вид:

 

 

 

F,{1 - F2(l - Q2))

 

1 - Q i

=

 

1 +F2(l - Q2)(l - Fi)

 

 

 

Fi(i-F2(i-g2))V

 

 

 

 

 

 

1-Fi

+ F2(l - Q2) \1 +F2(l - Q2)(l

- Fi)

 

 

1 +

Fi(l - Qi)(l - F,)

+

 

I-Q2

==

Fsjl - Q2 - Fiji - Qi))

 

 

1-Qi

 

 

 

 

 

I-Q4

 

 

 

 

 

^1(1 - ^1) /"i +

1+ ^1(1 - ^i)(l - ^3)

 

 

Fb{l - Q2) \

F,{1 -Q2- Fi{l -

Qi))j

144

Нетрудно убедиться в том, что отсюда следует (4.23).

В табл.4.7 приведены значения пропускной способности ^1(2,2), полу­ ченные декомпозиционным методом для статистически однородного трак­ та. Из сопоставления результатов, представленных в табл.4.2 и табл.4.7 видно, что декомпозиционный метод для тракта длины D = 3 дает хо­ рошее приближение точной модели.

При D = 4 и Kd = 1 описание тракта передачи данных в стационар­

ных условиях задается следуюш;ей системой уравнений:

 

l - Q i

=

^ ^ р г ;

(4.24)

 

 

^ " •'"' "^ ^ 2 ( 1 - <?2)

 

1 _ Q,

=

i + f , ( i _ g , ) _ g l ^ ;

(4.25)

1 _ Q3

= 1 - ^^('-^f-Q^\

(4.26)

Из данной системы видно, что при любых трех абсолютно надежных кана­ лах связи тракта его производительность определяется качеством четвер­ того. Подставляя (4.25) в (4.24), а полученное соотношение в (4.26) для статистически однородного тракта приходим к нелинейному относитель­ но 1 — Qi уравнению:

(1 - Qif{F(l - Ff} + (1 - Qif{3 - 5F + 3^2} - (1 - gi){4 - 3F} -Ы - О,

решение которого, удовлетворяющее условию О < 1 — Qi < 1, приведено в табл.4.8.

Для значений F > 0.7 данное уравнение не имеет корней в интервале от О до 1. Кроме того, ограничение (4.21) для полученных значений

параметров 1 — Q^,

б? = 1,3 выполняется только при F < 0,4. В этой

же области значений

F как видно из сравнения данных, приводимых в

табл.4.8, приближения ^1(1,1,1), полученные декомпозиционным мето­ дом, хорошо согласуются с точными результатами для функции пропуск­ ной способности ^4(1,1,1).

Таким образом, с ростом длины тракта D адекватность декомпози­ ционной модели реальному процессу передачи данных снижается и имеет место только для распределения редких событий, когда достоверность F - мала.

145

 

Оа

о о

о

о

о

 

1-г]

 

ОЪ

ОТ

00

to ^-^

 

 

й^

 

 

 

О

О

о

о

о о h-^

 

сд

rf^ф-

оо оо

 

1

 

rf^

^

CD

фоо-

CD

05

 

 

от

от

о

to

о

оt — *

 

о

о о

о

о

о

 

^—^

 

ОС ОС от от ел

от

 

1

 

05

Mi-

 

о

о

о

«О

 

 

^—^о

 

от

 

to

-J

-vl MS-

 

о

о о

о

о

о

 

(—'

 

^

05

Oi

<У>

1

05

о

h-^

Oiо

CD

Oiоо

-vT

 

 

to

OJ

05

05

о

 

 

 

 

 

 

 

w

 

 

 

о

о

о

о

^

 

м^о toо Н-»

 

о

о

> * - *

 

 

 

1—'

 

rf^

0 0

CD

^—^

00

 

 

 

00

^

 

 

 

^ -о СУ5

о

CD 05 ^^-^

 

05о

toо

о

о

о

о

 

1—'

 

1—'

1—»

о

о

 

 

to

й^

^00-^

to

^

оо 1—1

 

о

4^

 

-vl

CD

-J

 

I — '

fa

 

 

и

а

 

о

о

 

S

2

 

О

аа

н

S

о

Л

 

 

п

 

а

о

 

«

о

 

§

 

а

00

W

о

 

о

w

'т)

 

а

W

а

<^

о

я

о

а

тз

о

а

а

и::

 

О!

ш

 

Е

п)

а

а

О)

 

 

и

 

 

а

 

 

1

о

о

а

 

•<о

5

" Й

г»

а

о

а

о

at

а

о

о

а

а

> ;

о

2

о\

II

S

оа

о

м

isi

н

а

II

?

 

со

Я>

 

о

о

О

о о о

CD

00

^

о> от м^

О о о о о о

CD -J о> от от rf^

I—' со h4i- 00 оо со о> о СО CTi 05 от

О о О о о о

оо00 ОО -J -J

ооот О Oi 00 о CD ф- от 05 to 00

О

о

О

о

о

о

от

Ф-

оо

to

1—'

от

00

ОТ

от

05

00со

ОТ

rf^Mi-

to

оо

О

о

О

о

о

о

CD

оо 00

-<1

05

to

Oi

-оvl

05

I — '

оо

ОТ

l—^

о

 

 

со to

о

о

о

о

о

о

С5

to

оо

-4

Mi-

to

CD

CD

 

00

00

00

to

оо 00со to

00

05

О

о

о

о

о

о

00

05

от

м^ оо

ю

оо 00

05

от от

to

CD

от

С75

со

 

 

 

оо

II S"

4.5В ы в о д ы

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

2.Обнаружена инвариантность показателя пропускной способности к порядку расположения транзитных узлов с буферными накопителями раз­ личной емкости вдоль статистически однородного тракта передачи дан­ ных и незначительная зависимость средней сквозной задержки пакета от этого порядка.

3.Установлена целесообразность равномерного распределения буфер­ ного пространства среди транзитных узлов вдоль многозвенного тракта, обеспечивающего наилучшую его производительность.

4.Показано, что при построении сетевых трактов передачи данных, состоящих из большого числа участков переприема, следует надежные ка­ налы связи равномерно распределять между звеньями с высоким уровнем искажений. Тем самым эти участки переприема выполняют роль дополни­ тельных буферов между ненадежными звеньями и снижают отрицатель­ ный фактор блокировок буферной памяти.

5.Получена аналитическая оценка нижней границы пропускной способ­ ности и оценка сверху средней сквозной задержки многозвенного тракта передачи данных, соответствующие минимальному количеству буферов в транзитных узлах.

6.Предложена схема поиска распределения вероятностей состояний це­ пи Маркова, описывающей многозвенный тракт произвольной длины с единичными емкостями транзитных буферных накопителей, и его опера­ ционных характеристик.

7.Построен декомпозиционный метод расчета пропускной способности сквозного соединения, отличающийся пониженным порядком системы не­ линейных уравнений, описывающих процесс информационного переноса.

147

Глава 5

ДЕТЕРМИНИРОВАННЫЕ КОНВЕЙЕРНЫЕ МОДЕЛИ МНОГОЗВЕННОГО ТРАКТА ПЕРЕДАЧИ ДАННЫХ

5.1Структурные особенности транспортного уровня управления сетью

Важнейшим показателем эффективности функционирования сети пакет­ ной коммутации является время передачи пользовательских данных меж­ ду взаимодействуюш;ими абонентами. Функции по доставке пользователю потока сообпдений и компенсации издержек в передаче пакетов, которые могут иметь место в сети обмена данными, выполняются протоколом траспортного уровня [34, 96, 118]. В основе транспортного протокола так же, как и в случае протокола управления информационным каналом, лежит принцип решающей обратной связи, однако здесь восстановление после ошибок в сквозном транспортном канале обычно реализуется по сообще­ ниям в целом [34, 96, 118], а не по отдельным информационным кадрам.

Характерной чертой транспортного протокола, существенной с точки зрения рассматриваемых в данной главе вопросов, является сегментация абонентских сообщений на отдельные фрагменты [95], максимальный раз­ мер которых не может превышать заданного значения. Фрагменты оформ­ ляются на сетевом уровне в пакеты данных и передаются самостоятель­ но. В рамках широко используемой рекомендации ITU-T Х.25 границы сообщения, состоящего из нескольких фрагментов, задаются с помощью бита "продолжение данных" [34, 112]. Аналогичные возможности для сте­ ка протоколов TCP/IP реализуются с помощью управляющего флага MF

148

межсетевого протокола IP [107]. Идентификация различных сообщений в общем потоке данных осуществляется по номеру виртуального соединения (адресам взаимодействующих партнеров) и последовательному номеру со­ общения [34].

Важной особенностью виртуального канала между корреспондирующи­ ми процессами является то, что он может состоять из нескольких межузло­ вых соединений. Так, например, в сети ARPA средняя длина пути между взаимодействующими парами ЭВМ, выраженная в количестве транзит­ ных узлов, достигает шести [93]. Передача мультипакетных сообщений по виртуальным каналам такой длины приводит к тому, что фрагменты со­ общения одновременно передаются на различных участках пути (рис.5.1). Этот эффект получил название трубопроводного (конвейерного) [65, 211], поскольку передача сообщения по соединительному тракту напоминает те­ чение жидкости по трубе, причем, чем меньше размер фрагмента, тем сильнее это сходство.

Задержка абонентского трафика в виртуальном соединении в значи­ тельной мере зависит от характеристик отдельных звеньев соединитель­ ного пути, длины тракта передачи данных, размеров пользовательских сообщений, интенсивности сетевых потоков и параметров линейного про­ токола, среди которых наиболее важным является размер кадра, фактиче­ ски определяющий силу конвейерного эффекта.

Следует отметить также, что соединительный путь виртуального ка­ нала в сети пакетной коммутации используется совместно многими вза­ имодействующими абонентами. Это приводит к тому, что нагрузка на различные участки тракта передачи данных, вдоль которого проходит виртуальное соединение, может оказаться существенно различной. Тогда эффективная пропускная способность отдельных звеньев для трафика дан­ ного виртуального соединения будет снижаться на соответствующие доли "внешних" потоков, в результате чего время передачи пакетов по межуз­ ловым соединениям даже однородного виртуального канала может быть существенно неодинаковым.

В общем случае максимальные размеры протокольных блоков данных различных уровней в иерархической системе протоколов могут быть раз­ личными и не согласовываться друг с другом. Тогда на нижних уров­ нях архитектуры возможно потребуется сегментация или сцепление про­ токольных блоков более высоких уровней. Основными критериями выбора размера блока на каждом уровне является удобство его обработки и функ­ ционирования сети. Обычно удобными для обработки являются блоки, раз-

149

Путь передачи

Звено

Рис. 5.1: Схема прохождения мультипакетного сообщения по ненагруженному неоднородному виртуальному соединению при т^ > TI > Т2 = т^ > т^

150

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]