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

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

Таких моделей много; к настоящему времени разработано несколько десятков различных моделей, предназначенных для анализа и моделирования систем с параллельными асинхронными процессами, для которых возможность возникновения тупиковых ситуаций является очень серьёзной проблемой. Изложение и сравнительный анализ этих моделей может составить большую монографию, по­этому здесь мы кратко рассмотрим только четыре из них – сети Петри, вычис­лительные схемы, модель пространства состояний и уже упомянутую нами мо­дель Холта.

Сети Петри

Среди многих существующих методов описания и анализа параллельных систем уже более 35 лет значительное место занимают сетевые модели, восходящие к сетям специального вида, предложенных в 1962 году Карлом Петри для моделирования асинхронных информационных потоков в системах преобразования данных [64].

Взаимодействие событий в параллельных асинхронных дискретных системах име­ет, как правило, сложную динамическую структуру. Эти взаимодействия описы­ваются более просто, если указывать не непосредственные связи между события­ми, а те ситуации, при которых данное событие может реализоваться. При этом глобальные ситуации в системе формируются с помощью локальных операций, называемых условиями реализации событий. Определённые сочетания условий разрешают реализоваться некоторому событию (предусловия события), а реали­зация события изменяет некоторые условия (постусловия события), то есть события взаимодействуют с условиями, а условия – с событиями. Таким обра­зом, предполагается, что для решения задач достаточно представить системы как структуры, образованные из элементов двух типов – событий и условий. Удоб­ный формальный механизм для этого, предложенный Петри, был развит А. Холтом, который назвал его сетью Петри.

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

 теоретико-множественное;

 графовое – бихроматический (двудольный ориентированный) граф и, соот­ветственно, графическое;

 матричное.

При использовании теоретико-множественного подхода к описанию сети Петри (поскольку эта модель представляет и структуру, и функционирование системы) она формально может быть определена как двойка вида: N=S,М₀. Здесь S – это структура сети, которая представляется двудольным ориентированным мультиграфом S=(V, U),гдеV –вершины этого графа, U –его дуги. М₀ –на­чальное состояние сети Петри, которое также называется начальной маркиров­кой. В силу того, что графSявляется двудольным, можно перейти к формально­му описанию структуры сети Петри в виде тройки:

SP,T,Y,

где Р –конечное множество позиций,Р ={p_i},i=;Т –конечное множество переходов,Т= {t_j},j = ;ТР=V,ТР=, то естьТиР –это два типа вер­шин биграфаS;Y– конечное множество дуг, заданное отношениями между вер­шинами графаS : Y(Р * T)(T * Р).

