Проектирование систем с приоритетами Текст научной статьи по специальности «Компьютерные и информационные науки»

КОМПЬЮТЕРНЫЕ СИСТЕМЫ И СЕТИ

УДК 681.2

Т. И. Алиев

ПРОЕКТИРОВАНИЕ СИСТЕМ С ПРИОРИТЕТАМИ

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

Ключевые слова: система с приоритетами, производительность, дисциплина обслуживания, смешанные приоритеты, время пребывания, стоимость системы.

Введение. Качество функционирования вычислительных систем и компьютерных сетей, задаваемое в виде ограничений на время реакции (задержки запросов), превышение которых недопустимо или крайне нежелательно, обеспечивается за счет применения приоритетных стратегий управления процессами обработки и передачи данных. Например, в информационно-управляющих системах, находящихся в контуре систем автоматического управления технологическим оборудованием или подвижными объектами, превышение ограничений на время реакции может привести к резкому снижению эффективности функционирования системы или вообще к выходу ее из строя. В маршрутизаторах и коммутаторах компьютерной сети при передаче мультимедийных пакетов применение приоритетных стратегий управления трафиком направлено на обеспечение допустимых задержек, значения которых приведены в рекомендациях ITU-T Y.1541 [1]. Поскольку указанные ограничения в таких системах могут составлять доли секунд и даже миллисекунд, то одна из особенностей таких систем заключается в отсутствии обмена с внешней памятью в процессе управления. Таким образом, внешняя память не влияет на эффективность функционирования системы в целом и, в частности, на время реакции, являющееся основной характеристикой функционирования системы. При исследовании таких систем применяются модели в виде системы массового обслуживания с одним обслуживающим устройством и неоднородным потоком запросов, обрабатываемых с заданной производительностью. При этом емкость накопителей предполагается неограниченной, что справедливо для реальных систем, в которых вероятность потери запросов из-за ограниченной емкости накопителей не превышает 10 [2]. В этом случае задача проектирования системы сводится к синтезу стратегии управления потоком поступающих в систему запросов, задаваемой в виде некоторой дисциплины обслуживания (ДО), и определению производительности системы, обеспечивающих заданные ограничения на время пребывания запросов в системе.

Постановка задачи проектирования. В качестве исходных данных для решения задачи проектирования системы с неоднородным потоком запросов и приоритетным обслуживанием используется следующая совокупность величин: число классов запросов Н, поступаю-

щих в систему; интенсивности А,!,...,Xн потоков запросов, которые будем полагать простейшими; средние ресурсоемкости 01,..., 0н обработки запросов, задаваемые в виде среднего числа команд (инструкций), выполняемых при обработке запроса соответствующего класса; коэффициенты вариации V!,...,Vн ресурсоемкости обработки запросов; ограничения * *

щ ,..., ин на время пребывания в системе запросов:

ик ^ ик (к = 1 н), (!) где ик — среднее значение задержки (времени пребывания в системе) запросов класса к (к -запросов), зависящее от производительности V системы и ДО.

В качестве критерия эффективности рассмотрим стоимость системы: £ = ¿1 + ¿2, где

= yV% — стоимость устройства (процессора), связанная зависимостью с его производительностью V через коэффициенты пропорциональности у и нелинейности %; ¿2 = ¿оЕ — стоимость памяти, предназначенной для хранения поступающих в систему запросов (¿о — стоимость единицы памяти, например, байта; Е — емкость памяти). Емкость Е определяется максимальным числом к-запросов тк, которые могут одновременно находиться в системе: н

Е = ^ ёкпгк , где ёк — объем памяти, занимаемый одним запросом класса к. Максимальное

к=1

число запросов тк может быть представлено как тк = /ктк, где тк = Х^Щк — среднее число запросов в системе, /к — коэффициент, зависящий от закона распределения числа запросов в системе и допустимой вероятности потерь запросов из-за ограниченной емкости памяти

---3

(к = 1, Н). В частности, в случае геометрического закона и допустимой вероятности 10 коэффициент /к = 10 для систем, загрузка которых 40 % и более. Таким образом, стоимость системы составит:

5 = уVх+ ¿о ^к/к Xкик . (2)

к=1

Задача проектирования систем с приоритетами формулируется следующим образом: найти ДО и определить производительность системы, которые обеспечивают выполнение ограничений (1) при минимальной стоимости системы (2).

Проектирование систем с приоритетами реализуется в три этапа:

1) определение нижней границы производительности системы, начиная с которой можно искать ДО, обеспечивающую выполнение ограничений (1);

2) синтез ДО, обеспечивающей выполнение заданных ограничений при наименьшей производительности системы;

3) определение оптимальной производительности системы, обеспечивающей минимальную стоимость системы при выбранной ДО.

Нижняя граница производительности системы V) соответствует значению, начиная с

которого может решаться задача выбора ДО. Другими словами, если V < V), то не может быть найдена ДО, обеспечивающая требуемое качество функционирования системы.

При отсутствии ограничений на время пребывания запросов в системе нижняя граница производительности V) определяется из условия отсутствия перегрузки: Я < 1, где

