ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
2010 Управление, вычислительная техника и информатика № 4(13)
УДК 681.324
П.А. Михеев, С.П. Сущенко АНАЛИЗ ЗАГРУЗКИ АГРЕГИРУЮЩЕГО ПОРТА КОММУТАТОРА ЛВС
Рассматривается математическая модель сетевого коммутатора, аккумулирующего трафик от клиентских соединений к серверным системам. Найдены функциональные зависимости объема потока, пропущенного к серверной платформе, от емкости буферного накопителя коммутатора, параметров его портов, количества клиентских соединений и интенсивности абонентских потоков.
Ключевые слова: многопортовый коммутатор, загрузка, блокировки памяти, система массового обслуживания, мультиплексирование потоков.
Наиболее массовые технологии построения современных локальных вычислительных сетей (ЛВС) основаны на методе случайного множественного доступа к разделяемой множеством абонентов среде передачи данных [1]. Данный метод обеспечивает простую топологию сети, однако при высоких нагрузках и большом числе абонентов операционные характеристики сети катастрофически ухудшаются [2]. Для повышения реального быстродействия ЛВС используется метод логической структуризации сети, основанный на сегментировании ее с помощью технологии коммутируемого доступа [1,3]. Кроме повышения производительности ЛВС логическая структуризация с помощью коммутаторов упрощает управление сетью, увеличивает ее гибкость и повышает безопасность работы с прикладными данными в различных сегментах сети. Техническая реализация коммутаторов допускает схемы построения на основе коммутационной матрицы, разделяемой многовходовой памяти, общей шине и композиции различных архитектур. Различают три режима коммутации протокольных блоков данных: коммутация с промежуточной (полной) буферизацией, сквозная коммутация с буферизацией заголовка кадра до адреса назначения (на лету) и гибридная сквозная коммутация с буферизацией всего заголовка и поля данных кадра минимально разрешенного стандартом размера, обеспечивающая возможность фильтрации конфликтов [1]. Характерно применение коммутационных устройств в качестве концентратора, аккумулирующего трафик от настольных систем к файл-серверам, серверам баз данных и серверам приложений. В задачах синтеза структуры и параметров локальных сетей передачи данных важнейшим является сбалансированный выбор быстродействия каналов к прикладным серверным системам общего назначения, числа абонентов, подключаемых к таким приложениям, и технических параметров коммутационных устройств связи [3]. Математические модели локальной сети, мультиплексирующей абонентские потоки к сервисным службам, позволяют проводить анализ влияния параметров клиентского трафика на пропускную способность агрегирующих портов коммутатора с ограниченной памятью, расчет объема буферной памяти и исследование стратегий обеспечения качества сервиса, предоставляемого сетевыми службами.
1. Математическая модель сетевого коммутатора с мультиплексированием трафика
Рассмотрим фрагмент локальной компьютерной сети, включающий М клиентов, подключенных к серверу через сетевой коммутатор. Считаем, что к М однородным по скорости портам коммутатора подключены абоненты, порождающие поток кадров равной длины к серверной платформе, подсоединенной к коммутатору через М+1-й порт с физической скоростью передачи (быстродействием), в £ > 1 раз превышающей скорость абонентских портов (рис. 1). Считаем, что сетевые соединения абсолютно надежны, все клиентские источники данных независимы и работают синхронно с периодом длительности т. Длительность этого периода определяется быстродействием портов для подключения абонентов и накладными расходами, связанными с коммутацией кадров между портами.
Рис. 1. Структурная схема локальной вычислительной сети с мультиплексированием трафика
Тогда за время полного цикла передачи кадра т по абонентским портам в серверный порт может быть отправлено 0 < і < £ кадров. Будем считать, кроме того, что коммутатор работает в режиме полной промежуточной буферизации и кадр, поступивший в коммутатор в текущем цикле т, начнет передаваться по выходному (серверному) порту только в следующем цикле. Будем полагать, что на абонентских портах информационные кадры возникают в каждый период т с вероятностями Вт (ґ) = Вт, т = 1, М, не зависящими от времени ґ и числа коммутируемых кадров. Предположим также, что для хранения кадров в выходной очереди коммутатора к серверному порту выделен пул буферной памяти объема К > М. Тогда поведение рассматриваемого сетевого фрагмента представимо в виде марковской системы массового обслуживания (СМО) с дискретным временем, конечным накопителем, неординарным входящим потоком и одним прибором с детерминированным групповым обслуживанием заявок [4]. Неординарный входящий поток СМО определяется вероятностями появления кадров в абонентских портах Вт, т = 1, М , а число обслуженных заявок - быстродействием серверного порта £. Динамика очереди к выходному каналу связи данной СМО описывается цепью Маркова. Обозначим через Ек состояние цепи Маркова, в котором размер очереди к выходному (М+1-му) порту коммутатора равен к. Множество возможных состояний цепи Маркова определяется размерами буферной памяти, выделенной для хранения кадров в выходной очереди к < К .
Важнейшей характеристикой СМО ограниченной емкости в стационарном режиме является объем пропущенного (обслуженного) потока или загрузка. В рассматриваемом случае данная операционная характеристика определяется как доля быстродействия серверного соединения, достигаемая в условиях агрегирования трафика от М клиентов:
г(К,5,М,В) = ^кРк + 5 ^Рк , (1)
к=1 к=5+1
где В = {£[,...,ВМ} - вектор значений вероятностей Вт,т = 1,М , Рк - вероятности состояний цепи Маркова. В случае равенства вероятностей появления абонентских кадров в портах коммутатора Вт = В, т = 1,М , объем обслуженного потока будем обозначать как 1 (К, 5, М, В).
2. Анализ фрагмента с однородными вероятностями порождения клиентских кадров
Начнем рассмотрение со случая, когда трафик от всех абонентов имеет одинаковые вероятности появления пакетов во входных портах Вт = В, т = 1, М . Тогда переходные вероятности цепи Маркова, описывающей функционирование СМО, при К > М > Б > 1 определяются следующими зависимостями:
М ^ В1 (1 - В)М-1,, = 05,0 < ; < М;
п}- =
+1 ,) ВБ+1-1 (1 - В)М-Б+г-1,, = Б +1, К, , - Б < 1 < , + М - 5,1 < К; (2)
Е (М1 В3 (1 - В)М - *, , = К + 5 - М, К, 1 = К.
„*=К + 5-г ( * '
Для совокупности портов коммутатора с однородными входными потоками уравнения равновесия для вероятностей состояния Рк имеют вид
Рк = ЕР (М У (1 - В)М-к + Е Р*+г (М- ,У-г (1 - В)М к +, к = 0М
Рк-- к = Е Р5+г ( М ( к -,
г=к -м
к II К-5 ( Е Р*+г ( г=к-М ( ' М ^ к - г)
к-г (1 - В)М-к+г, к = М +1, К - 5;
\Вк-г (1 - В)М-к+г, к = К - 5 +1, К -1;
К-5
М
Рк = Е Р+, Е\М,¥(1 -В)М-1 •
г=К-М 1=К-г ( ^ '
Проанализируем работу локальной сети при различных значениях параметров коммутатора. Начнем анализ со случая равенства числа источников информационных потоков (портов) и быстродействия серверного соединения М = 5. В этом случае из определения переходных вероятностей (2) нетрудно видеть, что при
К > М достижимыми являются только состояния с номерами , = 0,М . Тогда решение системы уравнений локального равновесия (2) принимает следующий вид:
Рк =(М^ Вк (1 - В)М-к, к = 0М .
Пропущенный поток при этом согласно (1) прямо пропорционален числу источников (быстродействию серверного соединения) и интенсивности клиентского трафика:
1 ( К, 5, М, В ) = МВ .
Рассмотрим поведение коммутатора при числе агрегируемых информационных потоков, большем производительности серверного соединения М>5. Если размер очереди к выходному порту коммутатора совпадает с его быстродействием (К=5), то вероятности состояний можно найти в аналитическом виде:
Рк =Г МО Вк (1 - В)М-к, к = 0, К -1, РК = Е (М\к (1 - В)Мк .
( к У к=М-5 ( к У
Операционный параметр 1 (К, 5, М, В) при этом определится выражением
г (, 5,М, В) = мЕк”1] Вк (1 - В)М-к + 5 Е (МУ (1 - В)М-.
к=1 V к - 1 У к=М-5 ( к '
Для 5=1, М=2 и К > М вероятности состояний задаются соотношениями
Р = Р В(2 - В). Р = Р В2(к-1) к = 7^. Р (1 - В)2К (1 - 2 В)
1 0 (1 - В)2 ; к 0(1 - В)2к , , ; 0 (1 - В)2К - В2К ■
Пропущенный поток при этом составит
1 (К,1,2,В) = 2В(1 -В)2К -В2К
(1 - В)2К - В2К
Из полученных соотношений нетрудно видеть, что индекс производительности 1 (К, 5, М, В) имеет монотонную зависимость от числа абонентов, параметров клиентского трафика и портов коммутатора.
3. Анализ фрагмента с неоднородными вероятностями порождения клиентских кадров
Начнем рассмотрение со случая двух клиентских потоков (М=2), мультиплексируемых в серверное соединение с быстродействием 5=2. Для дискретной цепи Маркова, описывающей функционирование рассматриваемого фрагмента, достижимыми будут состояния с номерами к = 0,2. Система уравнений равновесия для вероятностей состояний цепи Маркова Рк примет вид
Р0 ( + В2 - В В2) = (Р + Р2 )(1 - В )(1 - В2); Р (1 - В - В2 + 2ВВ2) = (Рз + Р> )(В + В2 - 2); Р2 (1 - АВ ) = (Р0 + Р) ВВ2.
С учетом условия нормировки для финальных вероятностей состояний цепи Маркова отсюда получаем
Р0 = (1 -В1)(1 -В2);р = В + В2 -2Б1Б2;Р2 = Б1Б2.
Пропущенный поток при этом определится суммой клиентских потоков
г (,2,2, Б ) = в + в2.
В случае произвольных значений параметров фрагмента, удовлетворяющих условию М=Б, вероятности состояний цепи Маркова образуют полиномиальные элементы: Рк = Ьк, где
М-к+1 М - к + 2 М М ____
Ц = Е В1 Е В;.... Е Бк П_ (1 -)к = 0,М, (3)
11 = ./2 = 11 +1 1к = 1к-1 +1 1=1,1 ]„, И=1,к}
а пропущенный поток (1) равен сумме вероятностей появления кадров в клиент-
_ М
ских портах коммутатора 2 (К, 5, М, Б) = Е Вк . Отсюда следует, что объем про-
к=1
пущенного потока при М=Б инвариантен к емкости буферного накопителя, превышающей число клиентских портов (Б>М).
Рассмотрим локальную сеть с тремя клиентскими потоками (М=3), буферным накопителем коммутатора К > М и скоростью серверного соединения 5=2. Система уравнений равновесия с учетом введенных для Ьк обозначений (3), принимает следующий вид:
Ро(1 -Ь0) = РЦ + р2Ь0, Р(1 -Ц) = (Ро + Р,) Ц + РзЬ0;
Р2 (1 - Ц2 ) = (Р0 + Р ) Ц2 + Р3 А + Р4 А) ;
Р3 (1 - Ц2 ) = (Р0 + Р + Р2 ) А + Р4 А + РА);
Рк (1 Ц2) = Рк-1 А + Рк+1А + Рк + 2А), к = 4,К 2; РК-1(1 - Ц2) = РК-2А + РК А;
Рк (1 -р2 - А) = Рк-Ц (4)
Для объема буферной памяти К=3 решение системы (4) имеет вид
Р = А)( А + Ц0) . Р = А (А + Ц0 ) + А) А . Р = Ц2( А + Ц0) + А А . Р = А
1 -ц ; 1_ 1 -ц ’ 2_ 1 -ц ’ 3_1 --.
Для пропущенного потока в этом случае согласно (1) получаем следующую зависимость:
2(3 2 3 Б) = К + Цо)(Ц + 2Ц2) + А (2 + 2А + Ао)
1 - Ц2
При однородных клиентских потоках Бт = Б, т = 1,3 данное соотношение упрощается:
3Б - 9В3 + 9В4 - В6
1 - 3Б2 + 3Б3
Для буферного накопителя емкости К=4 сетевого фрагмента с параметрами 5=2, М=3 решение системы уравнений равновесия (4) преобразуются к виду
Р = А) [(А> + А) + А)А ]; р = А (Цо + Ц) + (А> + 2А^)А0А ,
( - А2 ) - АА3 (1 - А2 ) - А1А3
Р = А2 (А> + А1 ) + [А>(1 - Ц0) + А1 ]А3 , р = (А + А))А3 , р =__А_________
( - А2 ) - А1А3 (1 - А2 ) - А1 А (1 - А2 ) - А А
Пропущенный поток в этом случае задается следующим выражением:
( + А) )2 (1^+ 2А2) + Ь3 ( + 2 ( + 2Ц1Ц0 + 410 - ЦОО + 2А)
2 (4,2,3, Б) =------------------------------ -----------------------------.
( - А2) - Ц А3
При одинаковых вероятностях Бт = Б, т = 1,3 , данная зависимость упрощается до соотношения
2 (4,2,3, Б ) =
3Б - 18В3 + 18В4 + 18В5 - 36В6 + 18В7 - Б9
1 - 6В2 + 6В3 + 6В4 -12В5 + 6В6
При объеме буферной памяти К=5 рассматриваемого фрагмента система уравнений равновесия (4) имеет следующее решение:
А (А + Ао)[(А + Ао) + 2 А А]
Ро =-
Р =
(1 А2) 2А (1 А2 )А3 А0 А
А (А + Ао ) + [2А (А1 + А0 )+(А1 + А0 ) + А0А]А)А3 ,
(1 - А2 ) - 2А1 (1 - А2 )А3 - А0 А3
р = А2 (А0 + А ) + [(А0 + А1 ) (А1 2А0 ) + 2А0 (А0 + А ) А0А3]А3 ,
(1 - А2 ) - 2А1 (1 - А2 )А3 - А0 А3 Р =_________(А0 + А1 ) А3 + А0 А3___________, Р =___________(А1 + А0 )А3____________
(1 А2) 2А1 (1 А2 )А3 А0 А3 (1 А2) 2А1 (1 А2 )А3 А0 А3
р =___________(А0 + А1 )А3_________
(1- А2 ) -2А1 (I- Р)А3 -А0 А3 Пропущенный поток в этом случае согласно (1) составит
2 (5,2,3,В) = [( + А )3 (А + 2А2) + А3 (А0 + А1 )2 (2 + 2А1 -3А0) +
+2 А3 (А) + А )(А) А, + 2 А) + А3) + А) (2 - А) ) + 2 А33 ]/[(1 - А2 )3 - 2А, (1 - А2 ) - А) А3 ].
При равновероятном поступлении кадров от абонентских портов коммутатора (Вт = В, т = 1,3) выражение для обслуженного потока упрощается до следующей зависимости:
3В - 27В3 + 27В4 + 63В5 - 126В6 + 33В7 + 9РВ8 - 9)В9 + 3РВ1() - В12
1 - 9В2 + 9В3 + 21В4 - 42В5 + 11В6 + 3)В7 - 3)В8 + ШВ9
С дальнейшим ростом емкости буферного накопителя вид аналитического решения становится слишком громоздким.
Рассмотрим локальную сеть со скоростью серверного соединения 5=3 и числом клиентских портов М=4. Система уравнений равновесия для вероятностей состояний цепи Маркова Р при емкости буферной памяти, превышающей число клиентских портов К > М принимает вид
Р)(1 - А)) = (Р + Р + Р3) А); Р(1 - Р) = (Р) + Р, + Р)А + РлА)',
Р2 (1 - А2 ) = (Р) + р + р3 ) А2 + Р4 А + Р5 А);
Р3 (1 - А3 ) = (Р) + Р1 + Р2 ) А3 + Р4 А2 + Р5 А + Р6 А>;
Р4 (1 - А3) = (Р) + р + Р2 + Р3 ) А4 + р А2 + Р6А + Р7А) ;
р (1 - А3) = р-1 А4 + р+1А2 + р+ 2А + р+3А>, г = 5, К - 3;
РК-2(1 - А3) = РК-3 А4 + р-1А2 + РКА1; р-1(1 - А3) = РК-2А4 + РКА2 ; РК (1 - А - А4) = р-1А4.
При К=4 финальные вероятности состояний цепи Маркова определяются соотношениями
р = Ар (А) + А + А2 ) , р = А (А) + А + А2 ) + А) А4 , р = А2 (А) + А + А2 ) + А А4 •
) = 1 - А, ; 1 = 1 - А3 ; 2 = 1 - А3 ;
Р = А3 (А) + А1 + А2 ) + А2 А4 , р = А4
3_ 1 - А3 ; 4_1 - V
Пропускная способность в этом случае в соответствии с (1) задается выражением
2 (34 В) = (А) + А + А2 )('А1 + 2А2 + 3А3 ) + А4 (3 + А) + 2А1 + 3А2 )
^ , , , ' 1 - А3 .
При равных интенсивностях клиентского трафика (Вт = В, т = 1,4) данная за-
висимость упрощается:
2 (4,3,4, В ) =
4В -16В4 +16В5 - В8
1 - 4 В2 + 4 В3
Для объема буферной памяти К=5 обслуженный поток принимает следующий вид:
2 (5,3,4, В) = [( + А + А2 )2 ( + 2 А2 + 3А3)+А4 ( + р)(3 + А) + 3р + 5 А2 + 3А3) +
+А2А4 (3 + А) + 2А + 3А2) + А24 (3 + 2А) + 3р )]/[(1 - А3 )2 - А2А4 ].
При равномерном распределении входных потоков соотношение для пропущенного потока получаем
4В - 32В4 + 32В5 + 4РВ7 - 8)В8 + 4)В9 - В12
1 - 8В3 + 8В4 + ШВ6 - ЮВ1 + ШВ8
Для набора параметров 5=3, М=5, К=5 пропущенный поток определится зависимостью
2(,3,5,"В)=[(А) + А1 + А2) (( + 2А2 + 3А3 )+( + А1 )(А)А4 + 3А1А4 + А1А5 + 3А^ + 3А3А4 +
+5А2 А4 + 2А2 А5 +3А3 А5 )+(А4 + А5 )^3 А1А4 + 2А1А2 +3А4 + 2 А) А4 + 3А2 +3А2 + А) А2 )+
+А5 (1-А3 )(3+2 А) + 3А )]/[(1-А3 )2 - А2 А4 ].
При равновероятном возникновении данных в портах абонентов пропущенный поток выразится соотношением
2 (5,3,5, В)=
=(5B-100B4 +200B5 -Ш) В6 +250B7 -Ш)) В8 +149)В9 -992B10 +25) В11 -35В12 +
+75В13 -5)В14 +ШВ15) (l-20B3 +4) В4 -ЮВ5 +5)В6 -Ю) В7 +3))В8 -200B9 +5) В1 ° ).
С дальнейшим увеличением значений параметров коммутатора 5, М и К сложность аналитических выражений стремительно нарастает.
4. Обсуждение численных результатов
Численные исследования полученных соотношений показывают, что при равновероятном появлении информационных кадров в портах коммутатора функция пропущенного потока от объема трафика отдельного клиента В имеет вид кривой с насыщением, представленной на рис. 2 - 4. Сходная зависимость имеет место и от быстродействия серверного соединения и объема буферного накопителя коммутатора (см. рис. 5 и рис. 6 соответственно). Из рис. 2 и 3 нетрудно видеть, что с ростом числа абонентов М насыщение пропущенного потока до предельного уровня происходит при более низкой интенсивности клиентского трафика В. На рис. 7 приведены кривые загрузки для различных наборов интенсивности клиентских потоков Вт при равном объеме суммарного входящего трафика от всех абонентов. Численные результаты, приведенные на рис. 7, показывают, что при существенно неоднородной структуре клиентского трафика загрузка серверного соединения повышается по сравнению с равновероятным поступлением кадров от клиентских портов коммутатора (однородной структурой абонентского трафика). Минимум загрузки достигается для одинаковых интенсивностей абонентских потоков (Вт = В, т = 1,М ). Наибольшее различие имеет место в окрестности условия равенства общего объема абонентского трафика и быстродействия серверного
М
соединения: 2 Вт = 5. Вместе с тем с увеличением емкости буферной памяти
т=1
коммутатора К различие в загрузке серверного соединения для различных наборов Вт значительно ослабляется (см. рис. 4, 6, 7). Из анализа функции
2 (К, 5, М, В) и представленных на графиках численных результатов следует, что
пропущенный поток мажорируется ломаной прямой:
2 (5, М, В) =
М М
2 Вт, 2 Вт ^ 5;
т=1 т=1 (5)
М (5)
5, 2 Вт > 5.
т=1
2
1,6
1,2
),8
),4
Ю
8
6
4
2
) ),2 ),4 ),6 ),8 В
Рис. 2. Сравнительные кривые пропущенного потока от интенсивности трафика абонентов при различном числе клиентов (М)
Рис. 4. Сравнительные кривые пропущенного потока от интенсивности трафика абонентов для различных емкостей буферной памяти (К)
) ),4 ),6 ),8 В
Рис. 3. Зависимость пропущенного потока от интенсивности трафика абонентов для различных скоростей серверного соединения (5)
Рис. 5. Зависимость пропущенного потока от быстродействия серверного соединения, при различных интенсивностях абонентского трафика (В) и объемах буферной памяти коммутатора (К)
Рис. 6. Зависимость пропущенного потока Рис. 7. Зависимость обслуженного потока от объема буферной памяти коммутатора 2(К,2,3,В1,В2,В3) от интенсивности потока пер-
вого абонента (В1) при постоянном объеме трафика от остальных абонентов (В2+В3=1,4)
м
В наибольшей мере реальная кривая отстоит от мажоранты при ^ Bm = S
m=1
(см. рис. 2 - 4), однако с ростом емкости буферного накопителя К расстояние между значениями Z (к, S,M, B) и Z* (S,M, B) быстро сокращается (см. рис. 4 и 6)
и при K > 3M для практических расчетов вместо (1) можно использовать мажоранту (5).
Заключение
В работе предложена синхронная модель фрагмента локальной компьютерной сети в виде марковской СМО с дискретным временем, позволяющая оценить характер влияния числа и параметров входящих потоков, объема буферной памяти многопортового коммутатора, мультиплексирующего клиентский трафик к серверному соединению, и быстродействия канала к серверной платформе на объем пропущенного потока в серверный порт.
ЛИТЕРАТУРА
1. Олифер В.Г., ОлиферН.А. Компьютерные сети. СПб.: Питер, 2006. 958 с.
2. Кустов Н.Т., Сущенко С.П. О пропускной способности метода случайного множественного доступа // АиТ. 2001. № 1. С. 91-102.
3. Новиков Ю.В., Кондратенко С.В. Локальные сети: Архитектура, алгоритмы, проектирование. М.: Изд-во ЭКОМ, 2000. 312 с.
4. КлейнрокЛ. Теория массового обслуживания. М.: Машиностроение, 1979. 432 с.
Михеев Павел Андреевич
Сущенко Сергей Петрович
Томский государственный университет
E-mail: [email protected]; [email protected] Поступила в редакцию 15 сентября 2010 г.