CC BY
46
Rodzina Lada Sergeevna
Taganrog Institute of Technology - Federal State-Owned Educational Establishment of Higher Vocational Education “Southern Federal University”.
E-mail: [email protected].
44, Nekrasovskiy, Taganrog, 347928, Russia.
Phone: 88634371673.
The Department of Software Engineering; student.
УДК 658.512.2.011.5
В.В. Лисяк, Н.К. Лисяк АНАЛИЗ МНОГОРЕСУРСНЫХ МОДЕЛЕЙ САПР
Рассмотрена одна из задач системного уровня проектирования, которая позволяет изучить систему, где клиенты, обращающиеся в случайные моменты времени за услугами и требующие различного времени обслуживания, могут выстраиваться в очереди. Рассмотренные модели дают вероятностные распределения длины очереди, моментов поступления обращений и времен ожидания обслуживания. Эти параметры важны в системах, где потери из-за перегрузки могут быть скомпенсированы лучшей организацией обслуживания.
Ресурс; заявка; многоресурсная система; стохастическая сеть; обслуживающий аппарат; дисциплина очереди; марковский процесс.
V.V. Lisyak, N.K. Lisyak ANALYSIS OF MULTIRESOURCE CAD MODELS
There is considered a task of system level of design, which allows studying the system, where the clients request for services at random moments, and require different service time, and can line up in queue. Considered models provide the probability distribution of queue length, moments of requests' receiving, and times of waiting for service. These parameters are important in the systems, where losses caused by overloading can be compensated with better organization of service.
Resource; demand; multiresource system stochastic network service unit; queue discipline; Markov process.
Введение. САПР состоит из многочисленных компонентов, взаимодействующих в процессе функционирования системы. Все компоненты (устройства ввода-вывода, процессоры, программные модули и т.п.) являются ресурсами. При параллельном решении задач появляются запросы на одновременное использование одного какого-либо ресурса, что порождает конфликтные ситуации. Такие ситуации приводят к задержкам в обработке запросов, появлению очередей и в результате снижают эффективность САПР. Поэтому такие ситуации надо предусматривать на системном уровне разработки САПР [1,2], когда принимаются основные решения по архитектуре будущей САПР.
Многообразие ресурсов и сложность их взаимодействия ставят задачу анализа моделей стохастической, сетевой структуры. При этом использование одной задачей нескольких разнородных ресурсов приводит к одноуровневому или многоуровневому представлению взаимодействия ресурсов. В одноуровневом представлении такую задачу упрощают за счёт ввода в модель логических условий и блокировок, либо выделяют какой-либо один из совместно используемых ресурсов, а другие ресурсы либо не учитываются, либо учитываются введением некоторых ограничений. Эти упрощения можно обойти при многоуровневом представлении взаимодействия ресурсов, в котором одновременное занятие заявкой нескольких
ресурсов отображается с помощью механизма вложенных процессов. В таком подходе в моделях отдельных уровней отсутствуют сложные логические условия и блокировки, что способствует применению аналитических методов исследования.
Таким образом, общая задача анализа может быть сформулирована как задача анализа последовательности запросов на ресурсы и эффективной организации их использования. Рассмотрим многоуровневые модели на базе стохастических сетей.
В основе формализованного описания взаимодействия компонентов САПР лежат понятия ресурса и заявки. Под ресурсом будем понимать любой аппаратный или программный компонент системы, на входе которого могут возникать конфликты, приводящие к образованию очередей и временных задержек.
Под заявкой или запросом на использование ресурса понимается обобщенное понятие, конкретика которого зависит от уровня и области исследования системы, ее структуры, способа организации, режима функционирования.
Составной частью формализованного описания взаимодействия ресурсов является построение некоторого процесса обработки заявки ресурсами. Этот процесс представляется последовательностью этапов передачи и обработки информации при поступлении заявки на выполнение запрашиваемых от сети работ. Совокупность таких процессов задаёт функционирование системы.
Как правило, выполнение заявки состоит из этапов, на каждом из которых одновременно требуется один или несколько ресурсов. Формальное описание процессов использует понятие трека процесса, как множество ресурсов, упорядоченное в соответствии с последовательностью этапов обработки заявки.
Детерминированный трек процесса задаётся как БТ=(Ш0, где Ш0 - источник заявок (процесса); - 1-й ресурс системы.
Случайный трек процесса задается как неупорядоченное множество, а конкретная последовательность этапов обработки задается матрицей вероятностей перехода К=(гц), 1,]=0,1,2, — М, где г^ - вероятность перехода заявки от ресурса /' на обработку к ресурсу _/'.
Информация о ресурсах в треке должна содержать: параметры функций распределения длительностей обслуживания заявки данным ресурсом; дисциплину обслуживания заявки и её приоритет при обслуживании в данном ресурсе. При задании параметров функций распределения длительностей обслуживания заявок применяются специальные программно-аппаратные измерения, а также расчеты с помощью интерфейсных моделей. Если перечисленные компоненты треков процессов всех заявок определены, то задача анализа сводится к расчету некоторой стохастической сети.
Анализ многоуровневых моделей основывается на концепции вложенности процессов и ресурсов.
Вложенным в ресурс Wi уровня q называется ресурс, занимаемый и освобождаемый заявкой на интервале ее обслуживания ресурсом .
По аналогии можно рассматривать вложенные процессы уровня q+1. При наличии в системе заявок разных типов, то каждый из них порождает в составных ресурсах вложенные процессы, отличные от остальных.
Представление процессов обработки заявок можно представить направленным графом, в котором вершины соответствуют этапам обработки заявок ресурсами, а рёбра возможным переходам заявок от ресурса к ресурсу. Для определенных процессов вершинам графа можно поставить в соответствие временные характеристики обслуживания заявок.
Декомпозиция многоуровневых моделей. Анализ многоуровневых моделей необходимо проводить на основе декомпозиции, где элементами декомпозиции вы-
ступают уровни описания процессов обслуживания, для которых выполняется условие вложенности. При этом совокупность описаний процессов обслуживания одного уровня называют уровнем вложенности. Связь между уровнями вложенности осуществляется через совокупность интерфейсных переменных.
Простым и достаточно точным расчетом интерфейсных переменных является следующий подход. От верхних уровней к нижним уровням пересчитываются интенсивности потоков заявок, затем от нижних уровней к верхним уровням пересчитываются временные характеристики. При этом в силу свойства вложенности времена выполнения процессов на уровне q+1 являются временами обслуживания заявок ресурсами уровня q.
Таким образом, построение формализованной схемы взаимодействия ресурсов, основанное на раздельном представлении процессов обработки заявок на отдельных уровнях, обеспечивает обозримость модели при сохранении необходимой степени ее детализации, а анализ, основанный на декомпозиции, существенно снижает затраты времени на его проведение.
Анализ характеристик производительности многоуровневых моделей САПР базируется на представлении процессов обслуживания на отдельных уровнях разомкнутыми, замкнутыми или смешанными стохастическими сетями [3].
Стохастическая сеть (СС) является совокупностью систем массового обслуживания, в которой циркулируют заявки, переходящие из одной СМО в другую. Сеть называют стохастической, т.к. маршруты заявок носят вероятностный характер. Структуру СС представляют в виде графа, вершины которого (узлы сети) соответствуют СМО, а дуги - возможным путям перехода заявок из одной СМО в другую.
Разомкнутые сети. Рассмотрим СС из М узлов. Пусть /-й узел (1=1,2, — ,М) содержит одинаковых обслуживающих аппаратов (ОА) и общую очередь заявок. Время обслуживания в каждом ОА имеет экспоненциальное распределение со средним значением т/=1/^/. Имеется М внешних пуассоновских источников заявок. Интенсивность внешнего потока заявок в /-й узел обозначим (/=1,2,... ,М) . После обслуживания в /-м узле заявка поступает в узел у с вероятностью Гу или покидает сеть с вероятностью 1-Егу, у=1,2,...,М.
Для описания такой сети надо задать следующие исходные данные: М - число узлов; ш=(ш1, ш2,..., тм) - вектор числа ОА в узлах; /и=(/иь ц2, /им) - вектор интенсивностей обслуживания в узлах; у=(у1, у2,..., }м) - вектор интенсивностей внешних источников; Я=(гу)мхм матрица вероятностей переходов. Состояние сети в момент времени г представляется вектором %(г)=(%1(г), £,(),..., £,()), где -число заявок в /-й СМО в момент г.
Вектор ^(г) представляет собой марковский случайный процесс [4]. Для него можно стандартным образом записать систему линейных алгебраических уравнений относительно вероятностей, являющихся компонентами стационарного распределения. В частном случае, когда интенсивность поступления заявок в сеть постоянна, решение этой системы уравнений имеет вид произведения, в котором каждый сомножитель определяется характеристиками /-го узла сети:
Р(П1, П2, ... , Пм) =П Рг(П/), 1=1,2, ...,М. (1)
Этот результат утверждает, что рассматриваемая сеть ведет себя как совокупность независимых СМО с пуассоновскими входными потоками, имеющими интенсивности А и интенсивности обслуживания /и1(п/). В частности, когда /-ый узел сети содержит ш/ одинаковых ОА с общей очередью заявок, то
р1(п1)=р1(0)(ш1р1)т /Пі!, п < Ші; р1(п1)=р1(0)шГ'рГ/Ші!, П1 >Ш1;
Р1= X і/Шф1 (2)
Ш1 -1
рі( 0 ) = ^(Ш.р.у/И + (шірі)Ш1 / ші! (1 - рі), 1 = 1,2,...,Ы .
1=0
Чтобы воспользоваться формулами (2.1) и (2.2), предварительно вычисляют значения X, для этого необходимо решить систему уравнений баланса интенсивностей:
Лі=Гі+^ЛіГ]і. і,і=1,2, ...,М. (3)
Зная стационарное распределение Р(п) и используя аппарат производящих функций, можно вычислить основные показатели сети - среднее число заявок и среднее время ответа в каждом узле сети.
Замкнутые сети. В этом случае в описании стохастической сети отсутствуют внешние источники заявок. В сети циркулируют N заявок, переходя от узла к узлу, не покидая сеть. Интенсивности входных потоков в каждый из узлов
Лі=Гі+^ЛіГіі. і,і=1,2,...,М.
Модель произвольной замкнутой марковской сети впервые была исследована Гордоном и Ньюэллом, которые получили соотношение, аналогичное (1), также представляющее собой декомпозицию сети на отдельные узлы.
ДЛЯ получения расчетных соотношений для среднего числа заявок и коэффициента использования (нагрузки) і-й СМО используется аппарат производящих функций, а для среднего времени ответа - формула Литтла. Формула Литтла [5] устанавливает связь между средним числом требований в системе обслуживания (очереди) N и средним временем пребывания в системе (ожидания в очереди) Т в виде N=XТ.
Расчет средних характеристик замкнутой сети можно выполнить более простым методом, предложенным Райзером [6]. Идею метода рассмотрим на примере замкнутой сети из последовательно соединенных ОА, имеющих экспоненциальные распределения длительности обслуживания с постоянными интенсивностями обслуживания іЛі=1/т, і=1,2,...,М.
Пусть N - число заявок в сети. Тогда
ґрі№)=1/м + (1/ц)Уі№), і=1,2,...,М;
JU*(T)=N/ZtPl(N), і=1,2, ...,М; (4)
Ы№)=и'№) tpi(N), 1=1,2, ...,М,
где р (Ы) - среднее время реакции 1-й фазы сети, имеющей N заявок;
Уі N - среднее число заявок в 1-й СМО в момент поступления в нее новой заявки в сети с N заявками;
/и N - пропускная способность сети с N заявками;
Ni(N) - среднее число заявок в 1-й СМО в произвольный момент времени в сети с N заявками.
Первое из этих соотношений выражает тот факт, что при экспоненциальной длительности обслуживания среднее время дообслуживания равно среднему времени обслуживания заявки. Поэтому среднее время ответа складывается из среднего
времени обслуживания вновь поступившей заявки и средней длительности обслуживания всех заявок, находившихся в 1-й СМО в момент поступления в нее новой заявки. Два других соотношения вытекают из формулы Литтла, применяемой соответственно ко всей сети и к 1-й СМО в отдельности.
Основой для расчета характеристик производительности служит теорема Райзера, где утверждается, что стационарные вероятности состояний замкнутой стохастической сети с N заявками в момент поступления заявки в і-й узел сети совпадают со стационарными вероятностями состояний этой же сети с (N-1) заявкой для произвольного момента времени [4].
Из теоремы следует, что
у т=Ят), 1=1,2,...м,
tpі(ії)=1/иі+(1/и) N(N-1,) і=1,2,...,М. (5)
Системы уравнений (4) и (5) легко решаются рекуррентно, начиная с
Щ0)=0, 1=1,2,...,М.
Этот результат обобщается на замкнутые сети произвольной структуры, задаваемые матрицей Я вероятностей переходов.
Зафиксируем в сети узел с номером 1, в качестве которого обычно выбирают источник заявок, и обозначим через е1 - среднее число посещений каждой заявкой і-й СМО между двумя последовательными посещениями ею СМО с номером 1. Тогда є}=1, Єі^в/іі, і,і=1,2,... ,М.
Так как среднее число посещений пропорционально пропускной способности, то Єі измеряет также пропускную способность ц* 1-й СМО в единицах пропускной способности ц* СМО с номером 1, т.е.
** ц1 =віуі , 1 = 1,2, ...,ш.
Если tp1 время реакции 1-й СМО, то среднее время между двумя последовательными уходами из СМО с номером 1, то
тср=Xв^рі, 1 = 1,2,... ,М.
Тогда аналогично уравнениям (6) и (7) можно записать:
tp №=(1/ц) [1+ N,(N-1)];
л _
Ц1 (N)=N/Xв^рі (Ю, 1 = 1,2, ...,М; (6)
V *
Ы1(Ю=щ (Ю в^рі(Ю.
Полагая 1 рі=е^рі и, вводя переменные Д- = еі/ці, получим
А V
t рі(Ю= в)і[1+ N^N-1);
л _ *
Ц1 (N)=N/Xt рі(Ю, 1 = 1,2, ...,М; (7)
V * Я:
Nі(Ю=М1 ^ рі(Ю.
Выражения (7) позволяют рекуррентно, начиная с Щ0)=0, вычислять характеристики сети.
Дальнейшее обобщение метода расчета связано с разными типами узлов сети, для которых получаются разные соотношения, связывающие время реакции узла с числом заявок в нем. Эти соотношения имеют вид:
♦ тип 0 - источник заявок: tp (N)=1/и= т;
♦ тип 1 - многоканальная СМО:
tp i(N)=Ti, при Ni(N-1)<ki-1 и т/к,[1+ Ni(N-1)], при Ni(N-1)>ki-1;
♦ тип 2 - группа параллельных одноканальных СМО с равномерным распределением потока заявок по устройствам: tp (’N)=ri/ki[ki+Nt(N-1)];
♦ тип 3 - группа последовательных одноканальных СМО:
tp i(N)=Ti [k+Ni(N-1)],
где ki - число устройств в узле.
В результате расчета получаются следующие характеристики сети:
♦ среднее время обработки заявки Tcp(N)=^eitpi(N), i=1,2,...,M;
♦ время реакции системы tp(N)=Tcp(N)-Tu, где ти - время пребывания за-
явки в источнике;
♦ пропускная способность /и (N)=N/Tcp(N).
Для каждого узла вычисляются следующие характеристики:
♦ загрузка каждого устройстваpt=u (N)eiTi/k;
♦ среднее число заявок в узле Ni =и (N)eitpi(N);
♦ средняя длина очереди заявок к узлу:
Li(N)=Ni-kipi, для типа 1 и Li(N)=Ni/ki-pi, для типа 2 и 3;
♦ среднее время ожидания в узле Wi(N) =tp i(N)-Ti.
На основе вышеизложенного можно сделать следующий вывод.
САПР является многоресурсной системой, в которой построение треков процессов обработки заявок ресурсами целесообразно выполнять по уровням. Модель каждого уровня в общем случае представляет собой стохастическую сеть. Расчёт многоуровневой модели проводится раздельно по уровням, как сверху вниз, так и снизу вверх.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК:
1. Lisyak V.V., Lisyak N.K. Modelling of CAD productivity. Proceedings of the International Scientific Conferences «Intelligent Systems» (ATS’08) and «Intelligent CAD» (CAD - 2008). - Moscow: Physmathlit, 2008, Vol. 4 - P. 16-24.
2. Лисяк В.В. Лисяк Н.К. О задаче анализа производительности САПР // Известия ТРТУ. Тематический выпуск «Интеллектуальные САПР». - 2007. - № 1 (73). - С. 118-124.
3. Кузовлев В.И., Шкатов П.Н. Математические методы анализа производительности и надёжности САПР. - М.: Высшая школа, 1990. - 143 с.
4. Сигорский В.П. Математический аппарат инженера. - Киев: Техшка, 1975. - 765 с.
5. КлейнрокЛ. Вычислительные сети с очередями. - М., 1979. - 221 с.
6. Жожикашвили В.А., Вишневский В.М. Сети массового обслуживания. Теория и применение к сетям ЭВМ. - М., 1988. - 193 с.
Лисяк Владимир Васильевич
Технологический институт федерального государственного образовательного учреждения высшего профессионального образования «Южный федеральный университет» в г. Таганроге.
E-mail: [email protected]
347928, г. Таганрог, пер. Некрасовский, 44.
Тел.: 88634360524.
Кафедра систем автоматизированного проектирования; доцент.
Lisyak Vladimir Vasilievich
Taganrog Institute of Technology - Federal State-Owned Educational Establishment of Higer Vocational Education “Southern Federal University”.
E-mail: [email protected]
44, Nekrasovskiy, Taganrog, 347928, Russia.
Phone: 88634360524.
Department of Computer Aided Design; associate professor.
Лисяк Наталия Константиновна
Технологический институт федерального государственного образовательного учреждения высшего профессионального образования «Южный федеральный университет» в г. Таганроге.
E-mail: [email protected]
347928, г. Таганрог, пер. Некрасовский, 44.
Тел.: 88634360524.
Кафедра систем автоматизированного проектирования; доцент.
Lisyak Natalia Konstantinovna
Taganrog Institute of Technology - Federal State-Owned Educational Establishment of Higer Vocational Education “Southern Federal University”.
E-mail: [email protected]
44, Nekrasovskiy, Taganrog, 347928, Russia.
Phone: 88634360524.
Department of Computer Aided Design; associate professor.
УДК 658.512.2.011
В.М. Глушань, П.В. Лаврик УТОЧНЕНИЕ КЛИЕНТ-СЕРВЕРНОЙ МОДЕЛИ РАСПРЕДЕЛЕННОЙ САПР ЭЛЕКТРОННЫХ СХЕМ*
Приводятся результаты уточнения ранее предложенной клиент-серверной модели распределенной САПР. Уточнения основаны на введении в выражение для временной сложности процесса проектирования локальных степеней в графовой модели схемы.
Клиент-серверная модель; распределенная САПР; временная сложность процесса проектирования (ВСПП).
V.M. Glushan, P.V. Lavrik SPECIFICATION OF CLIENT-SERVER MODEL DISTRIBUTED САD ELECTRONIC SCHEMES
Results of specification before the offered client-server model distributed CAD are resulted. Specifications are based on introduction in expression for time complexity of process of designing of local degrees in of graphs scheme models.
The client-server model distributed CAD; time complexity ofprocess of designing (TCPD).
Введение. Основная цель создания распределенных САПР (РСАПР) - сокращение времени проектирования электронных схем (ЭС), содержащих миллионы элементов. Например, видеокарта современного персонального компьютера содержит несколько сотен миллионов транзисторов. Проектирование схемы подобной сложности с помощью сосредоточенной САПР, состоящей из одного, хотя
*
Работа выполнена при поддержке: РФФИ (гранты № 09-01-00509, № 09-07-00318), г/б № 2.1.2.1652.
