Читайте данную работу прямо на сайте или скачайте

Скачайте в формате документа WORD


Проектирование производительности вС

СОДЕРЖАНИЕ


ВСТУПЛЕНИЕ 2

МЕТОДЫ ОЦЕНКИ ЭФФЕКТИВНОСТИ вС И ИХ КОМПОНЕНТОВ 4

МЕТОДЫ ИССЛЕДОВАНИЯ 4

АНАЛИТИЧЕСКОЕ МОДЕЛИРОВАНИЕ 5

ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ 6

ЭКСПЕРИМЕНТАЛЬНЫЕ МЕТОДЫ 7

СБОР ДАННЫХ ДЛЯ МОДЕЛИРОВАНИЯ 9

ИНДЕКСЫ ПРОИЗВОДИТЕЛЬНОСТИ 10

АНАЛИТИЧЕСКОЕ МОДЕЛИРОВАНИЕ НА ОСНОВЕ ТЕОРИИ СИСТЕМ

МАССОВОГО ОБСЛУЖИВАНИЯ 11

ОБЩИЕ ПОЛОЖЕНИЯ 11

ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА МОДЕЛИРОВАНИЯ 15

ПРИМЕРЫ АНАЛИТИЧЕСКИХ МОДЕЛЕЙ ЛВС 17

ПРИЛОЖЕНИЯ 21

ЛИТЕРАТУРА

.

- 2 -


ВСТУПЛЕНИЕ


В настоящее время ва использовании вС можно отметить две

тенденции:а создание мощных корпоративных сетей и переход на тех-

нологию клиент-сервер.

Корпоративные вСа характеризуются многосегментной структу-

рой, большим числом рабочих станций (РС), наличиема нескольких

серверов (файловых, баз данных, печати, модемов), маршрутизато-

ров, мостов и т.п. Эффективное использование технологииа кли-

ент-сервер в таких сетях ставит ряд сложных задач перед админист-

раторами и пользователями вС. Важнейший комплекс задач - обеспе-

чение требуемой производительности, пропускной способности сети и

планирование ее мощности.

Сейчас, когда вС стали определяющим компонентом ва информа-

ционной стратегии большинства организаций, недостаточное внимание

к оценке мощности ЛВС и ее планированию привело к тому, что се-

годня для поддержки современныха приложенийа в технологии кли-

ент-сервер многие сети необходимо заново проектировать во многих

случаях и заменять.

Производительность и пропускная способность вС определяется

рядом факторов: выбором серверов и рабочих станций, сетевого обо-

рудования, операционных систем рабочих станций, серверова и их

конфигураций, распределением файлов базы данных по серверам сети,

организацией распределенного вычислительного процесса, защиты,

поддержания и восстановления работоспособности в ситуациях сбоев

и отказов и т. п. Максимальные возможности корпоративной вС для

конкретныха приложений (банковская, офисная, проектно-конструк-

торская, управленческая деятельность и др.) могут быть достигнуты

только наа основе комплексного подхода к оптимизации вС на всех

этапах жизненного цикла (от технико-экономического обоснования и

технического задания ана разработку до эксплуатации и модерниза-

ции).

Для решения задач оптимизации производительности и пропуск-

ной способности ЛСа используются методы и средстваа измерения

(анализа) и моделирования. Особенности трафика вС делают модели-

рование сетей более трудным, чем моделирование систем са главной

машиной. В вС трафик может сильно варьироваться, что определяет-

ся природой распределенной обработки. Так как такая обработка вы-

полняется и клиентом, и сервером, есть много способов распределе-

ния обработки информации между ними, но в первую очередь необхо-

димо знать о производительности самих приложений и влиянии прило-

жений на общую производительность и пропускную способность сети.

Как правило, средстваа моделирования позволяюта определить

производительность и пропускную способность вС на основе показа-

телей ее фактического оцениваемого трафика, казываемых админист-

ратором сети. Многие пакеты моделирования могут воспринимать дан-

ные и от инструментальных средств анализа сети (сетевых анализа-

торов), таких, например, как анализатор протокола Sniffer фирмы

Networkа General. Для крупномасштабных моделей такая возможность

имеет важное значение, поскольку в этом случае отпадает необходи-

мость во вводе в моделирующую программу множеств данных. Устано-

вив в сети программные измерительные средстваа и яснива картину



- 3 -


полного сетевого трафика, можно использовать и данные с помощью

продуктов административного правления сетью, таких, как Sun Net

Managerа фирмы Sun Microsystem и Open View фирмы Hewlett Packard.

Другим подходом к моделированию является создание вариантов "сце-

нариев" работы вС, что позволяет программировать ровень трафика

на основе действий сетевых приложений.

Средства моделирования обычно включают модули, эмулирующие

все сетевые устройства. Например, пакет PlanNet фирмы Comdisco

позволяет моделировать все оборудование вС Token Ring и Ethernet

вплоть до средств передачи речевыха данныха и телекоммуникаций.

После того кака модель сети разработана и отла жена появляется

возможностъ проведения экспериментов, например, можно добавить в

сеть пользователей сегменты, мосты, коммутаторы, концентраторы,

изменить тип передающей среды или сервера и т.п. Модель покажет

пропускную способность сети, ровень трафика и ошибок, время ре-

акции.

Следует иметь в виду, что для решения задач оптимизации вС

необходимы точные исходные данные (например, получаемые от сете-

вого анализатора), правильная оценка роста трафика, генерируемого

новым сетевым приложением, также понимание возможности програм-

мы (пакета)а моделирования и какие из "сценариев" жизнеспособны.

Инструментальные средства не могут дать конкретныха рекомендаций

по поиску "узких" мест и оптимизации вС, только способны пока-

зать, как изменения могут повлиять на характеристики сети. Ин-

терпретировать данные, полученные инструментальными средствами,

разрабатывать планы странения "узких мест" в вС, сценарии для

иха проверки, решать оптимизационные задачи должен администратор

