CC BY
24
2010
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА Управление, вычислительная техника и информатика
№ 4(13)
ИНФОРМАТИКА И ПРОГРАММИРОВАНИЕ
УДК 681.324
П.А. Михеев, С.П. Сущенко
О БЫСТРОДЕЙСТВИИ АГРЕГИРУЮЩЕГО КАНАЛА ЗВЕЗДООБРАЗНОГО СЕТЕВОГО ФРАГМЕНТА
Исследуется математическая модель звездообразного фрагмента сети, агрегирующего абонентские потоки в магистральный канал глобальной сети. Получены функциональные зависимости объема потока, пропущенного по магистральному каналу, от емкости буферного пула транзитного узла, числа абонентов и параметров линий сетевого фрагмента.
Ключевые слова: звездообразный сетевой фрагмент, пропускная способность, блокировки памяти, система массового обслуживания, агрегирование потоков.
В задачах анализа и синтеза структуры сетей передачи данных важнейшим объектом исследования является звездообразный сетевой фрагмент [1], выполняющий функции мультиплексирования местных абонентских потоков данных локальных сетей подразделений организации в магистральный канал глобальной сети. Всесторонний анализ звездообразной топологической структуры необходим не только для решения задач выбора пропускных способностей, распределения потоков и синтеза управляющих параметров при демультиплексировании магистральных потоков [2], но и при реализации алгоритмов маршрутизации, разработке методов управления информационными потоками и ресурсами буферной памяти транзитных узлов передачи данных, агрегирующих трафик абонентских соединений в единый интегральный поток. Математические модели такого сетевого образования, агрегирующего клиентские потоки в глобальную сеть, позволяют изучать влияние параметров входящих потоков на пропускную способность исходящих каналов связи маршрутизатора с ограниченной памятью, проводить расчет емкости буферного накопителя.
1. Модель фрагмента сети с мультиплексированием трафика
Рассмотрим звездообразный фрагмент сети, состоящий из М+1-го звена передачи данных, в котором в центральный транзитный узел одновременно по М входящим каналам связи поступают информационные потоки и агрегируются в один исходящий канал (см. рис.1). Предположим, что в узлах-отправителях входящих каналов всегда имеются пакеты для передачи в центральный транзитный узел. Пусть обмен в каждом звене выполняется полными кадрами и организован в соответствии со старт-стопным протоколом [3], согласно которому кадр считается принятым узлом-приемником, если в нем не обнаружены ошибки. При искажении информационного кадра или квитанции, подтверждающей правильность приема кадра получателем, происходит повторная передача. Полагаем, что каждым зве-
ном фрагмента переносится симметричный трафик [4], все входящие каналы связи имеют одинаковое быстродействие, а физическая скорость исходящего канала в £ >1 раз выше. Считаем, что узлы-отправители и узлы-получатели имеют одинаковое время обработки кадров при приеме и отправке. Тогда за время полного цикла передачи кадра / по входящим звеньям рассматриваемого фрагмента в исходящий канал может быть отправлено £ кадров. Будем считать, кроме того, что кадр, поступивший в транзитный узел в текущем цикле /, начнет передаваться по выходному каналу только в следующем цикле. Полагаем также, что безошибочная передача кадра данных во входящих каналах определяется вероятностями Ет,т=1,М , а в исходящем канале - вероятностью Е. Нетрудно видеть, что время
безошибочной передачи кадра по каждому межузловому соединению является случайной величиной, кратной /. Если условия первой и повторных передач одинаковы, то данная величина имеет геометрический закон распределения с параметром Ет во входящих каналах и параметром Е - в исходящем канале связи. Будем считать также, что для хранения пакетов в выходной очереди в транзитном узле выделен пул совместно используемой буферной памяти объема К>М. Тогда поведение рассматриваемого сетевого фрагмента представимо в виде марковской системы массового обслуживания (СМО) с дискретным временем, конечным накопителем, групповым входящим потоком и одним прибором с групповым характером обслуживания [5]. Групповой входящий поток СМО определяется качеством входящих каналов Ет, а время и число обслуженных заявок - качеством исходящего канала Е и его быстродействием £. Динамика очереди к выходному каналу связи данной СМО описывается цепью Маркова. Множество возможных состояний цепи Маркова определяется размерами буферной памяти.
Важнейшей характеристикой СМО ограниченной емкости в стационарных условиях является пропускная способность. В рассматриваемом случае данная операционная характеристика интерпретируется как интегральная пропускная способность входящих звеньев, нормированное значение которой определяется величиной пропущенного (обслуженного) потока:
г(,Е,^,...,Ем)=Е{кРк + Б 2 рЛ (1)
\к=\ £=5+1 ;
где Рк - вероятности состояний цепи Маркова, образующие полную группу собы-
К
тий: 2 Рк =1.
к=0
2. Анализ быстродействия сетевого фрагмента с однородными скоростями каналов
Найдем функциональную зависимость вероятностей состояний СМО в стационарных условиях от параметров фрагмента сети с одинаковыми физическими скоростями передачи данных во всех звеньях звездообразной структуры. Начнем рассмотрение со случая двух входящих каналов (М=2), которые разделяют буфер транзитного узла емкостью К >М. Для дискретной цепи Маркова с конечным числом состояний, описывающей рассматриваемую СМО в установившемся режиме, система уравнений равновесия для вероятностей состояния имеет следующий вид:
Р (1 + Е - ЕЕ )=РЕ (1-Е)(1-Е);
Р [Е + Е2 - ЕЕ + Е (1-2 Е - 2 Е +3ЕЕ )]=Ро ( + Е2 - 2 ЕЕ)+Р2 Е (1-Е)(1-Е);
Р2 [Е + Е2 - Е Е2 + Е (1-2 Е - 2 е +3Е Е2 )=Ро Е Е2 + р [(1-е)(е + Е2 - 2 е Е2)+ее; Е2 ]+ +Р3 Е(1-Е )(1-Е2); Р [Е + Е2 - ЕЕ2 + Е(1-2 Е - 2е2 +зее )]=р-2 (1-е)ЕЕ+
+Р-1 [(1-[ )(Е + Е2 - 2Е;Е2)+ЕЕЕ ]+ ] Е (1-Е)(1-Е2) = 3”К-1;
РкЕ(1-Е)(1-Е2 )=Рк-2 (1-Е)ЕЕг + Рк - [(1-Е)(Е + Е2 - 2 ЕЕ2)+ЕЕ ].
Отсюда для финальных вероятностей получаем
Р = Р (( + Е2 - ЕЕ ). Р = Р ЕЕЕ +(;-Е)(Е1 + Е2 - ЕЕ )2.
1 0 Е (1-Е1)(1-Е2); 2 0 Е2 (1-Е )2 (1-Е2 )2 ;
Р = Р-2 (1-Е)ЕЕ2 + Р- [(1-Е)(Е + е - 2ЕЕ)+ЕЕ] г е(1-е )(1-Е) , , .
Для объема буферной памяти К=2 пропускная способность определится соотношением
2 (2, Е, Е, Е )=Е - Е3 (1-Е)2 (1-Е )2/4,
А=Е2 (1-Е)2 (1-Е2 )2 + е (1-Е)(1-Е )(Е + Е2 - ЕЕ)+ЕЕЕ +(1-Е)(Е + Е - ЕЕ )2.
Для входящих каналов связи с равными вероятностями безошибочной передачи кадров (Е1=Е2=Е*) данное соотношение принимает вид
2(2 Е Е Е)=Е ЕЕ*2 + ЕЕ* (1-Е*)2 (2-Е*)+Е*2 (1-Е)(2-Е*)2
’ ’ *’ * ЕЕ*2 + ЕЕ* (1-Е*)2 (2-Е*)+Е*2 (1-Е)(2-Е*)2 + Е2 (1-Е*)
Для сетевого фрагмента с одинаковой статистикой ошибок во всех звеньях передачи данных (Е1=Е2=Е) пропускная способность упрощается до следующей зависимости:
2 (2, Е, ЕЕ )=е Е+(1-Е)(2-Е)(3-2Е) 4.
Е+(1-Е )(2 - Е )(3-2 Е )+(1-Е )4
При абсолютно надежном исходящем канале связи (Е=1) выражение для пропускной способности преобразуется к виду
2 (; Е Е)— (1-Е)(1-Е2 )(Е + Е - ЕЕ)+ЕЕ2
” 2 (1-Е)2(1-Е2)2 +(1-Е)(1-Е)(Е + Е2-ЕЕ)+ЕЕ;'
Если хотя бы один из входящих каналов абсолютно надежен (Е=1 или Е2=1), то объем пропущенного потока определяется только качеством выходящего звена передачи данных:
г (2, е ,1, е2 )=г (2, е , ^,1)=г (2, е ,1,1)=е .
В том случае, если весь входящий трафик направляется по одному входящему каналу (например, Е=1, Е2=0), получаем известную зависимость [4]:
г (2, е , л,0)=ее__Е (1-Е (1-Е )_____________.
Е' (1-е)2 + ЕР1 (1-Е1)+е2 (1-е )
На рис. 2 приведен набор численных зависимостей пропускной способности от достоверности передачи данных в агрегирующем канале для различных объемов буферного накопителя. Аналитические и численные исследования рассматриваемой СМО с произвольным числом входящих каналов и ограниченным объемом буферной памяти показывают, что для узла с однородными по физическому быстродействию сетевыми интерфейсами (£=1) пропускная способность фрагмента при наличии хотя бы одного абсолютно надежного входящего канала полностью определяется качеством исходящей линии связи Е. В целом зависимость пропускной способности от достоверности передачи данных в выходном канале мажорируется кусочно-линейной функцией (рис. 2):
г * (, е„..., Ем )=
М
ЕЕ < У Е •
х >-* — А., -1 т> т=1
М М
У Е Е>У Е
^ т ’ т'
т=1 т=1
(2)
Рис. 2. Сравнительные кривые пропущенного потока от достоверности передачи данных в исходящем канале связи, при ^=0,1, Е2=0,6 и различных объемах буферного накопителя
В наибольшей мере функция пропускной способности (1) отстоит от мажоран-
М М
ты (2) в точке Е = У Ет <1, а при У Ет >1 - в точке Е=\. Однако с ростом емко-
т=1
т=1
сти буферной памяти K транзитного узла, агрегирующего входящий трафик от M каналов связи, потенциальные значения функции пропускной способности асимптотически приближаются снизу к кусочно-линейной мажоранте (2). Этот факт хорошо согласуется с представлениями о том, что пропускная способность конвейера не превышает пропускной способности его самого «узкого участка». Отметим также, что минимум функции пропускной способности при прочих равных условиях достигается для однородных по качеству входящих каналов связи
(Fm = F* > 0, m=1,M). С ростом же неоднородности качества различных входящих
M
каналов (с поляризацией значений Fm) при выполнении условия 2 Fm = const
m=1
пропускная способность увеличивается и при достижении, по меньшей мере, одним из входящих каналов абсолютной надежности (Fm=1), пропускная способность сетевого фрагмента независимо от размера буфера и количества входящих потоков возрастает до потенциально возможного значения F.
3. Анализ быстродействия сетевого фрагмента с неоднородными скоростями каналов
Рассмотрим звездообразный сетевой фрагмент с двумя входящими каналами (М=2) и скоростью исходящего канала, вдвое превышающей быстродействие входящих (S=2). В рамках предложенной модели система уравнений равновесия для произвольной ограниченной емкости буферной памяти в этом случае принимает следующий вид:
Po(F + F -FF)=PF(2-F)(1-E)(1-F)+P2F2(1-E)(1-F2);
P [F1 + F2 -FF + F(2-F)(1-2F -2F2 +3FF)=Po ( + F2 -2FF)+
+P2 [2 F (1-F )(1- F)(1-F2)+F 2 (FF + F2 - 2 FF )]+ P3 F 2 (1-F )(1-F2);
P2 [F + F2 -FF2 + F(2-F)(1-2F -2F2 +3FxF2)+F2 (F + F2 -3FXF2)] =
=Po FFi + P [(1-F)2 (F + F2 - 2FF!)+F (2 - F )FF) ]+ P3 [2 F (1-F)(1-F)(1-F2)+
+F2 ( + F2 -2FF )]+P4F2 (1-F)(1-F2);
Pi [f + F2 - FF + f(2-f)(1-2 F - 2 F +3FF)+f2 (f + F2 -3FF )]= P-2 (1- ]2 FF + +P-1 [(1-F)2 (F + F - 2F F2)+2F (1-F)FF2 ]+P+1 [2F (1-F)(1-F)(1-F2)+
+f 2 ( + F2 - 2F F2 )]+^+2 F2 (1-f)(i-F2)=3"K-2;
Pk -1 [f + F2 - F F2 + f (2-f )(1- 2F - 2F2 + 3F F2)+f 2 (f + F2 -3F F )]=
=Pk -3 (1-F)2 FJF2 + Pk-2 [(1-F)2 (F + F2 - 2 FF)+2 F(1-F)F F> ]+
+Pk [2F (1-F )(1-F)(1-F2)+F2 (F + F -2F F2 )];
Pk [F(2-F)(1-F)(1-F2)+F2 (F + F -2FF)] =Pk-2 (1-F)2 FF +
+Pk-i [(1-F)2 (F + F2 - F F2)+2F(1-F)F; F2 ].
Для объема буферной памяти К=2 решение системы уравнений равновесия принимает вид
Ро = Е 2 (1-Л )(1-К2 +(2 - Е)2 -(1-Е )(3- Е)(Л, + Я2 - Л К2 +/;
Р = Е [(2-Е+( + Л - ЕЕ )-ЕЛ!^2 - 2(1-Е+Е +Л - ЕЛ )2 ]/А;
Р =[е (2-Е)ЕЕ +(1-Е)2 (Л! + Л - Л Л )2 ]/А;
А = Е2 (2 - Е)2 + 2Е(1-Е+1 - 3Е+Е2 +( + Л2 - Е1) +
+2Е(1-Е)ЕЕ +(1-Е)4(Л + Л -ЕЛ)2.
Для пропускной способности сетевого фрагмента при К=2 из (1) получаем следующее соотношение:
г(2,Е, е , е2 )=А{е(2-е)е +Е2 - ЕЕ2 )+е(4-зе)е е2 +2(1-е)(1-2е)(е + е2 - ее +}.
Здесь
А=Е 2 (2-Е)2 + 2Е (1-Е+1-3Е+Е 2 +( + Е2 - ЕЕ;)+ +2 Е (1-Е)ЕЕ +(1-Е)4 (Е + Е2 - ЕЕ )2.
Отсюда нетрудно видеть, что при Е1=Е2=Е=1 пропущенный поток достигает максимального значения г(2,1,1,1)=2. Для абсолютно надежного исходящего канала связи (Е=1) выражение для пропускной способности определится суммой достоверностей передачи данных во входящих каналах: г(2,1,Е1,Е2)=Е1+Е2. При отсутствии потока в одном из входящих каналов (Е2=0) величина пропущенного потока составит
2(2,Е,Е1,0)=ЕЕ1- Е(2-Е>+2Е1 '1-Е«1-2Е>
Е2 (2-Е)2 + 2ЕЕ (1-Е+1-3Е+Е2)++2 (1-Е)4'
Для статистически однородного сетевого фрагмента (Е!=Е2=Е) пропускная способность фрагмента упрощается до следующего вида:
г (2, Е, Е, Е )=2Е
6-16 Е+20Е 2 -11Е3 + 2Е4 12-40Е+64Е 2-56Е3 + 28Е4 -8Е5 + Е6'
При абсолютно надежных входящих каналах (Е1=Е2=1) объем пропущенного потока определяется только качеством (Е) и быстродействием (£=2) выходящего звена передачи данных г(2,Е,1,1)=2Е. Для статистически однородных входящих каналов связи Е1=Е2=Е* пропускная способность входящего звена передачи данных принимает вид
г (2, Е, Е*, Е* ) =
ЕЕ* [е (2 - Е+2 - Е*)+ЕЕ* (4 - 3Е)+2 Е* (1-Е)(1-2 Е)(2 - Е* )2 /
[е 2 (2-Е )2 + 2ЕЕ* (1-Е+1-3Е+Е 2 )(2-Е*)+2ЕЕ*2 (1-Е)+Е*2 (1-Е)4 (2-Е*)2 /
Численные исследования функции пропускной способности сетевого фрагмента с тремя звеньями передачи данных при различных объемах буферного накопителя показывают, что пропущенный поток имеет вид кривых, представленных на рис. 3.
Рис.3. Сравнительные кривые пропущенного потока от достоверности передачи данных в исходящем канале, при ^=0,5, Е2=0,7 и различных размерах буферного накопителя
Из данного рисунка нетрудно видеть, что пропускная способность в интервале Е е[0,( Е + Е2)/2) мажорируется прямой 1 (Е,ЕЬЕ2)=2Е, а в интервале Ее[(Е + Е2)/1,1], не превышая значения 1*(Е,ЕЬЕ2) = Е+Е2, ограничивается кривой параболического вида с незначительным минимумом, расположенным примерно в середине отрезка. Численный анализ показывает, что чем ближе вероятности безошибочной передачи данных входящих каналов связи рассматриваемого фрагмента (чем ближе друг к другу значения Е и Е2), тем выше проходит мажорирующая кривая на отрезке Ее[(Е + Е2)/2,1]. Наиболее глубокий минимум этой кривой наблюдается для статистически существенно неоднородных входящих каналов (например, при Е1=1, Е2=0).
На рис. 4. приведено семейство зависимостей пропускной способности от качества исходящего канала при заданном объеме буферного накопителя транзитного узла и различных значениях Ет, т=1,2, удовлетворяющих условию Е1+Е2=соп5/. Отсюда нетрудно видеть, что для различных областей изменения достоверности передачи данных в мультиплексирующем канале наибольшие значения пропускной способности достигаются при существенно различных наборах Е и Е2 с постоянной суммой. В области Е е[0,(Е1 + Е2)/2] доминирует кривая, соответствующая полярным значениям Ет, т=1,2, а на основной части отрезка Ее((Е + Е2)/2,1] - однородным значениям: Е=Е2. С ростом числа входящих каналов связи имеют место сходные зависимости.
Исследование сетевого звездообразного фрагмента с произвольным быстродействием магистрального канала, числом входящих линий и объемом буферного накопителя узла в ряде частных случаев показывает, что при абсолютно надежных входящих каналах (Ет =1, т=1,М) объем пропущенного потока инвариантен к числу мультиплексируемых каналов, емкости буферного накопителя и определяется скоростью передачи и качеством выходящего звена переприема данных:
2(К,Е1,...,1)=&Е Очевидно, что при Р=1 пропускную способность будет определять только физическое быстродействие исходящего канала &
Рис. 4. Сравнительные кривые пропущенного потока от достоверности передачи данных в исходящем канале, при Г + Г2 =1 и К=3.
Для абсолютно надежного исходящего канала связи (Г=1) с интегральным быстродействием S, совпадающим с числом источников М, пропущенный поток, не превышая быстродействия агрегирующего направления, определяется качеством входящих линий, инвариантен к емкости буферной памяти К > £ и задается соотношением
м
2(,1,*;,...,¥м)=2 Е.
п=1
Численные исследования функции пропускной способности при произвольных значениях количества входящих каналов М, быстродействия исходящего канала Б, емкости буферной памяти центрального узла К >£ и достоверности передачи данных по отдельным звеньям рассматриваемого сетевого фрагмента Гп =1, п=1,М и Г показывают, что данная операционная характеристика мажорируется кусочно-линейной зависимостью, аналогичной соотношению (2):
г * (, г„..., Гм )=
м
бг, бг <2 Г;
п=1
м м
2 Рп, БГ >2 Гп.
т=1 п=1
При умеренных объемах буферной памяти (& < К < 3&) значения пропускной
1 м
способности в максимальной степени отстоят от мажоранты в точке Р=-2 Рт
при выполнении ограничения 2 Рт < &, а при 2 Рт ^ & - в точке Р=1. Для емко-
п=1
п=1
п=1
сти буферной памяти, существенно превышающей быстродействие исходящего
м
канала (К > 3&), указанная точка для ограничения 2 Рт < & смещается вправо к
т=1
середине отрезка F 6
M /
2 Fm M ,1
m=1 /
. Отметим также, что с ростом буферного нако-
пителя указанное максимальное расстояние между значением пропускной способности и мажорантой быстро стремится к нулю.
Заключение
В работе предложена модель сетевого фрагмента в виде марковской СМО, позволяющая оценить характер влияния параметров звездообразной сетевой структуры на объем пропущенного потока в магистральное соединение. Рассмотренная модель допускает обобщение на случай конвейерных процедур управления звеньями передачи данных сетевого фрагмента, а также сетевой коммуникационной структуры на основе многопортового коммутатора в качестве центрального узла.
ЛИТЕРАТУРА
1. Бертсекас Д., ГаллагерР. Сети передачи данных. М.: Мир, 1989. 544 с.
2. Михеев П.А., Сущенко С.П. О влиянии расщепления сетевого трафика на пропускную способность межузловых соединений // Информационые технологии и математическое моделирование: Материалы VII Всероссийской научно-практической конференции. Томск: Изд-во Том. ун-та, 2008. Ч. 2. С. 34-39.
3. Богуславский Л.Б. Управление потоками данных в сетях ЭВМ. М.: Энергоатомиздат, 1984. 168 с.
4. Сущенко С.П. О влиянии блокировок буферной памяти на операционные характеристики звена передачи данных // Автоматика и вычислительная техника. 1985. № 6. С. 27-34.
5. КлейнрокЛ. Теория массового обслуживания. М.: Машиностроение, 1979. 432 с.
Михеев Павел Андреевич
Сущенко Сергей Петрович
Томский государственный университет
E-mail: doka-patrick@mail.ru; ssp@inf.tsu.ru Поступила в редакцию 17 мая 2010 г.
