|
Если агрегат содержит операторы, выполняющие указанные операции, то такой агрегат назовем контроллером, или А'-блоком. Контроллер, таким образом, представляет собой агрегат, выполняющий операции над внешними инициаторами в соответствии с собственным алгоритмом функционирования. Операции над инициаторами суть операции над процессами. Таким образом, контроллер исполняет роль управляющего звена в некоторой блочной схеме. Будем обозначать контроллер на схемах как (рис.2.14.в). 2.2. Построение имитационного процесса Результаты, полученные в первом разделе главы 2, позволяют приступить к конструированию концепции имитации. В данном разделе излагаются основы теории построения вычислительного процесса, имитирующего совокупность параллельных процессов обработки * информаций в АСУ. 2.2.1. Формирование сцепленных процессов Пусть заданы два элементарных оператора hi и А* одного процесса Z, причем hf-Ж ь (А* сцеплен с h/.). Утверждение 1. Если Аг+А*, то а) t k>tl б) первым должен вычисляться оператор hi. Доказательство: Поскольку процесс Z развивается в соответствии с треком элементарных операторов и порядком а ка Т, то сцепление элементарного оператора в момент времени // с любым оператором, имеющим t>t{ невозможно. Но поскольку hi-th^ то следовательно Т.к. hi->hb го отсюда следует, что пространство состояний hi является частью аргументов оператора hi. Таким образом, вычисление А* невозможно без определения состояния А*. Что и требовалось доказать. |
Операция активизации, наоборот, обычный параметр переводит в класс инициаторов. Если агрегат содержит операторы, выполняющие указанные операции, то такой агрегат назовем контроллером, или /С-блоком. Контроллер, таким образом, представляет собой агрегат, выполняющий операции над внешними инициаторами в соответствии с собственным алгоритмом функционирования. Операции над инициаторами суть операции над процессами. Таким образом, контроллер исполняет роль управляющего звена в некоторой блочной схеме. Будем обозначать контроллер на схемах как (рис.2.13.в). 2.1.7. Конфликты на ресурсах Процессы в системе О развиваются параллельно. Это значит, что они изменяют значения параметров системы в течение одного и того же интервала времени. Достаточно типичны ситуации, когда по логике функционирования системы накладываются ограничения на изменение некоторых параметров несколькими процессами одновременно в течение заданного либо обусловленного интервала времени. Совокупность параметров системы, на изменение которых сформулированы некоторые ограничивающие условия, называется ресурсом R. Таким образом, RcO. Если объект Ok изменяет параметры ресурса R, то RaOk. Захват ресурса R процессом Z означает получение разрешения процессу Z изменять значения параметров qeR. Конфликт на ресурсе возникновение ситуации, когда тому или иному процессу отказано в захвате ресурса до момента выполнения некоторого наперед заданного условия. Из определения ресурса следует, что конфликт на ресурсе возможен лишь для пересекающихся объектов. Таким образом, необходимо добиться согласования процессов в этих объектах. Для этого 71 если&А(2)= 0 то направить инициатор на &М2; &В:=(&А.(2)-»вектор(1)); если&А(1)*&А(2) то направить инициатор на &М1; уничтожить (&А(2)—»вектор) &А(1), &А(2);=0; направить инициатор на &М2; &MI: &С:=&А(2); &А(2):=(&С-»вектор(2)) уничтожить (&С—>вектор) &М2: Как видно из примеров, использование макрооператоров дает существенную экономию в записи программ. Кроме того, использование макрооператоров позволяет отобразить на ПОСП операторы специализированных языков моделирования таких, как GPSS, SOL, SIMULA и т.д. С помощью макрооператоров можно описать операторы вновь разрабатываемого языка моделирования и провести макетирование новой системы моделирования. 2.3. Теоретические основы построения имитационного процесса Результаты, полученные в разделе 2.1., позволяют приступить к конструированию концепции имитации. В разделе 2.3. излагаются основы теории построения вычислительного процесса, имитирующего совокупность параллельных процессов обработки информации в АСУ. 2.ЭЛ. Основные положения Пусть заданы два элементарных оператора А/ и А* одного процесса Z, причем hi—Жк, фк сцеплен с hi.). Утверждение /. Если /?/—>/?*, то a) h>tl 93 б) первым должен вычисляться оператор h(. Доказательство: Поскольку процесс Z развивается в соответствии с треком элементарных операторов и порядком а на Т, то сцепление элементарного оператора в момент времени tj с любым оператором, имеющим t>t[ невозможно. Но поскольку то следовательно tk>ti. Т.к. hr*hk, то отсюда следует, что пространство состояний hi являетея частью аргументов оператора А*. Таким образом, вычисление hk невозможно без определения состояния /?;. Что и требовалось доказать. Рассмотрим влияние отношения сцепления на последовательность выполнения операторов про моделировании. Пусть заданы два процесса Z/ и Z;, условно изображенные на рис.2.2 J. Дискретные состояния процесса Z\ пронумерованы от 1 до 13, а процесса Zг от 14 до 26. Рассмотрим четыре типовых случая: а) моделируется один процесс Z\, причем его операторы не сцеплены между собой. 94 ----------------------------------------------------------------------------------------------------------► 11 12 Ь 15 16 Ч 18 lIO 111 112 113 Рис. 2.21. Пример сцепления процессов |