сети.

.

- 4 -


МЕТОДЫ ОЦЕНКИ ЭФФЕКТИВНОСТИ ЛВС

И ИХ КОМПОНЕНТОВ

МЕТОДЫ ИССЛЕДОВАНИЯ

На различныха стадияха жизненного цикла вС могут использо-

ваться различные методы оценки ее эффективности и оптимизации.

В процессеа проектирования вС с использованием современной

методологии проектирования и технологическиха комплексова (САПР)

могут применяться экспериментальные методы исследования, аналити-

ческое и имитационное моделирование.

На стадиях опытной и рабочей эксплуатации ЛВС основным мето-

дом оценки их качества следует считать экспериментальное исследо-

вание. Оно позволяет собрать статистическую информацию о действи-

тельном ходе вычислительного, процесса, использовании оборудова-

ния, степениа удовлетворения требований пользователей системы и

т.п. и затем по результатам ее обработки сделать заключение о ка-

честве проектных решений, заложенных при создании системы, так-

же принять решение по модернизации системы (устранениюа "узких"

мест). Однако не исключено и использование методов моделирования,

с помощью которых можно оценить эффект ота модернизации вС, не

изменяя рабочей конфигурации и организации работы системы.

 Моделирование 0 - один иза наиболееа распространенныха методов

исследования. Модель ЛВС - это такое ее представление, которое

состоит из определенного количества организованнойа информации о

ней и построено с целью ее изучения. Другими словами, модель -

физическая или абстрактная система, представляющая объект иссле-

дования. Приа исследовании вС, как правило, используются абс-

трактные модели, представляющие собой описания ЛВС наа некотором

языке. Абстрактная модель, представленная на языке математических

отношений, называется  1математической моделью 0. Математическая мо-

дель Ма имеета формуа функциональной зависимости W=W 4м 0(Х,F), где

W={W 41 0,W 42 0,...,W 4n 0} - показатели эффективности системы;

Х={x 41 0,x 42 0,...,х 4n 0} и F= {f 41 0,f 42 0,...,f 4Q 0} - соответственно параметры и

функции, выполняемые системой.

Поскольку при исследовании вСа возникаета много различных

вопросов, для решения тех или иных задач может быть разработан

ряд моделей M={M 41 0,М 42 0,...,М 4o 0}. Эти модели представляют одну и ту

же систему, но разрабатываются в различных целях, представляют ВС

с различных точек зрения, потому имеют различную степень дета-

лизации. Это означает, что в некоторой модели M 4i 0 C M могут от-

сутствовать определенные математические зависимости, аа следова-

тельно, модель М может быть неадекватной реальной ВС. Поэтому в

совокупность моделей М должны входить такие частные модели, кото-

рые адекватно отражаюта отдельные стороны функционирования вС в

соответствии с целью исследования и имеют такую степень детализа-

ции, которая достаточна для решения конкретной задачи с требуемой

точностью.





- 5 -


АНАЛИТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

Использование аналитических методов связано с необходимостью

построения математическиха моделейа ЛВС в строгих математических

терминах. Аналитические модели ВС носят обычно вероятностный ха-

рактера иа строятся наа основе понятий аппарата теорий массового

обслуживания, вероятностей и марковских процессов, также мето-

дов диффузной аппроксимации. Могут также применяться дифференци-

альные и алгебраические равнения.

При использовании этого математического аппарата часто да-

ется быстро получить аналитические модели для решения достаточно

широкого круга задач исследования вС. В то же время аналитичес-

кие модели имеют ряд существенных недостатков, к числуа которых

следует отнести:

- значительные прощения, свойственные большинству аналити-

ческих моделей (представление потокова заявока кака простейших,

предположение оба экспоненциальнома распределении длительностей

обслуживания заявок, невозможность обслуживания заявок одновре-

менно несколькими приборами, например процессором и оперативной

памятью, иа др.). Подобные прощения, зачастую искусственное

приспособление аналитических моделей са целью использования хо-

рошо разработанного математического аппарата для исследования ре-

альных вС ставят иногда под сомнение результаты аналитического

моделирования;

- громоздкость вычислений для сложных моделей, например, ис-

пользование для представления в модели процесса функционирования

современной вС по методу дифференциальных равненийа Колмогорова

требуета (для становившегося режима) решения сложной системы ал-

гебраических уравнений;

- сложность аналитического описания вычислительных процессов

ЛВС. Большинство известных аналитических моделей можно рассматри-

вать лишь как попытку подхода к описанию процессов функционирова-

ния вС;

- недостаточная развитость аналитического аппарата в ряде

случаев не позволяет в аналитических моделях выбирать для иссле-

дования наиболее важные характеристики (показатели эффективности)

ЛВС. Особенно большие затруднения при аналитическом моделировании

связаны са четома ва процессаха функционирования вС программных

средств операционных систем и другого общего ПО.

казанные особенности позволяют заключить, что аналитические

методы имеют самостоятельное значение лишь при исследованииа про-

цессова функционирования вСа ва первом приближении и в частных,

достаточно специфичных задачах. В этих случаях возможности иссле-

дования аналитическиха моделей вС существенно расширяют прибли-

женные методы, например методы диффузионной аппроксимации, методы

операционного анализа и аналитические сетевые модели.

Позднее будет рассмотрено аналитическое моделирование вС на

основе теории систем массового обслуживания.





- 6 -


ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ

В отличие от аналитического имитационное моделирование сни-

мает большинство ограничений, связанных с возможностью отражения

в моделях реального процессаа функционирования исследуемойа ЛВС,

динамической взаимной обусловленности текущих и последующих собы-

тий, комплексной взаимосвязи между параметрами и показателями эф-

фективности системы и т.п. Хотя имитационные модели во многих

случаях более трудоемки, менее лаконичны, чем аналитические, они

могута быть сколь годно близки к моделируемой системе и просты в

использовании.

Имитационные модели представляют собой описание объекта исс-

