Выбор уровня детализации

 

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

Все потоки в одной модели должны быть взаимосвязаны. Если какой-то поток  обслуживается обособленной группой  устройств, причем ни одно из данных устройств  не используется для обслуживания какого-либо другого потока, то этот поток и эту группу устройств не следует вводить в модель. Указанное правило распространяется и на несколько обособленных потоков.

 

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

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

 

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

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

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

 

Интеграция ресурсов. С целью интеграции ресурсов надо выдержать следующее правило: в модель включать те устройства, которые вносят задержку в процесс обслуживания заявки независимо от работы других устройств. Для выполнения этого правила следует выделить в технологической цепочке обработки все возможные места хранения (задержки) данных, т. е. средства хранения — запоминающие устройства, блоки памяти, буферы, регистры и точки ожидания, такие как, например, перед устройствами подготовки, ввода данных или размножения выходных документов.

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

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

 

Тема: «Подбор параметров модели»

 

Типы параметров. Элементы ВС и потоки заявок характеризуются множеством параметров. Для составления модели и проведения моделирования из этого множества необходимо отобрать только те параметры, которые влияют на выходные характеристики системы.

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

 

Количественные параметры. К количественным параметрам функциональных элементов ВС и потоков заявок относятся в первую очередь те, которые задают или позволяют вычислить время обслуживания i-й заявки любого потока k-м элементом —. Это время является, как правило, случайной величиной. Оно может быть предварительно определено и задано в модели в виде функции распределения для каждого потока по всем k-м элементам, обслуживающим заявки этого потока, —{F(Tk)}. Время обслуживания может вычисляться при моделировании как функция первичных параметров элементов и потоков заявок, задаваемых в качестве исходных данных.

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

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

Если ориентироваться на вычисления времени обслуживания заявок процессорами по приведенным выше формулам, то в  качестве параметров процессоров следует задавать их производительности (паспортные характеристики), а в качестве параметров потоков заявок — число процессорных операций, требуемое на обслуживание заявки. В том случае, когда заявка обслуживается одним и тем же процессором несколько раз, т. е. алгоритм имеет несколько процессорных блоков обработки заявки, задается необходимое число процессорных операций по каждому блоку.

Для широкого круга задач (экономических, статистических и т. п.) время обслуживания заявки процессором пропорционально количеству обрабатываемых данных.

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

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

Для коммуникаторов надо учитывать, обеспечивают они или  не обеспечивают одновременный обмен  данными со всеми подключенными к ним устройствами. Для разделенных коммуникаторов, которые допускают одновременный обмен данными между несколькими подсоединенными к ним устройствами (мультиплексор передачи данных, концентратор, мультиплексный канал ввода-вывода, групповое устройство управления терминалами и т. п.), важным количественным параметром является максимально допускаемая скорость обмена. Этот параметр следует учитывать, когда его величина меньше суммы скоростей обмена присоединенных устройств.

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

Если в модели предполагается учитывать  отказы устройств, то надо ввести соответствующие  надежностные параметры. При этом следует  помнить, что одно устройство может  быть представлено в модели несколькими функциональными элементами, и, наоборот, — на этапе интегрирования модели несколько устройств могли быть объединены в одно функциональное устройство.

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

Если значения каких-то количественных параметров являются случайными величинами, они должны задаваться функциями распределения, а в  нестационарных стохастических системах — в виде случайных процессов.

 

Функциональные  параметры. К функциональным параметрам модели ВС относятся правила (алгоритмы) занесения заявок в очередь — дисциплины буферизации, извлечения заявок из очереди для обслуживания — дисциплины диспетчеризации, определения длительности обслуживания заявки без отказов и с отказами устройств, обслуживания прерываний, если они моделируются, и некоторые другие.

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

Рассмотренные параметры  подбираются исследователем системы и задаются в качестве исходных данных моделирования. Наряду с ними каждому компоненту модели (функциональному элементу, заявке, очереди) придаются дополнительные параметры. Эти системные параметры, или атрибуты, отражают динамику функционирования системы в процессе моделирования. Они используются для фиксирования изменений состояния компонент.

Например, функциональные элементы могут иметь следующие  атрибуты: признак работоспособности, номер обслуживаемой заявки, номер  прерванной заявки, оставшееся время  обслуживания прерванной заявки, текущая  занятость памяти и др. Заявки могут  сопровождаться следующими атрибутами: время поступления в систему, в очередь, на обслуживание; номер  обслуживающего элемента; длина передаваемого сегмента данных; количество сегментов; признак запрещения прерывания и др. Для очередей используются атрибуты: очередь пуста, заполнена, содержит такое-то количество заявок.

 

Тема: « Учет надежности»

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

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

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

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

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

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

 

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

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

Затем генерируют значение А случайного числа, равномерно распределенного в интервале (0,1). Полученное значение А сравнивают с вероятностью отказа элемента.

Правила поведения элемента по отношению  к заявке, во время обслуживания которой произошел отказ, могут  быть различными. Они зависят от организации ВС и типа отказавшего  элемента. Например, если отказ возник в процессоре, то заявка должна быть обслужена повторно, если — в  терминале, то обслуживание заявки может  быть продолжено после его восстановления. Эти особенности должны быть учтены в модели функционального элемента.

 

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