Поскольку двудольный мультиграф Sявляется ориентированным, то любой пе­реходt_j, j= соединяется с позициямир_iРчерез входные и выходные дуги, которые задаются через функцию предшествованияВ:(P * T){0,1, 2,...} и через функцию следованияЕ:(Т * Р) {0,1,2..}, являющиеся отображениями из множества переходов в комплекты позиций [64] (синонимом термина комплект является понятие мультимножества). Эти функции определяют комплекты по­зиций {р_i}, связанных с переходомt_j  Тчерез множество дуг {(p_i,t_j)_l}, гдеl{(p_i,t_j)_l:i,j=const}W, и комплекты позиций {р_k} , связанных с перехо­домt_jТчерез множество_дуг {(t_j,p_k)_l}, гдеl{(t_i,p_k)_l: j,k=const}W. ЗдесьW– мультичисло графаS; –пространство комплектов, заданное на множестве функциямиЕиВ; {(p_i,t_j)_v} – v-я дуга, выходящая из позицииp_iи входящая в переходt_j, {(t_i,p_k)_v–v-я дуга, выходящая из переходаt_jи входящая в позициюp_k .

Таким образом, теперь структура Sсети ПетриNможет быть представлена как четверка:S(P,T,B,E). Представим множество позицийРкак объединение двух пересекающихся множеств:P=IO;IO. Здесь мы черезIиОобозначим следующие множества:

I = I(t_j);O = O(t_j),

где I(t_j) = {p_i:B(p_i ,t_j)1,i= },j=;O(t_j) = {p_k:E(t_j ,p_k) 1k= },j=;

(p_i ,t_j) – дуга с весомw  W,выходящая из вершиныp_iи входящая в вершинуt_j

(t_j ,p_k) –дуга с весомwW,выходящая из вершиныt_jи входящая в вершинуp_k то естьI(t_j) иO(t_j) –комплекты соответственно входных и выходных позиций переходаt_j.

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

Начальная маркировка М₀(как и текущая маркировкаМ, которая соответствует некоторому состоянию сети в текущий момент модельного времени) определяет­ся одномерной матрицей (вектором), число компонентов которого равно числу позиций сетип, п =|Р |, а значениеi-го компонента, 1i . п,есть натуральное числоm(p_i),которое определяет количество маркеров (меток) в позициир_iто есть

М₀= (m₀(p₁),m₀(p₂), … ,m₀(p_n));

М = (m(p₁),m(p₂), … ,m(p_n)),

где m(p₁)m(p_i)Z; Z –множество неотрицательных целых чисел. Маркиров­куМможно представлять и как множество или комплект с той лишь только раз­ницей, что отсутствие некоторого элемента в множестве будем обозначать специ­альным элементом – нулём. В этом случае запись видаM_i = M_i-1 – I(t) означает разность множеств и такое изменение маркировки, при котором на соответст­вующих местах вектораМ_iбудут уменьшенные значения.

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

p_iI(t_j): m(p_i)  (р_i , I(t_j)) – w.

Переход, для которого выполняется это условие, называется возбуждённым. Здесь запись вида #(р_i,I(t_j)) означает число появлений позиций р_iво входном комплекте переходаt_jоно, естественно, равно весуw,если вместо мультиграфа рассматривать взвешенный граф. При срабатывании переходаt_jмаркировкаМ₀ изменяется на маркировкуM₁следующим образом:M₁=М₀ – I(t_j) +О(t_j). Иначе говоря,

p_iP:т_i(р_i) –т₀(р_i) - #(р_i, I(t_j)) + #(р_i, О(t_j)).

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

В графическом представлении сетей (оно наиболее наглядно и легко интерпретируемо) переходы изображаются вертикальными (или горизонтальными) план­ками (чёрточками), а позиции – кружками (рис. 7.5). Условия–позиции и события–переходы связаны отношением непосредственной зависимости (непо­средственной причинно-следственной связи), которое изображается с помощью направленных дуг, ведущих из позиций в переходы и из переходов в позиции. Позиции, из которых ведут дуги на данный переход, называются его входными позициями, а позиции, на которые ведут дуги из данного перехода, – выходны­ми позициями.

Выполнение условия изображается разметкой соответствующей позиции, а имен­но помещением числа nили изображениемnмаркеров (фишек) в то место, гдеп > 0– ёмкость условия.

Сети Петри могут быть использованы с точки зрения анализа системы на возможность возникновения в ней тупиковых ситуаций. Этот анализ проводится посредством исследования пространства возможных состояний сети Петри. При этом под последним понимается множество возможных маркировок сети. Анализ сетей посредством матричных методов имеет множество проблем, поэтому в основном используется подход, основанный на построении редуцированного до дерева¹графа возможных маркировок [49]. В таком дереве вершины графа – это состояния (маркировки) сети, а ветви дерева, помеченные соответствующи­ми переходами сети, – это возможные изменения состояний сети, то есть сраба­тывания её переходов. Если взять любую вершину в таком дереве (за исключе­нием корневой), то путь к этой вершине от корня дерева (путь из начальной маркировки к заданной) будет представлять собой последовательность срабаты­вания переходов.

Говорят, что переход t_jдля разметкиМявляетсяживым,если для всех разме­токМ' (М) существует последовательность срабатывания переходов, которая приводит к маркировкеМ'при которой переходt_jможет сработать. Сеть Петри называетсяживой,если все её переходы живы; живучая разметка – это разметка, при которой каждый из её переходов сможет запускаться бесконечное число раз. Когда достигнута такая разметка, при которой ни один из переходов не может быть запущен, говорят, что сеть Петри завершилась (достигнута желаемая ко­нечная маркировка) или же зависла (то есть имеет место тупиковая ситуация).

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

Вкачестве примера рассмотрим рис. 7.5.

Рис. 7.5.Сеть Петри для системы двух взаимодействующих процессов

Эта сеть соответствует рассмотренному нами ранее примеру тупиковой ситуации (см. рис. 7.2), которая возникает при взаимодействии процессов ПР1 и ПР2 во время передачи сообщений и потреблении ресурса Rкаждым из процессов. Начальная маркировка для сети, показанной на рис. 7.5, будет равна (1,0,0,0,0,4, 0,0,1,0,0,0,0). Здесь позицияp₂означает, что процесс ПР1 получил три единицы ресурса R. Дуга, соединяющая позициюp₆ (число маркеров в ней соответству­ет количеству доступных единиц ресурса R), имеет вес 3 и при срабатывании пе­реходаt₁процесс ПР1 получает затребованные 3 единицы ресурса. Переходt₂представляет посылку процессом ПР1 сообщения для ПР2; переходt_j– приём этого сообщения. Появление маркера в позицииp₇означает, что процесс ПР2 обработал сообщение и послал ответ процессу ПР1. Срабатывание переходаt_j представляет возврат в систему трёх единиц ресурса, которыми владел процесс ПР1. Рассмотренная сеть не является живой, так как в ней всегда будут мертвы переходыt₃ ,t_j , t₆ , t₇ и t₈.

Рис. 7.6.Сеть Петри для тупиковой ситуации на ресурсах типаSR

Примеру тупиковой ситуации, возникающему при работе с ресурсами типа SR, который мы также уже рассматривали ранее (см. рис. 7.3), соответствует сеть Петри, показанная на рис. 7.6.

В этой сети номера переходов соответствуют отмеченным номерам операторов, которые выполняют процессы ПР1 и ПР2, а позиции p₁ир₂– семафорамS₁иS₂, над которыми выполняются Р- и V-операции. Сеть на рис. 7.6 также не является живой, хотя для неё и существуют такие последовательности срабатывания пе­реходов, что тупиковой ситуации не наступит.

Алгоритм построения дерева достижимости изложен, например, в работе [64].