ледования на некотором языке, которое имитирует элементарные яв-

ления, составляющие функционирование исследуемой системы, с сох-

ранением их логической структуры, последовательности протекания

во времени, особенностей и состава информации о состоянии процес-

са. Можно отметить имеющуюся аналогию между исследованием процес-

сова методома имитационного моделирования и экспериментальным их

исследованием.

Описания компонентов реальной ВС в имитационной модели носят

определенный логико-математический характер и представляюта собой

совокупность алгоритмов, имитирующих функционирование исследуемой

ВС. Моделирующая программа, построенная на основе этих алгоритмов

(т. е. на основе математической модели), позволяет свести имита-

ционное моделирование к проведению экспериментов на ЭВМ путема их

"прогона" на некотором множестве входных данных, имитирующих пер-

вичные события, которые происходят в системе. Информация, фикси-

руемая в процессе исследования имитационной модели, позволяет оп-

ределить требуемые показатели, характеризующие качество исследуе-

мой ВС.

Основными недостатками имитационного моделирования, несмотря

на появившиеся в последнее время различные системы моделирования,

остаются сложность, высокая трудоемкость и стоимость разработки

моделей, иногда и большая ресурсоемкость моделей при реализации

на ЭВМ.

Хотя существующие сегодня продукты моделирования способны

помочь квалифицированному инженеру вС моделировать и планировать

сеть, они, по мнению экспертов, все еще слишком сложны в исполь-

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

ент-сервер. Специалисты считают, что необходимы новые модели

распределенной обработки, в которых основное внимание делялось

бы пропускной способности сети одного зла к другому.

Пакетная ориентация существующих моделирующих программ озна-

чает, что архитектор сети или инженер должен сам определить, поз-

волит ли убыстрение конвейерной передачи лучшить время реакции.

Это справедливо для любого вида приложений, но особенно важно для

программ класса клиент-сервер. Поскольку есть много способов об-

работки распределения между клиентом и сервером, производитель-

ность нужно измерять на основе влияния приложения, аа не только

пропускной способности каналов связи. Например, приложение, кото-

рое выполняет большую часть своей обработки со стороны клиента,

можета создавать впечатление интенсивного использования. Однако



- 7 -


реально основной объем использования сети происходит при загрузке

программы, а здесь приемлемое время реакции - 20 или 30 с. Напро-

тив, для совместно используемой базы данных можета потребоваться

более быстрый конвейер.

Средства моделирования обычно включают в себя модули обра-

ботки, эмулирующиеа сетевые стройства (мосты и концентраторы),

так что моделируемый трафик будет подвергаться той жеа обработке,

что и реальный.

Например, в пакете моделирования PlanNet фирмы Comdisco име-

ется возможность эмуляции всего оборудования - от сети Token Ring

и сегментов Ethernet до средств передачи речевых данныха и теле-

коммуникационных линий Т-З.

После того как модель сети построена и работает, можно поэк-

спериментировать, добавляя в нее протоколы, пользователей или се-

тевые сегменты. Можно разбить сеть наа дополнительные сегменты,

применив в них, например, линию связи Т-1, и посмотреть, что про-

изойдет. Средство моделирования покажет коэффициент использования

сети в процентах от ее пропускной способности, ровни трафика и

ошибок, время реакции.

Все это требуета времени. Построение точной модели сложной

сети может занять месяц или более. Следует принимать во внимание

также значительнуюа стоимость подобныха пакетов (порядка 10

дол.).

Эти продукты настолько сложны, что многие специалисты по вС

занимают выжидательную позицию.

Однако хороший пакета моделирования сети поможет не только

найти "узкие" места и помочь в инсталляции нового сетевого обору-

дования, но и реально сэкономить средства. Точно предсказав тра-

фик вС, можно избежать неправильного построения своей сети или

отказаться от приобретения ненужного оборудования.

Финансовые аспекты моделирования являются решающими. Продукт

NetMakerа фирмы MakeSystemsа включает в себя шаблоны трафика для

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

MCIа реально сэкономить средства для становления конкретной свя-

зи.

Продукт NetMaker никален еще и тем, что в нем используются

указываемые поставщиком характеристики производительности. Такие

фирмы-поставщики, кака Wellfleetа Communications и CiscoSystems,

подготавливают для Maker детальные таблицы производительности, на

основе которыха и производится моделирование. Этот процесс нас-

только отличается от других средств моделирования, что NetMaker

является скорее не программой моделирования, профайлером прило-

жений.

ЭКСПЕРИМЕНТАЛЬНЫЕ МЕТОДЫ

Практическое использование моделей вСа во многиха случаях

предполагает наличие информации о реальных характеристиках вычис-

лительного процесса. Такая информация может быть получена эмпири-

ческими методами, на основе которых в настоящее время создаются

средства для исследования аппаратно-программных компонентова ЛВС.

Необходимая информация собирается с помощью специальных средств,



- 8 -


которые обеспечивают измерение параметров, характеризующих дина-

мику функционирования вС в режимах опытной и нормальной эксплуа-

тации. К таким средствам относятся сетевые анализаторы, анализа-

торы протоколов и т.п..

Создание средств для измерений параметрова функционирования

ЛВС, в том числе и операционных систем вС, относится к числу но-

вых задач в вычислительной технике.

Экспериментальные методы позволяют создать основуа количест-

венной оценкиа эффективности ВС для достижения следующих практи-

ческих целей:а анализа имеющихся вС, выбора наилучшей и синтеза

новой вС. Оценкаа характеристика аппаратно-программных средств

связана с проведением экспериментов и измерений, которые с прак-

тической точки зрения могут рассматриваться как процесс получения

полезной информации.

Данные измерений представляются в виде, пригодном для после-

дующего анализа. Это осуществляется с помощью специальных средств

обработки, создание которых связано с разработкой анализаторов.

Эта взаимосвязь касается, например, выбора единых форматов дан-

ных, добных не только для измерений, но и для обработки их ре-