Н

1 0,

Я = £ р, — суммарная загрузка системы, р, = ^, — загрузка, создаваемая , -запросами,

НН откуда V >£1,- 0,, V) = £10- .

,=1 ,=1

Для систем с ограничениями (1) под нижней границей производительности V) понимается значение, начиная с которого может существовать ДО, обеспечивающая выполнение заданных ограничений. Для определения V) воспользуемся законом сохранения времени пребывания [2], который запишем в следующем виде:

н Я н н

£р,и = 2(1 р) Ем^о+v,2)+£р,ь, . ,=1 2(1 -р),=1 ,=1

Заменив в этом выражении среднее значение времени пребывания и, на ограничение

и,* и учитывая неравенство (1), получим:

Я

н

ри > £

,=1 2(1 - Я) £

£ 1,^(1 + v2) + £р,Ь, .

г =1

(3)

Выражение (3) представляет собой необходимое условие существования ДО, обеспечивающей выполнение ограничений (1).

Заменив в (3) все величины, зависящие от производительности V, на соответствующие

0,

0,

1

н

выражения: Ь = ; Р, = ; Я = ^£1,0' и решив квадратное неравенство относительно V, получим:

V > 1 2

( н

н

н

£1,0, +£1,-0,7 £1,0,и,

V ,=1 ,=1 / ,=1

(н н /н £1,0, +£1,0,1 £1,0 V ,=1 ,=1 / , =1

н ( н н Л / н

-£1,0, 2£1,0,2-£1,02(1 + v2) 2£1,0,и,*

1/2

(4)

,=1 V ,=1 ,=1 Л ,=1

Обозначим через У) выражение в правой части неравенства (4). Значение V) позволяет

учитывать ограничения и,■ (, = 1, н) на время пребывания запросов по всем классам. С

уменьшением и1,..., ин требуемое значение V) растет, а при больших значениях и*,..., ин — стремится к V).

Значение V) было получено из необходимого условия (3) существования ДО, обеспечивающей выполнение ограничений (1), и может рассматриваться как необходимое, но не достаточное для синтеза ДО. Кроме того, в (4) ограничения (1) учитываются по всем классам в совокупности, при этом не учитываются особенности каждого класса.

Значения производительности V!',., VН , учитывающие ограничения на времена пребывания запросов по каждому классу, могут быть получены на основе следующих рассуждений. Минимальное время пребывания в системе для ^-запросов может быть обеспечено за

счет присвоения этому классу самого высокого абсолютного приоритета [2]. Это время, со-

■

гласно (1), должно быть меньше ик :

) + Ч < и* (к = 1,Н). (5)

2(1 -Рк)

Заменив в (5) параметры, зависящие от производительности, после некоторых преобразований получим:

-|1/2

1Г - ^

V >-2

^к 0к +-*"

0

ик ;

_

1 Г Л V 1 г2,л

^ к 0к +-*-

0к

ик

* к 02(1

2ик

(к = 1, Н). (6)

Обозначим через Vк выражение, стоящее в правой части неравенства (6). Значение Vk

представляет собой нижнюю границу производительности для к-запросов, учитывающую ог-* -

раничение и к < ик (к = 1, Н) .

Окончательно нижняя граница производительности системы V) при ограничениях (1)

определяется как У0 = тах(^0, V/,..., У%).

