|
125 Рассмотрим два объекта Ot и От в системе Q. Пусть О1ПОт = 0, а процессы в них заданы следующими операторами: г"=Яс'(.ф4 (2.4) Если ОтПЛ°'=0 и О1Г\А°т=0, то такие процессы и объекты называются несцепленными в момент времени Ц. Если Ot П А°т *0, то объект От сцеплен с объектом Oi в момент времени tx. То же относится и к их процессам. Это означает, что для определения состояния объекта От в момент времени Ц, необходимо знание состояния объекта Oi в это же время. Обозначим отношение сцепления как О\—>От. Если О р Д°1 ф 0, то объект Oi сцеплен с объектом От в момент времени Om-+Oi. Если одновременно От П А°‘ *0 и ЦП А°т Ф 0, то объекты Цп и О\ взаимно-сцеплены в момент времени Ц: От<^>О\. Если к отношению сцепления добавить полное транзитивное замыкание, то получим отношение зависимости. Т.е. если Oi зависит от Om, a Ok зависит от Оь то Or зависит и от От. Таким образом, отношение сцепления можно определить как отношение непосредственной зависимости. Процессы Z, в системе Q развиваются параллельно. Это значит, что они изменяют значения параметров системы в течение одного и того же интервала времени. Достаточно типичны ситуации, когда по логике функционирования системы накладываются ограничения на изменение некоторых параметров несколькими процессами одновременно в течение заданного либо обусловленного интервала времени. Совокупность параметров системы, на изменение которых сформулированы некоторые ограничивающие условия, называется ресурсом R. Таким образом, RcQ. Если объект Ц изменяет параметры ресурса R, то RcOk. |
56 Если пространство состояния объекта определяется на параметрах О/аО, то множество аргументов является самостоятельным подмножеством 0 : А°> с Q . Анализ соотношений между О/, А и> и Q позволяют произвести следующую классификацию: если А 01 с О ,,т о в объекте О/ развивается локальный процесс; о о если А 1 а <2, то процесс в О/ част ично зависимый', о если А 1 = () ,то процесс в О/ полнозависимый. В ходе развития процесса множество аргументов А 0' меняется и в общем случае зависит от времени. Обозначим эту зависимость как А, ч Рассмотрим два объекта О/ и О т в системе Пусть О/ П О т 0 , а процессы в них заданы следующими операторами: 5 ОI Н О/ Я о н°т( < " . , то такие процессы и объекты называются несцепленными в момент времени /¡. Если О, П А ," Ф 0 , то объект О т сцеплен с объектом О/ в момент ' ч времени /¡. То же относится и к их процессам. Это означает, что для определения состояния объекта О т в момент времени /¡, необходимо знание состояния объекта О/ в это же время. Обозначим отношение сцепления как 0\-^О т. Если 0 П а ) -ф. 0 , то объект О/ сцеплен с объектом О т в момент т (. О о времени /¡: 0 т-> 0 /. Если одновременно О т П А( 1 Ф 0 и О /( ] А ( ' " Ф 0 , то объекты О ти 0\ взаимно-сцеплены в момент времени Ц: 0 т<->0\. Если к отношению сцепления добавить полное транзитивное замыкание, то получим отношение зависимости. Т.е. если 0 зависит от От, а Ок зависит от О), то Ок зависит и от От. Таким образом, отношение сцепления можно определить как отношение непосредственной зависимости. 57 Процессы Zj в системе Q развиваются параллельно. Это значит, что они изменяют значения параметров системы в течение одного и того же интервала времени. Достаточно типичны ситуации, когда по логике функционирования системы накладываются ограничения на изменение некоторых параметров несколькими процессами одновременно в течение заданного либо обусловленного интервала времени. Совокупность параметров системы, на изменение которых сформулированы некоторые ограничивающие условия, называется р есу р со м R. Таким образом, R cQ . Если объект Ok изменяет параметры ресурса R, то RczOitЗахват р есур са R процессом Z означает получение разрешения процессу Z изменять значения параметров q eR . Конфликт на р есу р се возникновение ситуации, когда тому или иному процессу отказано в захвате ресурса до момента выполнения некоторого наперед заданного условия. Из определения ресурса следует, что конфликт на ресурсе возможен лишь для пересекающихся объектов. Таким образом, необходимо добиться согласования процессов в этих объектах. Рассмотрим следующие способы разрешения конфликтных ситуаций. А. Синхронизация. Предлагается наиболее универсальный способ построения согласованных процессов: разнесение во времени их интервалов определения. При этом способе определяются периодически повторяющиеся интервалы времени захвата ресурса для каждого претендующего на него процесса. На рис.2.6, показан пример выделения таких интервалов для случая конфликта трех процессов. I II III I II III I II III I 1 1 I I I --1----------'— ‘--------------1 —'-------------------—----------------1-------1 1-----------1-----------------► ! i I i ' I t Ч h *3 *4 *5 *6 h *8 *9 t 0 t fl ......... T Рис. 2.6. Синхронизация процессов |