зультатов. В общем случае этап измерений предшествует этапу обра-

ботки, и средства обработки должны быть рассчитаны на эффективное

применение к большим массивам информации, поскольку для измерений

на вС характерны, как правило, большие объемы и высокая плот-

ность регистрируемых данных.

На завершающем этапе экспериментальныха исследований прово-

дится анализ результатов измерений, который состоит в получении

содержательных выводов об исследуемой вС. Важныма словиема для

формирования таких выводов является дачное представление резуль-

татов измерений.

Эффективность экспериментальныха методов в значительной сте-

пени зависит от качества планирования экспериментов и правильнос-

ти выбораа типа нагрузки. Эксперимент состоит из набора тестов,

выполняемых в процессе исследований, тест, в свою очередь, сос-

тоит из ряда сеансов или "прогонов". Термин "сеанс" чаще применя-

ется для измерений, "прогон", как правило,- для имитационного

моделирования. В течение сеанса или прогона накапливается инфор-

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

ку рабочая нагрузка меняется, число наблюдений, которое требуется

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

быть таким, чтобы распределения для этих величин и их моменты

могли быть оценены с требуемой точностью. Таким образом, продол-

жительность сеанса зависит от необходимого числа наблюдений.

Эксперимент длительностью в один сеанс достаточен для оцен-

ки, еслиа нужно, рассмотреть только одну конфигурацию системы и

один тип, рабочей нагрузки. Например, если измерения производятся

для того, чтобы выяснить, обеспечивает ли данная вС при заданной

рабочей нагрузке (трафике) довлетворительную производительность,

т. е. отвечает ли она определенным требованиям. Эксперименты дли-

тельностью в несколько сеансов необходимы, если предстоит опреде-

лить влияние определенных факторов на производительность системы

или производится оптимизация системы последовательнымиа итерация-

ми. Основной проблемой, возникающей при планировании этих экспе-



- 9 -


риментов, является определение состава и требуемой точности ре-

гистрации измеряемых параметров.

СБОР ДАННЫХ ДЛЯ МОДЕЛИРОВАНИЯ

Как правило, средства моделирования сети вычисляют ее произ-

водительность на основе показателей ее фактического и оцениваемо-

го трафика, указываемых администратором сети. Многие программы

моделирования воспринимают данные и ота инструментальныха средств

анализа сети, таких, как анализатор протокола Sniffer фирмы Net-

work General. Для крупномасштабных моделей такая возможность име-

ет важное значение: без нее пришлось бы подсчитывать передаваемые

пакеты и вводить множество данных. становив программные датчики,

позволяющие получить картину полного сетевого трафика, можно ис-

пользовать и данные, получаемые с помощью продуктова администра-

тивного управления сетью, таких, как SunNet Manager фирмы Micro-

systems и Open View фирмы Hewlett Packard.

Другим подходом к моделированию сети является создание вари-

антов сценария работы вС, что позволяет программировать уровень

трафика на основе действий сетевых приложений. Разница между эти-

ми подходами состоит в том, что в первом случае просто использу-

ется экстраполяция на основе измеренного трафика, второй позво-

ляет правлять масштабом операций. Он будет срабатывать тема эф-

фективнее, чем больше сценарии приближены к реальности.

Даже при помощи такого измерительного инструмента, как Snif-

fer, моделирование позволяет получить лишь ту точность, которую

дают базовые данные. Если при измерении трафика не охвачен адек-

ватный диапазон сетевой активности или неверны оценки роста объ-

ема трафика, генерируемого новым приложением, получить реалистич-

ное описание производительности невозможно.

Необходимы не только точные данные, но и определенная подго-

товкаа экспериментатора, понимание того, что означает программа

моделирования и какие сценарии более жизнеспособны. Хотя инстру-

ментальные средстваа являются графическими и с ними легко рабо-

тать, эти средства не дают конкретных рекомендаций, например, как

"выделить этот сегмент сети" или "уменьшить здесь длину кабеля".

Средства моделирования способны показать, каким образом из-

менения могут повлиять на производительность, но интерпретировать

данные, разрабатывать план странения "узких"а места иа готовить

сценарии для проверки этих планов должен администратор сети.

.

- 10 -


ИНДЕКСЫ ПРОИЗВОДИТЕЛЬНОСТИ


Наиболее широко распространенные классы количественныха ин-

дексов производительности для вычислительных систем перечислены в

табл. 1. Из общих определений, данных в той же таблице, очевидно,

что индексы продуктивности имеют размерность объем 7 & 0 время 5-1 0, ин-

дексы реактивности - размерность времени, индексы использования

безразмерны. В настоящее время не существует стандартизированного

единого способа измерения объема, или количества информации, пе-

реработанной системой. Таким образом, в зависимости от системы и

от ее рабочей нагрузки будут использоваться различныеа меры объ-

ема;а средиа наиболее распространенныха можно назвать:а задание,

программу, процесс, шаг задания, задачу, сообщение, взаимодейс-

твие (обмен сообщениями), команду. Перечислить все значения, при-

писанные ранее и приписываемые ныне этим терминам в литературе по

вычислительным системам, по-видимому, невозможно. Здесь мы только

отметим, что все они до некоторой степени зависят от природы ра-

бочей нагрузки, от языка, на котором программисты описывают свои

алгоритмы для машины, от внутреннего языка машины и ота способа

организации системы. Таким образом, ни одна из этих мер не обла-

дает свойством независимости от рабочей нагрузки и свойствома не-

зависимости от системы - это два свойства, необходимые для того,

чтобы можно было установить некоторую меруа объемаа информацииа в

качестве универсальной.

.

- 11 -


АНАЛИТИЧЕСКОЕ МОДЕЛИРОВАНИЕ НА ОСНОВЕ ТЕОРИИ

СИСТЕМ МАССОВОГО ОБСЛУЖИВАНИЯ


ОБЩИЕ ПОЛОЖЕНИЯ

