Математическая теория телетрафика
УДК 621.39
Потоковый и эластичный трафик в сетях с топологией
Клоса
Г. П. Башарин, Н. В. Русина
Кафедра систем телекоммуникаций Российский университет дружбы народов ул. Миклухо-Маклая, д. 6, Москва, Россия, 117198
Быстрый прогресс высоких технологий в сфере телекоммуникаций, начавшийся с конца 20 в., ставит перед теорией телетрафика новые задачи. Конвергенция сетей различных типов породила множество классов сетевого трафика, которые различаются своими характеристиками, объемом необходимых сетевых ресурсов, а также требованиями к качеству обслуживания. Наличие разнородных потребительских запросов в сочетании с множеством предоставляемых интерактивных услуг и высокоскоростным доступом в интернет приводит к необходимости совместного обслуживания различных классов трафика, большую долю которого составляет эластичный трафик. На рубеже 20 и 21 вв. технический прогресс привел к появлению многоскоростных систем передачи, позволяющих обслуживать эластичные потоки заявок с переменной скоростью, зависящей от того, сколько на данном отрезке времени одновременно с этим обслуживается приоритетных потоковых заявок. Применение классической мультисервисной модели Эрланга для расчетов параметров качества обслуживания в современных системах становится затруднительным в силу специфических особенностей эластичного трафика. В работе представлена мультисервисная модель адаптивной многоскоростной системы типа Эрланга с потоковым и эластичным трафиком, где последнему соответствует целый набор требований к ширине полосы пропускания (ШПП). Требование к ШПП устанавливается при поступлении эластичной заявки в зависимости от занятого передаточного ресурса. Результаты модели применяются в анализе ВВХ сети с топологией Клоса, которая находит широкое применение в современных сетях телекоммуникаций.
Ключевые слова: мультисервисная модель Эрланга, эластичный трафик, потоковый (реального времени) трафик, пороговая стратегия доступа, вероятностно-временные характеристики (ВВХ), рекуррентный алгоритм типа Кауфман—Робертса.
1. Введение
В ходе быстрого прогресса высоких технологий в сфере телекоммуникаций в конце 20 в. конвергенция сетей различных типов породила множество классов сетевого трафика [1,2]. Эти классы различаются своими характеристиками, объемом необходимых сетевых ресурсов, а также требованиями к качеству обслуживания. Среди них можно выделить две крупные категории — потоковый (streaming traffic, real-time traffic) и эластичный (elastic traffic, data traffic). При этом первоначально доминировало изучение потокового трафика [1], порождаемого в основном передачей речи, а в начале 21 в. большую роль стал играть эластичный трафик, порождаемый электронной почтой, передачей файлов, большинством интерактивных приложений и др., где требования к задержкам значительно ниже, чем в случае потокового трафика.
На рубеже 20 и 21 вв. технический прогресс привел к появлению многоскоростных систем передачи данных, обслуживающих одновременно эластичный и потоковый трафик. При этом для эластичного трафика доступно изменение скорости его передачи в силу того, что данный тип трафика допускает задержки [3-5].
Сети с топологией Клоса [6,7], предложенные в 1953 г., находят широкое применение в современном мире высоких технологий при построении высокоинтеллектуальных вычислительных комплексов.
Статья поступила в редакцию 4 июня 2012 г.
Работа выполнена при частичной поддержке РФФИ (грант 10-07-00487-а).
В работе рассматривается математическая модель одной выходной линии коммутатора третьего каскада — мультисервисная модель Эрланга со смешанным типом трафика, состоящего из потоковых и эластичных заявок, где последним соответствует целый набор требований к ширине полосы пропускания (ШПП) и реализован пороговый доступ к передаточным ресурсам. При этом рекуррентный алгоритм вычисления вероятностно-временных характеристик (ВВХ) построен так, чтобы процесс вычисления ее равновесных вероятностей был рекуррентным
и близким к алгоритму Кауфмана-Робертса для
м М V 0
А, Ь Д
[1,2]. Далее
полученные результаты применяются к анализу ВВХ для выходных линий коммутатора третьего каскада одного направления.
2. Модель сети с топологией Клоса типа С32,3,3
Рассмотрим частный случай трехкаскадной сети Клоса типа С32 д д, где 5 = 2. На каждом каскаде имеется по два коммутатора 2 х 2 (рис. 1). Все линии на рисунке имеют одинаковую емкость V каналов. На выходе из сети образуются два направления, в которые сгруппированы линии. Первая линия обоих коммутаторов 3-го каскада находится в группе линий первого направления, вторая линия обоих коммутаторов 3-го каскада находится в группе линий второго направления. В сети обслуживается К типов заявок.
УС
V
V
V
линия 1 линия 2
2 2 2
линия 1 линия 2
V
направлен ие 1
направление 2
каскад 1 каскад 2 каскад 3
Рис. 1. Частный случай трехкаскадной сети Клоса, С4,2,2
1
1
1
Алгоритм функционирования сети состоит из трех шагов. На первом шаге управляющая система (УС) определяет, на какой коммутатор 1-го каскада поступила ^-заявка. На втором шаге определяется коммутатор 3-го каскада, у которого в заданном направлении имеется линия с числом свободных каналов, необходимых для обслуживания ^-заявки. На третьем шаге УС устанавливает соединение между коммутаторами, определенными на первом и втором шагах.
В сети Клоса определены внутренние и внешние блокировки. Внутренняя блокировка — вероятностью того, что на третьем шаге между коммутаторами не удалось установить соединение. Внешняя блокировка определяется вероятностью того, что на втором шаге нет ни одной линии заданного направления, в которой существует количество свободных каналов, необходимых для обслуживания й-заявки.
Внешняя блокировка ^-заявки зависит не только от занятого канального ресурса каждой линии, но и от распределения обслуживающихся заявок по линиям одного направления на момент поступления ^-заявки. Для этого рассмотрим 1-е направление линий для описанной выше сети с параметрами: V = 3, К = 2, 1-заявка требует для своего обслуживания 1 канал, 2-заявка — 2 канала (рис. 2).
V = 3
а)
линия 1 коммутатора 1
линия 1 коммутатора 2
) линия 1 коммутатора 1
линия 1 коммутатора 2
- каналы, обслуживающие 1-заявку /// - каналы, обслуживающие 2-заявку
Рис. 2. Пример распределения обслуживающихся заявок по линиям
1-го направления
На рис. 2(а) представлено состояние сети, в котором свободно 2 канала, по одному на каждой линии. Если при таком состоянии сети поступает 1-заявка, то она может быть принята на обслуживание на любую из линий. Если поступает 2-заявка, то она будет заблокирована.
На рис. 2(б) представлено состояние сети, в котором также свободно 2 канала, но на одной линии. Если при таком состоянии сети поступает 1 или 2-заявка, то она может быть принята на обслуживание.
Полученные выводы можно обобщить на более сложные конфигурации сетей с топологией Клоса.
3. Математическая модель одной выходной линии коммутатора 3-го каскада
Рассмотрим модель функционирования одной выходной линии коммутатора 3-го каскада, в которой определено V каналов [4,6]. Система поддерживает К различных типов услуг. Разделим все ^-заявки, к = 1, К, на два класса и упорядочим их таким образом, что ^-заявки при к = 1,т — заявки потокового, а при к = т + 1,К — эластичного трафика. Поступающие ^-потоки — пуассоновские с постоянной интенсивностью \к, 0 < Хк < то, к = 1,К, и независимы в совокупности. Для эластичных ^-заявок устанавливается Ьк > 1 различных значений требуемой ШПП Ък\ > ... > Ъы > ... > Ъкьк, к = т + 1,К. Для потоковых к-заявок существует только одно требование (Ьк = 1) к ШПП Ък\, к = 1,т. Также для эластичной ^-заявки задается Ьк — 1 пороговых значений Уы, 0 < Уы < У—Ьы, I = 1, Ьк — 1, Ьк > 1, к = т + 1, К. Если в момент поступления новой ^-заявки, к = 1, К, в СМО оказались заняты больше, чем У — Ькьк каналов, то поступившая ^-заявка получает отказ и теряется, не влияя на интенсивность поступления породившего ее пуассоновского потока. Построим вектор пороговых значений для
й-заявки Ук := (Ук\,Ук2, ■■■, Укьк), к = 1,К, где Укьк = V — Ъкьк.
Время занятия эластичной ^-заявкой Ьы каналов распределено по экспоненциальному закону с параметром , так что < ... < < ... < и
Ьк1 = сопвЬк, I = 1,Ьк, Ьк > 1, к = т + 1,К. Время занятия потоковой к-заявкой Ьк\ каналов распределено по экспоненциальному закону с параметром , к = 1,т. Если в момент поступления ^-заявки любого типа число занятых каналов V находится в интервале Ук(1—1) < V ^ Ук1, I = 1,Ьк, к = 1,К, то при обслуживании поступившей ^-заявки будет использоваться пара (ры, ^ы1). Для единообразия дальнейших обозначений примем Уко = — 1.
4. Описание СтМП и пространства состояний математической модели
Функционирование системы будем описывать с помощью СтМП матричной
формы X (t) = (Xkl (t))к=1к i=Tl*, * ^ L* = max (Lk), Xkl (t) = 0 для
' ' ' k=1ж
U(nwU {N + Eki : N G nkl}
.1=1
где nki = {N : Vk(l-i) <U (N) < Vki} .Здесь
I = Ьк + 1,Ь*, к = 1,К, где Хк1 (£) — число ^-заявок в СМО в момент времени I, каждая из которых занимает Ък1 каналов [4, 5]. Пространство состояний процесса X (р) составляют матрицы размерности К х Ь* из множества П : = к
и
к=1 _ _
I = 1,Ьк, к = 1,К, Ек1 — матрица, у которой стоит 1 на пересечении к-ой строк ьк
ки и 1-го столбца, а все остальные элементы равны 0, а и (К) := ^^^^ пыЪы
к=11=1
— общее число занятых каналов в СМО в состоянии К, причем 0 ^ и (К) ^ V. Введем Пк := {К 6 П : и (К) < V — Ъкьк}, к = 1, К, — подпространство приема ^-заявок.
Схема переходов между соседними состояниями процесса X (¿) по ^-услуге, к = 1, К, при наличии частичного баланса представлена на рис. 3.
Рис. 3. Схема переходов между состояниями системы по fc-услуге, к = 1 ,К
Здесь и далее коэффициенты 5к (х) и бы (х) рассчитываются по формулам (1, 2):
с , Л Г 1, Ух = 0,V,k = 1,т,
4 (х) = <! (1)
[0, в противном случае.
hi (х) = (1' Vk(l-i) + 1(l> 1) bk(l-i) <X ^ Vkl + bkl,l = 1>Lk>k = m + 1,K [0, в противном случае.
5. Рекуррентный алгоритм расчета макровероятностей для одной выходной линии коммутатора 3-го каскада
СУГБ системы имеет сложную структуру, для которой не выполняется свойство мультипликативности. Поэтому для расчета ВВХ применяется приближенный рекуррентный алгоритм типа Кауфман-Робертса, точность которого подтверждается в [6]. Пусть (у) — равновесная вероятность того, что в СМО занято V каналов. Тогда рекуррентный алгоритм типа Кауфмана-Робертса описывается следующими шагами:
1. Определяем V, Ьк, Ъы, ры := ,1 = 1,Ьк, к = 1,К, где УкЬк := V - ЬкЬк.
2. Пусть с( (0) ^ 1 и с( (у) ^ 0, при у < 0.
3. Рекуррентно по у = 1, V, используя формулы (1, 2), вычисляем:
1 / m К Lk \
q' (v) = - Ьк16к (v)q(v - Ьк1 )+ ^ ^РыЬыбы (v) q (v - ЬкI ) . (3)
\к=1 k=m+1 1 = 1 )
V
4. G = ^^ q' (v) — нормирующая константа.
v=0
' (v)
5. q(v) <----, v=l,V — нормированное распределение вероятностей.
G
V
6. 'Кк ^^ q(v), к = 1,К — вероятность блокировки поступающей в
v=V - bkLk +1
систему к-заявки.
V
7. UTIL = (v) — среднее число занятых каналов.
v=1
6. Рекуррентный алгоритм расчета макровероятностей для совокупности выходных линий коммутаторов 3-го каскада одного направления
Применяя вышеописанную модель к анализу модели совокупности выходных линий коммутатора 3-го каскада одного направления, необходимо учесть, что емкость системы в данном случае будет составлять V ■ в, где 5 — количество выходных линий одного направления, V — емкость каждой выходной линии одного направления.
Внешняя блокировка к-заявки в трехкаскадной сети Клоса зависит от того, каким образом распределены по линиям требуемого направления уже обслуживающиеся в системе заявки. Равновесная вероятность того, что в СМО занято V каналов, у = 0, VS, будет рассчитываться по следующей рекуррентной формуле типа Кауфмана-Робертса [6]:
4 (у) = 1 ( ^ Рк1 Ьк\б'к (v)q(v - Ьк1)+ V У^РкФый'ы (у)(1(у - Ьы Л , (4)
v
/ m К Lk \
6к1 б'к (v)q(v - Ьк1)+ ^РыЪыб'ы (v)q(v - Ъы)
\к=1 к=т+1 Z=1 )
f t \ Я t \ ( 1 f(VS -х + h1,S, Ьк1 -к (х = 6к (х\1 - f (V S-х + bkl,S,V)
Х' ( ) х ( ) (л f(VS-х + Ьк1 ,S, Ьк1 - 1)'
бкI(х) = бкI(х) (1 -
f(VS -х + Ьы ,S,V)
(5)
где f (а, Ь, с) — число способов разместить а свободных каналов по Ь линиям заданного направления так, чтобы на каждой линии осталось не более А свободных каналов.
7. Пример численного анализа
Рассмотрим пример численного анализа модели одной выходной линии коммутатора 3-го каскада и модели совокупности линий коммутатора 3-го каскада одного направления (табл. 1).
Таблица 1
Параметры сети Клоса
Параметры Значения параметров модели Значения параметров моде-
одной выходной линии ком- ли совокупности линий ком-
мутатора 3-го каскада мутатора 3-го каскада одного направления
К 2 ( к = 1 — заявка потокового трафика, к = 2 — заявка
эластичного трафика)
V 32 16
s 1 2
L Li = 1, L2 = 2
B (1 0)
V fvs - bii 0 \ т/ с A Ь где X — V X VS - 022/ построении графиков изменяемый параметр при
¡'2 0\
р (4 s)
ВВХ <
UTIL UTIL'
Исследуется зависимость кк, к'к и UTIL, UTIL' от V21. Из графиков, представленных на рис. 4-5, следует, что за счет настройки пороговых значений для заявок эластичного трафика можно гибко регулировать вероятности блокировки обоих типов трафика и оптимизировать использование ШПП как для модели одной выходной линии коммутатора 3-го каскада, так и для модели совокупности линий коммутатора 3-го каскада одного направления.
8. Заключение
В настоящей статье предложен приближенный рекуррентный алгоритм расчета ВВХ типа Кауфмана-Робертса для модели совокупности линий коммутатора 3-го каскада одного направления. Полученный коэффициент (5, 6) может быть применён при анализе сети Клоса с любой другой моделью одной выходной линии коммутатора 3-го каскада.
Авторы предполагают использовать идею предложенного подхода для анализа пассивных оптических сетей с радиусом действия от нескольких десятков до нескольких сотен километров.
П2
Рис. 4. Зависимость вероятностей внешней блокировки ж и, и ж'к от Уц
Рис. 5. Зависимость коэффициента использования ШПП UTIL и UTIL' от
Vax
Литература
1. Башарин Г. П. Лекции по математической теории телетрафика. — М.: РУДН, 2009. — С. 342. [Basharin С. Р. Ъексп ро ша1еша11сЬе8коу] 1еогИ teletrafika. — М.: ЯШ^ 2009. — С. 342. ]
2. Наумов В. А., Самуйлов К. Е., Яркина Н. В. Теория телетрафика мультисер-висных сетей. — М.: РУДН, 2008. — С. 191. [Маптву V. А., БатпуАву К. Е, Уагкта М. V. Теопуа teletrafika тиуМветовпШкЬ seteyj. — М.: КОБМ, 2008. — С. 191.]
3. Башарин Г. П., Клапоущак С. Н., Митькина (Русина) Н. В. Математическая модель адаптивной многоскоростной системы с эластичным трафиком // Вестник РУДН. «Математика. Информатика. Физика». — 2008. — № 3. — С. 58-66. [Basharin С. Р., Шарвп^ак Б. М., Mitjkina (Ячвта) М. V. Matematicheskaya тоёеЦ adaptivnoyj mnogoskorostnoyj sistemih 8 eЫastichnihш ^йкот // Vestnik ИШ^ «Matematika. Informatika. Fizika». — 2008. — Мо 3. — Я. 58-66. ]
4. Клапоущак С. Н. Математические модели сетей соты связи с эластичным трафиком и пороговой стратегией доступа. — 2010. [Шарвп^ак Б. М. Matematicheskie modeli seteyj 8оМЬ svyazi 8 eЫa8tichnihш trafikom i porogovoyj 8trategieyj do8tupa. — 2010. ]
5. Башарин Г. П., Коннон А. М. Математическая модель многоскоростного
BPP трафика с учетом приоритетов // Вестник РУДН. «Математика. Информатика. Физика». — 2011. — С. 82-90. [Basharin G. P., Konnon A. M. Matematicheskaya modelj mnogoskorostnogo BPP trafika s uchetom prioritetov // Vestnik RUDN. «Matematika. Informatika. Fizika». — 2011. — S. 82-90. ]
6. Glabowski M., Sobieraj M. Point-to-Group Blocking Probability in Switching Networks with Threshold Mechanisms // Proc. of Fifth Advanced International Conference of Telecommunications (AICT '09). — Venice: 2009. — Pp. 95-100.
7. Гринфилд Д. Оптические сети. — Киев: «ДиаСофт», 2002. — С. 256. [Greenfield D. Opticheskie seti. — Kiev: «DiaSoft», 2002. — 256 p. ]
UDC 621.39
Streaming and Elastic Traffic in Closs Networks G. P. Basharin, N. V. Russina
Telecommunication Systems Department Peoples' Friendship University of Russia Miklukho-Maklaya str., 6, Moscow, Russia, 117198
Rapid progress in telecommunications which started in the end of 20th century raises new teletraffic problems. The result of the convergence of different networks stems that set of different traffic types should be served by the system. These types differ by their characteristics, in network bandwidth and Quality of Service (QoS) requirements. Diverse consumer needs, variety of on-line services and high-speed Internet access joined in the same system generate large amount of traffic most part of which includes elastic traffic. Multi-rate communication systems, developed at the beginning of 21th century as a result of engineering progress, are able to serve elastic traffic with variable rate depending on the number of prioritized streaming requests being processed in parallel. Specific characteristics of elastic traffic do not allow us to use Erlang multi-rate loss model for simulation of modern telecommunication systems. This paper concerns Erlang-like multi-service loss model of an adaptive multi-rate system for streaming and elastic traffic, where a set of bandwidth requirements corresponds to each type of elastic traffic. A bandwidth requirement is assigned to an entered elastic request depending on occupied bandwidth. The results obtained in the paper are applied to calculation of QoS parameters of the Closs network topology which is widely used in modern switching networks.
Key words and phrases: Erlang multi-rate loss model, elastic traffic, streaming (realtime) traffic, threshold admission control, blocking probability, network performance, KaufmanRoberts recursion.