Лекции по параллельным вычислениям. Гергель В.П - 47 стр.

UptoLike

Составители:

Рубрика:

Рис. 3.7 Пример сети Петри двух взаимодействующих процессов,

использующих общие ресурсы

Простейший способ устранения блокировки в данной ситуации – добавле-

ние одного места с двумя точками (добавленные связи обозначены пунктиром).

Нетрудно заметить, что при этом один (любой) из указанных двух процессов

может начаться только после того, как завершен другой процесс.