При аналитическом моделировании исследование процессова или

объектова заменяется построением их математических моделей и исс-

ледованием этих моделей. В основу методаа положены идентичность

формы равненийа и однозначность соотношений между переменными в

уравнениях, описывающих оригинал и модель. Посколькуа события,

происходящие ва локальных вычислительных сетях, носят случайный

характер, то для их изучения наиболее подходящими являются веро-

ятностные математические моделиа теории массового обслуживания.

Объектами исследования в теории массового обслуживания являются

системы массового обслуживания (СМО) и сети массового обслужива-

ния (СеМО).

Системы массового обслуживания классифицируются по следующим

признакам:

- закону распределения входного потока заявок;

- числу обслуживающих приборов;

- законуа распределения времени обслуживания в обслуживающих

приборах;

- числу мест в очереди;

- дисциплине обслуживания.

Для краткости записи при обозначении любой СМО принята сис-

тема кодирования A/B/C/D/E, где на месте буквы ставятся соответс-

твующие характеристики СМО:

А - закон распределения интервалов времени между поступлени-

ями заявок. Наиболее часто используются следующие законы распре-

деления: экспоненциальное (М), эрланговское (Е), гиперэкспоненци-

альное (Н), гамма-распределение (Г), детерминированное (D). Для

обозначения произвольного характераа распределения используется

символ G;

В - закон распределения времени обслуживания в приборах СМО.

Здесь приняты такие же обозначения, как и для распределения ин-

тервалов между поступлениями заявок;

а С -а число обслуживающих приборов. Здесь приняты следующие

обозначения:а для одноканальных систем записывается 1, для много-

канальных в общем случае - l (число каналов);

D - число мест в очереди. Если число мест в очереди не огра-

ничено, то данное обозначение может опускаться. Для конечного

числа мест в очереди в общем случае приняты обозначения rа или n

(число мест);

Е - дисциплинаа обслуживания. Наиболее часто используются

следующие варианты дисциплины обслуживания: FIFO (первым пришел -

первым вышел), LIFO (последним пришел -а первыма вышел), RANDOM

(случайный порядока обслуживания). При дисциплине обслуживания

FIFO данное обозначение может опускаться.

Примеры обозначений:

М/М/1 - СМО с одним обслуживающим прибором, бесконечной оче-

редью, экспоненциальными законами распределения интервалов време-

ни между поступлениями заявок и времени обслуживания, дисциплиной



- 12 -


обслуживания FIFO;

Е/Н/l/r/LIFO - СМО с несколькими обслуживающими приборами,

конечной очередью, эрланговским законом распределения интервалов

между поступлениями заявок, гиперэкспоненциальным распределением

времени обслуживания в приборах, дисциплиной обслуживания LIFO;

G/G/l - СМО с несколькими обслуживающими приборами, беско-

нечной очередью, произвольными законами распределения времени

между поступлениями заявок и времени обслуживания, дисциплиной

обслуживания FIFO.

Для моделирования вС наиболее часто используются следующие

типы СМО:

1) одноканальные СМО с ожиданием - представляюта собой один

обслуживающий прибор с бесконечной очередью. Данная СМО является

наиболее распространенной при моделировании. С той или иной долей

приближения c ее помощью можно моделировать практически любой

узел вС;

2) одноканальные Мо са потерями - представляют собой один

обслуживающий прибор с конечным числом мест в очереди. Если число

заявок превышает число мест в очереди, то лишние заявки теряются.

Этот тип СМО может быть использован при моделировании каналов пе-

редачи в вС;

3) многоканальные СМО с ожиданием - представляют собой нес-

колько параллельно работающих обслуживающих приборов с общей бес-

конечной очередью. Данный тип СМО часто используется при модели-

ровании групп абонентских терминалов вС, работающих в диалоговом

режиме;

4) многоканальные Мо с потерями - представляют собой нес-

колько параллельно работающих обслуживающих приборов с общей оче-

редью, число мест в которой ограничено. Эти СМО, как и однока-

нальные с потерями, часто используются для моделирования каналов

связи в вС;

5) одноканальные Мо са групповыма поступлениема заявока -

представляюта собойа один обслуживающий прибор с бесконечной оче-

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

деленному правилу;

6) одноканальные СМО с групповым обслуживанием заявок предс-

тавляюта собойа один обслуживающий прибор с бесконечной очередью.

Заявки обслуживаются пакетами, составляемымиа по определенному

правилу. Последние два типа СМО могут использоваться для модели-

рования таких узлов вС, как центры (узлы) коммутации.

В таблицеа 2а приведены словные обозначения и схемы данных

систем массового обслуживания.

а Локальная вычислительная сеть в целом может быть представле-

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

нутые и смешанные сети.

 Открытой 0 называется сеть массового обслуживания, состоящая

иза М злов, причем хотя бы в один из злов сети поступает извне

входящий поток заявок, и имеется сток заявок из сети. Для откры-

тыха сетей характерно то, что интенсивность поступления заявок в

сеть не зависит от состояния сети, т.е. от числа заявок, же пос-

тупившиха ва сеть. Открытыеа сети используются для моделирования

ЛВС, работающих в неоперативном режиме. Пример такой модели дан



- 13 -


на рис. 1. Здесь системы S1 и S2 моделируют работу злов коммута-

ции, системы S3 и S4 - работу серверов и системы S5 и S6 - работу

межузловых каналов. В сети циркулируют два потока заявок. Каждая

заявка поступает на вход соответствующего злаа коммутации, где

определяется место ее обработки. Затема заявкаа передается на

"свой" сервер или по каналу связи - на "соседний" сервер, где об-

рабатывается, послеа чего возвращается к источнику и покидает

сеть.

 Замкнутой 0 называется сеть массового обслуживания с множест-

вом злов М без источника и стока, в которой циркулирует постоян-

ное число заявок. Замкнутые СеМО используются для моделирования

таких вС, источниками информации для которых служат абонентские

