Postroenie mul'tiservisnykh setey na osnove funktsional'nykh preobrazovaniy trafika

Full Text

Введение Основу конкурентоспособности сетей связи составляет стабильное качество обслуживания пользователей. Под качеством услуг связи понимается суммарный эффект от параметров обслуживания, который определяет степень удовлетворения пользователей услугами связи (рекомендация Е.800 МСЭ). В связи с созданием сетей нового поколения (NGN) на первое место выходит принцип отделения функций образования служб/услуг от транспортных функций. По сути, речь идет об интегрированных мультисер-висных широкополосных услугах и методологий предоставления гарантированного качества услуг (SLA). Здесь под широкополосностью понимается возможность гибкого и динамического изменения скорости передачи информации в широком диапазоне в зависимости от текущих потребностей пользователя, а мультисервисность означает независимость технологий предоставления услуг от транспортных технологий. Все сказанное относятся не к сети, а к службе, сеть же может обеспечить только услугу транспортировки сообщений. Мультисервисная сеть (МСС) - это инфраструктура, использующая единый канал для передачи данных разных типов трафика. Она позволяет уменьшить разнообразие типов оборудования, применять единые стандарты и единую кабельную систему, централизованно управлять коммуникационной средой для предоставления наиболее полного спектра услуг. Постановка задачи На основании вышеизложенного сформулируем ряд требований, которым должна отвечать идеальная МСС. Такая сеть должна: - эффективно использовать сетевые ресурсы; - обеспечивать высокое качество обслуживания мультимедийного трафика; - быть инвариантной к структуре трафика. Наиболее полно такая сеть может быть реализована на основе использования системы массового обслуживания (СМО) общего вида M/M/n/m. Эта модель СМО достаточно хорошо разработана и позволяет решить задачу эффективного ис- «Инфокоммуникационные технологии» Том 12, № 4, 2014 Линец Г.И., Фомин Л. А., Говорова С.В., Меденец В.В. 41 пользования сетевых ресурсов в конечном виде. Кроме того, она позволяет оценить основные качественные показатели сети, такие как минимальное среднее время задержки сообщений и вероятность отказа в их обслуживании. Однако данная модель изначально предназначена для обработки пуассоновских потоков информации с экспоненциальным временем обслуживания. Для того чтобы данная модель СМО полностью удовлетворяла изложенным выше требованиям, в основу создания инвариантной системы к различным структурам трафика может быть использован метод функциональных преобразований, основанный на свойствах инвариантности формы дифференциала вероятности и независимости переменных [1]. Данный метод позволяет адаптировать произвольный входной трафик к пуассоновской модели сети связи. Таким образом, требуется решить задачу инвариантности МСС к структуре входного трафика на основе его функциональных преобразований в узлах коммутации и представления сети СМО наиболее общего вида MiMinim. Модель экспоненциальной сети Каждое 7-ое звено транспортной сети моделируется в виде СМО типа MiMinim [2] с ограниченной очередью (n-канальная СМО с ожиданием), на которую поступает пуассоновский поток заявок с интенсивностью Л.(-, интенсивностью обслуживания и числом мест в очереди для 7-го звена m Среднее число занятых каналов z. и среднее число заявок, находящихся в очереди r. для каждого звена сети определяются уравнениями [2]: (\п+т и, -пл к л,.+1 poi1LaXi a-l (і) (2) а=1 где: р. - степень загрузки канала i-го звена; Xi = Pi / nt - эффективность использования канала; P0i - вероятность того, что каналы i-го звена свободны. Для всей сети вероятность того, что каналы свободны, равна [2]: inxf , {пхТ п 1 Ро = а=0 а\ п\ ■2>“ а=1 Среднее число заявок wt в в звене СМО определяется суммой выражений (1) и (2) на входе в каждый канал СМО [2] Щ = піХі {п;Х;Т‘ \_ЫГ1 Ли.! Го; + (3) + а=1 Вероятность отказа в обслуживании, когда все каналы и места в очереди заняты, согласно [2-3], равна Р . = ОТПК1 ( \ПІ ' У”;*;) I m пЛп, Po; . (4) Выразим PQ. из (4) и получим _ л Ч т‘ р 0; ( \щ+щ отк; . (5) Зафиксируем вероятность отказа на некотором допустимом уровне dort Р; =Р; *отк '•отк (6) и, подставив (5) в (3), получим среднее число заявок в СМО: ™=ЩХ&-Ротк)+ротк^1а%^Щ~а) .(7) а=1 Такая подстановка позволила упростить функционал оптимизации. На основании формулы Литтла и с учетом гипотезы Клейнрока о независимости запишем [2]: W; 7=1 где у - общий трафик сети, Тзад - средняя задержка пакетов. Условие (7) с учетом допущения (6) позволяет определить такой важный качественный показатель сети, как среднее время задержки пакетов: _ 1 п Гы Щ / \ Р; Y а%-[т‘-а) + п1х\\-Р1 Ютк£и Æl ілі\ iomKJ а=1 .(8) В силу сепарабельности функции (8) запишем [2]: дТзад _ dw; дХ; dz; = 0 . (9) Вычисление производных (9) приводит к системе n уравнений вида: »4 . г , „ - рдоп\ V_і отк / -а)ах~1 = п< а=1 Ріс don «Инфокоммуникационные технологии» Том 12, № 4, 2014 42 Линец Г.И., Фомин Л.А., Говорова С.В., Меденец В.В. Однако по условиям задачи приемлемыми пр лжОПт значениями X являются только те, которые расположены на поверхности, уравнением [2] определяемой ( \П ЩХі) плп, Ь{щХг)П , {n.Xif &д, al а=О п! а=1 Преобразуем (10) и приведем его к виду 1 + -Х(щ-а)асх^1)]=Р, П, а=1 доп отк ' (11) Учитывая, что правые части выражений (10) и (11) равны, получим: D7,*.(12) а=0 al а=1 ЩХі Уравнение (12) справедливо для любого звена изотропной сети, в которой X не зависит от направления передачи, то есть[2]: ^п! h al т-1 а(т-а) . (13) а=1 ПХ Определим корни уравнения (13), изменяющиеся в пределах 0< ^<1, как приемлемые значения степени загрузки каналов X°пр. Исследования показали, что получить точное аналитическое решение (13) не представляется возможным ввиду его трансцендентности, но они могут быть решены численными методами. Численный метод решения реализован с помощью программы Mathcad. Определены зависимости оптимальгг» min r»max ^ ных значений 1 зад и готк от сочетаний числа каналов п и количества мест в буфере т. Определив vopt значения Хіпр и величину суммарного потока на входе 7-го звена (заданного матрицей нагрузок на линии связи сети ограниченной связности произвольной топологии - см., например, в [4]), можно найти необходимое число каналов передачи 7-го звена и их пропускную способность, исходя из соотношения: opt _ Л _ L'Xt _ Ft 1 пр ПґМг rit-L-Mt Vt-nt (14) где Fi=L'Xi - суммарный поток на входе 7-го звена; Vt=L‘pt - пропускная способность каждого из п. - каналов. Для изотропной сети, в ко -торой загрузка каналов во всей сети остается постоянной и не зависит от направления передачи (не зависит от 7), выражение (14) принимает вид: y°Pt _ /С пр F; Vrn, Преобразование произвольного закона распределения интервалов времени между пакетами в пуассоновский закон Пусть непрерывная случайная величина Хх с плотностью распределения f{rf) подвергается функциональному преобразованию т2 - ф{тх ). Поскольку при этих условиях выполняется свойство инвариантности дифференциала вероятности, то вероятности этих двух событий равны [1] g(j2)dßT2 =f{Tx')dzl. (15) Необходимо выбрать такую функцию ф, которая в результате преобразования позволила бы получить экспоненциальный закон распределения g(r2) = Яехр(-Ят2), где т2 - длительность интервала времени между пакетами. Функция распределения при этом согласно [1] равна G(t2) = 1 - е^2. На основании свойства (15) получим f(jl) = g(?2)^i Г2 =-4ln[1-F(î’l)]-атх А Структурная схема устройства для преобразования входного трафика показана на рис. 1. Устройство содержит входную шину 1; логические элементы «И» 2-3 и 9-10; счетный триггер счетчики 4-5; выходной элемент «ИЛИ» 6; элементы буферной памяти 7-8; выходную шину 11 и вычислительное устройство 12. Рис. 1. Преобразование потока пакетов G(tx) в поток С7(г2) Пример Покажем возможность преобразования входного потока пакетов G(rx ), имеющего плотность «Инфокоммуникационные технологии» Том 12, № 4, 2014 Линец Г.И., Фомин Л. А., Говорова С.В., Меденец В.В. 43 распределения интервалов времени между пакетами по закону Парето, в пуассоновский поток, используя подход, реализованный в устройстве рис. 1. Предполагается, что преобразование трафика носит циклический характер, эффективность процесса преобразования определяется степенью точности стыковки элементов циклов между собой. Длительность каждого цикла Г? определяется временем накопления фиксированного числа пакетов т1 в счетчике 5. Поскольку закон преобразования трафика имеет случайный характер, получим: miO'+i) Ч = Z*. ■ щз (16) где R; - последовательность пакетов, интервалы времени между которыми полностью определяют статистические свойства входного трафика Эта последовательность приведена на рис. 2 для распределения интервалов времени между пакетами по закону Парето, при т1 = 100. Она формируется с помощью специальной программы, как выборка случайных величин с распределением интервалов времени между пакетами по закону Парето, обладающего заведомо самоподобными свойствами, интегральная функция распределения которого имеет вид[1]: ад = 1- ґ \а к где к - нижний граничный параметр, а - коэффициент формы. ность циклов записи процесса ад, построенных по формуле (16), приведена рис. 3. Рис. 3. Длительность циклов, записанных в элементах буферной памяти емкостью tnl = 102 В отрицательной области рис. 3 показан процесс записи в элемент буферной памяти 7, а в положительной области - в элемент буферной памяти 8 рис. 1. На рис.3 показано 15 полных циклов записи процесса ад . Считывание из элементов буферной памяти осуществляется аналогично, но в качестве управляющей последовательности используется последовательность пакетов формируемая вычислительным устройством 12 рис. 1. При использовании данного устройства в экспоненциальных сетях предполагается применение пуассоновского закона, имеющего экспоненциальное распределение интервалов времени между пакетами F(r2) = l-exp(Ar2), где Л -управляемая интенсивность потока пакетов. Генерируемая вычислительным устройством 12 (см. рис. 1) последовательность пакетов G(r2) представлена на рис. 4, интервалы времени между пакетами равны rm (18) Рис.2. Входная последовательность пакетов G(rx) Рис. 4. Последовательность пакетов G(r2) Для генерирования случайных величин с распределением Парето необходимо найти обратную функцию от интегральной функции распределения [1] При этом длительность циклов (см. рис. 5) по-прежнему описывается формулой (16), в которой интервалы времени между пакетами равны R = т.,. *1 = (l - rnd(ï))â 1 ’ (17) где rnd (1) - случайная переменная, равномерно распределенная на интервале [0; 1]. В последовательности рис. 2 пакеты располагаются во всех точках опрокидывания процесса Rt. Длитель- Рис. 5. Длительность циклов, считываемых из элементов буферной памяти «Инфокоммуникационные технологии» Том 12, № 4, 2014 44 Линец Г.И., Фомин Л.А., Говорова С.В., Меденец В.В. Связь между параметрами а (входной трафик, закон Парето) и Л (выходной трафик, пуассонов-ский закон) в (17)-(18) показана на рис. 6. 0.5 0.4 0.3 0.2 0.1 Äs 1 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.3 1.9 2 Рис. 6. Связь между параметрами аи Л Параметры процессов, формируемые в устройстве преобразования трафика, соответственно для закона Парето и экспоненциального закона, приведены ниже. Формирование потоков пакетов G(Tj) - см. рис. 2 и G(t2) - см. рис. 4 соответствует R(t1) = Н = 0,7 ; R (г2) = for і є 0...last(N); 1 ti ^ Ї 3 (і-лг.)^ t, fori є 0...last(N); 1<- -ln(l-N{) ,Л = 0,37534; Л t. Объединение потока пакетов G(r1) - см. рис. 3 и G(t2) - см. рис. 5 в циклы, содержащие 102 пакетов, соответствует L(ji) = L(t2) = fori є 0...99; 10<Ъ+ч ті*~ ЕВД,; 1=100, T, for і є 0...99; 1°<Ъ+о T£я(г2),.; i=1 00,- T. Определение математического ожидания потока пакетов ад рис. 3 и G{t2) рис. 5: 99 Za(ti) М(т1)= ,=0 99 ; М(т1) = 269,743; М(т2) = - 99 1ад 99 -; М(т2) = 269,743. Определение дисперсии потока пакетов G^) рис. 3 и G(t2) рис. 5: 99 Ёсад-ад)2 D(?ù = --^-; Дг1) = 6,317-103; 99 Х(Т,(г2)-М(г2))2 99 ад=- 1=0 99 ; D(t2) - 943,063. Определение джиттера задержки потока пакетов G(î"j) рис. 3 и G(t2) рис. 5: D(tx ) = 79,48; D(t2 ) = 30,71. Протяженность процессов различных по своей природе удалось сопоставить между собой по величине математического ожидания. Здесь основным управляющим показателем является интенсивность Л пуассоновского закона, сопоставляемого с коэффициентом формы а закона Парето. Джиттер задержки характеризует степень отличия исследуемых процессов в моменты переполнения счетчика 5 рис. 1 и может составлять 10 ...15% в сравнении с математическим ожиданием, он характеризует качество функционирования предлагаемого устройства. Заключение В статье предложена структурная схема рис. 1, позволяющая достигнуть инвариантности входного трафика за счет использования функциональных преобразований и свойств экспоненциальных сетей, в которых в качестве модели информационного обмена используется СМО MlMinim. Для данной СМО получены аналитические зависимости, позволяющие оптимизировать среднюю задержку, вероятность отказа в обслуживании пакетов в зависимости от числа каналов и количества мест в буферной памяти, а также выбрать оптимальные приемлемые коэффициенты загрузки каналов, характеризующие эффективность функционирования сети. Муль- «Инфокоммуникационные технологии» Том 12, № 4, 2014 45 тисервисная сеть может быть реализована на основе использования в качестве модели системы массового обслуживания наиболее общего вида MiMinim с последующими функциональными преобразованиями входного трафика в пуассо-новский закон. Такой подход дает возможность решить задачу обработки произвольного трафика экспоненциальной сетью, делая ее инвариантной к структуре входного трафика.

About the authors

Gennadiy Ivanovich Linets

Email: kbytw@mail.ru

Lev Andreevich Fomin

Email: fomin.lev@mail.ru

Svetlana Vladimirovna Govorova

Email: mit-nik2@yandex.ru

Viktor Vladimirovich Medenets

Email: alximik2012@mail.ru

References

Supplementary files