|
126 Захват ресурса R процессом Z означает получение разрешения процессу Z изменять значения параметров q eR. Конфликт на ресурсе возникновение ситуации, когда тому или иному процессу отказано в захвате ресурса до момента выполнения некоторого наперед заданного условия. Из определения ресурса следует, что конфликт на ресурсе возможен лишь для пересекающихся объектов. Таким образом, необходимо добиться согласования процессов в этих объектах. Рассмотрим следующие способы разрешения конфликтных ситуаций. А. Синхронизация. Предлагается наиболее универсальный способ построения согласованных процессов: разнесение во времени их интервалов определения. При этом способе определяются периодически повторяющиеся интервалы времени захвата ресурса для каждого претендующего на него процесса. На рис.2.11, показан пример выделения таких интервалов для случая конфликта трех процессов. I II III I II III I II III I *1 *2 *3 *4 *5 *6 *7 *8 *9 tj, ..................... Т Рис. 2.11. Синхронизация процессов Процесс Zi может захватывать ресурс R лишь в интервалах (ti,t2), (t7,t8) и т.д., процесс Z2 в интервалах (У2/з)> (АЛ), (W9) и т.д., процесс Z3 в интервалах (У3/4), (/бЛ), (Wio) и т.д. Захват ресурса возможен на период одного интервала. Б. Семафоры. Если условие захвата ресурса не ограничивает время использования этого ресурса захватившим его процессом, то в этом случае удобно использовать семафоры. Семафор есть простая логическая переменная, однозначно соответствующая ресурсу. Значение семафора ‘0’ означает, что ресурс может быть захвачен процессом, значение семафора ‘ 1 ’ блокирует захват ресурса. На рис.2.12, показан пример использования семафора С при захвате ресурса R двумя процессами Zi и Z2. |
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. Синхронизация процессов 58 Процесс 2\ может захватывать ресурс К лишь в интервалах (^,/2), (¿*¿5)» (¿7, и т.д., процесс в интервалах (/2,^з), (ЬЛ), и т.д., процесс Zъ в интервалах (/3,^4), {Ш \о) и т.д. Захват ресурса возможен на период одного интервала. Б. Семафоры. Если условие захвата ресурса не ограничивает время использования этого ресурса захватившим его процессом, то в этом случае удобно использовать семафоры. Семафор есть простая логическая переменная, однозначно соответствующая ресурсу. Значение семафора ‘О’ означает, что ресурс может быть захвачен процессом, значение семафора ‘ 1 ’ блокирует захват ресурса. На рис.2.7, показан пример использования семафора С при захвате ресурса К двумя процессами Z\ и Z2 . ► пет да нет да ------------------------------------------------------------------------------------------------1 С:=1 ф _______________т_________________________________ С:=1 _________________________________ _____________________________________ Т Развитие Z . в R Развитие Z2в R 1 __________________________________Г_______ С:=0 С:=0 1 _________________________________ Т_______ Развитие X. в 0 \я Развитие в (}\11 * Рис. 2.7. Применение семафора |