терминалы, работающие в диалоговом режиме. В этом случае каждая

группа абонентских терминалов предтавляется в виде многоканальной

системы массового обслуживания с ожиданием и включается в состав

устройств сети.

Различают простой и сложный режимы работы диалоговых абонен-

тов. В простом режиме абоненты не производята никакиха действий,

кроме посылкиа заданий ва вС и обдумывания полученного ответа.

Пример такой модели дан на рис. 2. Здесь системы S01 и S02 моде-

лируют работу групп абонентских терминалов 1 и 2, системы S7 и S8

моделируют работу каналов связи с абонентами, системы S1 и S2а -

работу злов коммутации (моста), системы S3 и S4 - работу серве-

ров и системы S5 и S6 - работу каналов межузловой связи. Абоненты

с терминалов посылают запросы, которые по каналам связи поступают

на злы коммутации, оттуда - на обработку на "свой" или ""со-

седний" сервер. Дальнейшая обработка осуществляется так же, как в

сети на рис. 1.

При сложном режиме диалога работа абонентов представляется в

виде совокупности операций некоего процесса, называемого  1техноло-

 1гическим процессом 0. Каждая операция технологического процесса мо-

делируется соответствующей СМО. Часть операцийа предусматривает

обращение к ЛВС, часть операций может такого обращения не пре-

дусматривать. Пример моделирования вС со сложной структурой диа-

лога абонентов с помощью замкнутых СеМО дан на рис. 3. Здесь име-

ются две группы абонентов, каждый абонент в процессе работы со-

вершает несколько операций, причем часть из этих операций предус-

матривает обращение к вС. Алгоритм работы самой ЛСа такой же,

как для сети на рис. 2.

 Смешанной 0 называется сеть массового обслуживания, в которой

циркулируета несколько различных типов заявок (трафика), причем

относительно одних типов заявока сеть замкнута, аа относительно

других типов заявок сеть открыта. С помощью смешанных СеМО моде-

лируются такие ЛВС, часть абонентов которых работает ва диалого-

вом, часть - в неоперативном режиме. Для диалоговых абонентов

также различают простой и сложный режим работы. Часто смешанные

СеМо моделируют вС, в которых сервер дополнительно загружается

задачами, решаемыми на фоне работы самой сети.

Пример моделирования вС с простым режимом работы диалоговых

абонентов с помощью смешанных СеМО дан на рис. 4. Алгоритм работы

сети для диалоговых абонентов аналогичен алгоритму работы сети на

рис. 2, алгоритм работы сети для неоперативных абонентов - ал-



- 14 -


горитму работы сети на рис. 1.

Различают экспоненциальные и неэкспоненциальные модели вС.

 Экспоненциальные модели 0 основаны на предположении о том, что по-

токи заявок, поступающие в вС, являются пуассоновскими, а время

обслуживания ва узлаха вС имеет экспоненциальное распределение.

Для таких сетей получены точные методы для определения иха харак-

теристик;а трудоемкость получения решения зависит в основном от

размерности сети.

Однако ва большинстве сетей (и локальных сетей в частности)

потоки не являются пуассоновскими. Модели таких сетей называются

 1неэкспоненциальными 0. При анализе неэкспоненциальных сетей в общем

случае отсутствуют точные решения, поэтому наибольшее применение

здесь находят приближенные методы.

Одним из таких методов является метод диффузионной аппрокси-

мации. Использование диффузионной аппроксимации позволило, к нас-

тоящему времени получить приближенные аналитические зависимости

для определения характеристик всех типов СМО, рассмотренных выше.

При этом не требуется точного знания функцийа распределения слу-

чайных величин, связанных с данной СМО (интервалов между поступ-

лениями заявок временем обслуживания ва приборах), аа достаточно

только знание первого (математического ожидания) и второго (дис-

персии или квадрата коэффициента вариации -а ККВ)а моментова этих

величин.

Применение диффузионной аппроксимации при анализе вСа осно-

вано на следующем:

1) по каждому типу заявок вычисляется интенсивность поступ-

ления заявок данного типа в злы сети так, как если бы данный по-

ток заявок циркулировал в сети только один;

2) по определенному правилу, зависящему от типа СМО и дис-

циплины обслуживания, складываются потоки заявок от всех источни-

ков;

3) по определенному правилу определяется среднее время обс-

луживания в каждом зле вС;

4) полученные значения подставляются в соответствующую диф-

фузионную формулу и определяются характеристики злов вС;

5) определяются характеристики вС в целом.

Постановка задачи анализа вС при этом примет следующий вид.

Дано:

число злов вС;

тип каждого зла вС (тип СМО, моделирующей данный зел);

дисциплина обслуживания в каждом зле вС;

общее число типов источников заявок, работающих в диалоговом

режиме;

общее число типов источников заявок, работающих ва неопера-

тивном режиме;

для диалоговых источников в случае сложного режима работы -

число технологическиха процессов каждого типа, число операций в

каждом технологическом процессе, среднее и ККВ времени выполнения

каждой операции, матрица вероятностей передач между операциями, а

также наличие или отсутствие на каждой операции обращения к вС;

для диалоговыха источников в случае простого режима работы -

число источников (терминалов) каждого типа, среднее и ККВ времени



- 15 -


реакции абонента на ответ сети;

для неоперативных абонентов - средняя интенсивность поступ-

ления заявок и ККВ времени между поступлениями заявок;

по каждому типуа заявока (диалоговомуа и неоперативному)а -

средняя интенсивность обслуживания в каждом зле вС, ККВ времени

обслуживания в узлах вС и матрица вероятностей передач между з-

лами.

Требуется найти:

среднее значение иа дисперсию (или стандартное отклонение)

времени задержки заявки каждого типа в вС в целом;

среднее значение иа дисперсию (или стандартное отклонение)

времени задержки в злах вС;

загрузку злов вС;

вероятность потери заявки в зле вС (для узлов, моделируе-

мых СМО с потерями).