Синтез дисциплины обслуживания. Очевидно, что требуемое качество функционирования системы, заданное в виде ограничений (1), может быть достигнуто при любой ДО только за счет производительности системы, при этом наилучшим решением следует считать ДО, обеспечивающую эти ограничения при производительности, близкой к нижней границе. Разработка высокоэффективных и хорошо формализованных алгоритмов синтеза приоритетных ДО, позволяющих получить однозначное оптимальное решение, представляет собой сложную задачу. В этом случае целесообразно использовать эвристические алгоритмы, предполагающие целенаправленный перебор множества ДО в классе ДО со смешанными приоритетами (СП) [3]. Дисциплина обслуживания СП задается матрицей приоритетов (МП) Q = [дгу (/',] = 1,.,Н)], где qi]■ описывает приоритет /'-запросов по отношению к'-запросам:

0 — нет приоритета, 1 — приоритет относительный (ОП) и 2 — приоритет абсолютный (АП). Тогда среднее время пребывания к-запросов [4]:

£ (2 - qki )(1 + qki)Mг2(1 + V2) оА

и =_/=1____

к Н Н Н '

[2q1k(3-q1k)Р/][2(1 -q1A)(2-qkl)р,-] 2qft(^ - 1)р, /=1 /=1 /=1 Задача синтеза ДО сводится к определению значений qi], при которых выполняются ограничения (1).

Аналитическое решение системы неравенств (1) не представляется возможным, поскольку число различных ДО СП даже при небольшом количестве классов запросов значительно. Так, в случае пяти классов (Н = 5) число корректных ДО более 4,5 тыс, а при Н = 10 — более 100 млн. Последовательный перебор всех возможных МП приводит к большим затратам времени, снизить которые можно, используя эвристические алгоритмы.

Алгоритм распределения приоритетов, основанный на целенаправленном переборе различных ДО, предполагает задание начального варианта назначения приоритетов. Классы за*

просов должны быть расположены в порядке убывания отношения 0к /ик, т.е. по правилу: 0« / иа > 0р / ир >... > 0Ю / ию . Для последовательности номеров а, р,..., ш формируется начальный вариант распределения приоритетов по правилу: классам запросов, расположенным правее в указанной последовательности, назначается приоритет не выше, чем классам, расположенным левее. В нашем случае наиболее высокий приоритет назначается запросам класса

а и самый низкий — запросам класса ш. В качестве начального варианта может быть выбрана ДО ОП или ДО АП.

Необходимость упорядочения классов запросов по указанному правилу иллюстрирует рисунок, из которого видно, что из-за большой ресурсоемкости обслуживания 0у (Ъу = 0у / V)

у-запросов, по сравнению с /-запросами, целесообразно более высокий приоритет назначить

* * г- г-

у'-запросам, несмотря на то что и у > и1 . Это необходимо для обеспечения меньшего времени

* *

ожидания '-запросов: < .

±[

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

рассматриваемого варианта назначения приоритетов, от заданного ограничения:

* * -

С к = к _ ик)/ик (к = 1, Н). При этом в первую очередь необходимо повышать приоритет класса с минимальным значением С к. Приоритет может изменяться путем изменения приоритета данного класса относительно других классов или других классов относительно данного. При этом необходимо стремиться к тому, чтобы значения С к для всех классов были одинаковы.

Определение оптимальной производительности. На последнем этапе определяется оптимальное значение производительности, которое, обеспечивая при выбранной ДО выполнение заданных ограничений (1), позволяет минимизировать стоимость £ системы (см. (2)).

Задача отыскания минимума функции £ сводится к решению уравнения, полученного путем приравнивания нулю производной по V от функции £:

УХ V Х_1 + ^ ак/к ^ к

Н

к=1

&ик dV

= 0.

где ик определяется для выбранной на предыдущем этапе ДО СП. Это уравнение решается с

учетом ограничений (1), к которым на данном этапе могут быть добавлены требования по производительности и надежности системы [4, 5]. Ограничения определяют область допустимых значений V, в которой ищется оптимальное значение производительности. В частно*

сти, решив систему неравенств ^ (V) < ^, находим, что V должно определяться из условия:

V > тах^...^н Ь где ик (Ук ) = ик (к =1 Н).

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

Ъ

*

*

г

и

Ъ

г

и

Метод расчета характеристик замкнутых детерминированных моделей 35

СПИСОК ЛИТЕРАТУРЫ

1. Рекомендация МСЭ-Т Y.1541 (02/2006 г.). Требования к сетевым показателям качества для служб, основанных на протоколе IP. 2006.

2. Алиев Т. И. Основы моделирования дискретных систем. СПб: СПбГУ ИТМО, 2009. 363 с.

3. Алиев Т. И. Характеристики дисциплин обслуживания заявок с несколькими классами приоритетов // Изв. АН СССР. Техническая кибернетика. 1987. № 6. С. 188—191.

4. Алиев Т. И. Задачи синтеза систем с потерями // Изв. вузов. Приборостроение. 2012. Т. 55, № 10. С. 57—63.

5. Богатырев В. А., Богатырев С. В., Богатырев А. В. Функциональная надежность вычислительных систем с перераспределением запросов // Изв. вузов. Приборостроение. 2012. Т. 55, № 10. С. 53—56.

Сведения об авторе

Тауфик Измайлович Алиев — д-р техн. наук, профессор; Санкт-Петербургский национальный ис-

следовательский университет информационных технологий, механики и оптики, кафедра вычислительной техники; заведующий кафедрой E-mail: [email protected]

Рекомендована кафедрой Поступила в редакцию

вычислительной техники 23.12.13 г.

УДК 004.89: 002.53

Л. А. Муравьева-Витковская

МЕТОД РАСЧЕТА ХАРАКТЕРИСТИК ЗАМКНУТЫХ ДЕТЕРМИНИРОВАННЫХ МОДЕЛЕЙ МУЛЬТИСЕРВИСНЫХ КОМПЬЮТЕРНЫХ СЕТЕЙ

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

Ключевые слова: мультисервисные компьютерные сети, детерминированное обслуживание, замкнутые сети массового обслуживания.

Введение. Для анализа процесса функционирования мультисервисных компьютерных сетей (КС) широко используются сетевые модели массового обслуживания, учитывающие наличие множества ресурсов. Замкнутые сети массового обслуживания (МО), содержащие постоянное число заявок, успешно применяются для моделирования работы мультисервис-ных КС [1].

Хорошо известны методы расчета характеристик замкнутых сетей МО при распределении по экспоненциальному закону временных интервалов обслуживания заявок в узлах сети. В настоящей статье предлагается метод расчета характеристик мультисервисных КС, моделями которых являются замкнутые сети с детерминированным временем обслуживания заявок в узлах. Предположение о детерминированном обслуживании позволяет учитывать реальную статистику распределений фиксированных длин пакетов [2].

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