Ограничения могут быть следующими:

загрузка злов не должна превышать 1;

вероятность потери заявки не должна превышать 1;

все характеристики должны быть положительны.

Иногда представляет интерес определение такого показателя,

как максимальное время задержки заявки каждого типа в вС.  Макси-

 1мальное время 0 - это такое время, превышение которого допустимо

лишь для некоторого, наперед заданного процента заявок каждого

типа. Для определения максимального времени используется методи-

ка, основанная на аппроксимации функции распределения времени за-

держки в сети эрланговским или гиперэкспоненциальныма распределе-

нием, при этом необходимо задавать долю (процент) заявок, для ко-

торых рассчитывается максимальное время.

ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА МОДЕЛИРОВАНИЯ

Существует довольно значительное количество, автоматизи-

рующиха процессы разработки и исследования аналитических моделей

вычислительных систем и сетей. Рассмотрим один из них, достаточно

простой и добный в использовании, - "ДИФАР". В основу его

построения положены изложенные выше положения моделирования сис-

тем и сетей массового обслуживания.

Пакет ИфАР предназначен для аналитического моделирования и

оптимизации систем, сетей массового обслуживания и сетевых сис-

тем. Он позволяет рассчитывать вероятностно-временные характерис-

тики СМО, СеМО и сетевых систем, задавая в качестве параметров

два момента входных потоков и обслуживания, что позволяет иссле-

довать поведение систем в широком диапазоне изменений как средних

значений, так и дисперсий потоков и обслуживания, также найти

оптимальное построениеа сетевыха систем по значениям вероятност-

но-временных характеристик (ВВХ), адекватных фактическим распре-

делениям.

Пакет ДИФАР обеспечивает расчет:

- системных характеристик для одноканальных и многоканальных

систем массового обслуживания без ограничений на емкости буферных

накопителей (среднееа значение и дисперсия времени пребывания,

максимальное время пребывания для r процентов заявок, загрузка);



- 16 -


- системных характеристик для одноканальных и многоканальных

систем массового обслуживания, учитывающих ограничения на емкости

буферных накопителей (среднее значение и дисперсия времени пребы-

вания, максимальное время пребывания для r процентов заявок, ве-

роятность отказа в обслуживании, загрузка);

- системных характеристик для одноканальных систем массового

обслуживания с групповым поступлением заявок или групповым обслу-

живанием заявок (среднее значение и дисперсия времениа пребывания

заявки, максимальноеа время пребывания для r процентов заявок,

загрузка);

- системныха иа сетевыха характеристик открытых неоднородных

сетей массового обслуживания с злами различныха типова (среднее

значение и дисперсия времени пребывания в сети, максимальное вре-

мя пребывания в сети для r процентов заявок, среднее значение и

дисперсия времениа пребывания в каждом зле сети, максимальное

время пребывания в каждом зле для r процентова заявок, загрузка

узлов сети, вероятности отказов в обслуживании в злах);

- системных и сетевых характеристика замкнутыха и смешанных

неоднородныха сетей массового обслуживания с злами различных ти-

пов, с простым режимом работы диалоговых абонентов (среднее зна-

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

максимальное время пребывания в сети для r процентов заявока каж-

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

дом зле сети, загрузка злов сети, вероятности отказов в обслу-

живании в злах);

- системных и сетевых характеристика замкнутыха и смешанных

неоднородныха сетей массового обслуживания с злами различных ти-

пов со сложным режимом работы диалоговых абонентов (среднееа зна-

чение и дисперсия времени цикла технологического процесса работы

каждого диалогового абонента, максимальное время цикла для r про-

центов технологических процессов каждого типа, среднее значение и

дисперсия времени пребывания в сети заявки каждого типа, макси-

мальное время пребывания в сети для r процентов заявок каждого

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

узле сети, загрузка злов сети, вероятности отказов в обслужива-

нии в злах);

- показателей производительности сетевых систем, в качестве

моделей которых используются открытые, замкнутые и смешанные сети

массового обслуживания (локальные вычислительные сети, информаци-

онно-вычислительные сети, центры коммутации пакетов и др.).

Пакет программа позволяета проводить анализ сетевых систем,

включающих от 30 (замкнутые и смешанные сети со сложныма режимом

работы диалоговых абонентов) до 50 злов СМО (открытые, замкнутые

и смешанные сети с простым диалогом) на PC XT/AT c 512а Кбайтами

оперативной памяти.

Ниже приведены примеры моделирования некоторых локальных вы-

числительных сетей. Результаты расчетов характеристик данных се-

тей получены с помощью пакета ДИФАР.





- 17 -


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

 Пример 1 0. Рис. 5 иллюстрирует работу локальной сети с элект-

ронной почтой на базе городской телефонной сети (модель с потеря-

ми заявок). На вход каждого зла сети поступает потока заявока с

некоторой интенсивностью. Системы S1 - S6 моделируют работу теле-

фонных каналов. Если канал в требуемом направлении занят, то за-

явка теряется.

Исходные данные:

стройство Среднее время ККВ времени

обслуживания обслуживания

1 7,69 с 2,0

2 7,69 с 2,0

3 7,69 с 2,0

4 7,69 с 2,0

5 7,69 с 2,0

6 7,69 с 2,0

Интенсивность поступления заявока ота каждого источникаа -

0,3 з/с.

Результаты расчета:

среднее время задержки в сети - 15,0477 с;

стандартное отклонение времени задержки в сети - 18,7703;

максимальное время задержки в сети для 90%а заявок - 35,2611

с.

Характеристики стройств:

Среднее время Стандартное от- Загрузка Вероятность

задержки, с клонение времени потери

задержки

а1 7,69231 10,8786 0,451431 0,022396

а2 7,69231 10,8786 0,451431 0,022396

а3 7,69231 10,8786 0,451431 0,022396

а4 7,69231 10,8786 0,451431 0,022396

а5 7,69231 10,8786 0,451431 0,022396

а6 7,69231 10,8786 0,451431 0,022396

 Пример 2. 0 Рис. 6 иллюстрирует работу локальной сети с элект-

ронной почтой на телефонной сети (модель с ожиданием и без потерь

заявок). Системы S1, S5, S9 моделируют работу передатчика инфор-

мации (узла коммутации). Системы S2, S3, S6, S7, S10, S11 модели-

руют задержку в каналах связи между соответствующими злами. Сис-

темы S4, S8, S12 моделируют работу приемника информации (ЭВМ).

Принцип работы следующий.

Абонент злаа 1а готовита письмо, которое поступает на зел

коммутации (система S1), где определяется адресат письма и осу-

ществляется передача в нужном направлении. Если адресатом являет-

ся абонент зла 2, то письмо передается по каналу S3, а если ад-

ресат - абонент узла 3, ато передача осуществляется по каналу S2.



- 18 -


В случае занятости канала передатчика ожидаета его освобождения,

после чего производит передачу. На приемном конце стоит персо-

нальная ЭВМ с жестким магнитным диском, куда записывается полу-

ченное письмо. Письма от абонентов других злов передаются анало-

гично.

Исходные данные:

стройство Среднее время КВа времени

обслуживания обслуживания

1 12, с 0,5

2 3,410 с 2,0

3 3,410 с 2,0

4 0,016 с 2,0

5 12, с 0,5

б 3,410 с 2,0

7 3,410 с 2,0

а 8 0,016 с 2,0

9 12, с 0,5

10 З,410 с 2,0

11 3,410 с 2,0

12 0,016 с 2,0

Интенсивность поступления заявок от каждого источника - 0,04

з/с,

Результаты расчета:

среднее время задержки в сети - 33,1653 с;

стандартное отклонение времени задержки в сети - 26,0897;

максимальное время задержки в сети для 90%а заявок - 67,1629

с.

Характеристики стройств:

Среднее время Стандартное от- Загрузка

задержки, с клонение времени

азадержки


1 29,7505 25,6393 0,4819280

2 3,41322 1,82667 0,0013930

3 3,41322 1,82667 0,0013930

4 0,01600 0,00226 0,З

5 29,7505 25,6393 0,4819280

6 3,41322 1,82667 0,0013930

7 3,41322 1,82667 0,0013930

8 0,01600 0,00226 0,13

9 29,7505 25,6393 0,4819280

10 3,41322 1,82667 0,0013930

11 3,41322 1,82667 0,0013930

12 0,01600 0,00226 0,З


 Пример 3 0. Рис. 7 моделирует работу локальной сети по продаже

билетов. Детально моделируется только работа одного абонентского

пункта, потоки заявок от остальных пунктов сети представляются в



- 19 -


виде некоторого общего внешнего потока.

Система S1а моделирует работу центрального процессора компь-

ютера, становленного в пункте продажи билетов. Система S2 моде-

лирует работу принтера данного компьютера. Система S3 моделирует

задержку в канале передачи к серверу при посылке запросаа наа би-

лет. Система S4 моделирует задержку в канале передачи от сервера

на абонентский пункт при ответе на запрос. Система S5 моделирует

работу сервера в центральном пункте сети.

Принцип работы схемы следующий.

Посетитель делает заказ на билет (операция 1). Оператор на-

бирает запрос на клавиатуре и посылаета его ва центральную базу

данных на сервер (операция 2). После получения ответа клиент при-

нимает решение (операция 3). С вероятностью 0,1 требуемого билета

нет, и клиент уходит. С вероятностью 0,3 требуемого билета нет, и

клиент просит послать запрос на другой билет. С вероятностью 0,6

требуемый билет имеется, оператор посылает в базу данных заявку

на этот билет и после получения ответа печатает билет на принтере

(операция 4). Затем клиент расплачивается, проверяет билет и хо-

дит (операция 5). Работа остальных пунктов сети моделируется об-

щим потоком со средней интенсивностью 100 з/мин, которые поступа-

ют непосредственно на сервер.

Исходные данные.

Техпроцесс:


Среднее время выпол- ККВ времени

нения операции, мин выполнения операции


1 2,0 2,0

2 1,0 2,0

3 4,0 2,0

4 1,0 2,0

5 4,0 2,0

Локальная сеть:

Среднее время обслужи- ККВ времени обслуживания в стройстве, мин вания в стройстве


1 0,1 2,0

2 0,1500 2,0

3 0,0220 2,0

4 0,0022 2,0

5 0,1 2,0


Результаты расчета.

Характеристика техпроцесса:

Среднее время цикла - 11,4027 мин

Стандартное отклонение времени цикла - 8,8591

Максимальное время цикла

для 90% случаев) - 22,9642 мин



- 20 -


Характеристики запроса 1:

Среднее время задержки в сети - 0,245675 мин

Стандартное отклонение задержки - 0,284096

Максимальное время задержки

(для 90% случаев) - 0,574786 мин

Характеристики запроса 2:

Среднее время задержки в сети - 0,361328 мин

Стандартное отклонение задержки - 0,497105

Максимальное время задержки

(для 90% случаев) - 0,839882 мин

Характеристики стройств:

Среднее время Стандартное от- Загрузка

задержки, мин клонение времени

задержки

1 0,109870 0,146328 0,0311816

2 0,257241 0,357637 0,0073082

3 0,0 0,003143 0,282

4 0,00 0,031427 0,2815

5 0,001488 0,001718 0,1001267

.

ЛИТЕРАТУРА


1. Локальные вычислительные сети. Книги 1-3.

Под ред. Назарова С.В.

Москва "Финансы и статистика" 1995

2. Д. Феррари.

Оценка производительности вычислительных систем.

Москва "Мир" 1981

3. Максименков А.В., Селезнев М.Л.

Основы проектирования информационно-вычислительных систем

и сетей ЭВМ.

Москва "Радио и связь" 1991