Искусственный интеллект

9.4.1. Семафоры Семафоры являются особыми атомарными командами, для которых делается необходимое в этом случае исключение из правила единственности 190 9.4. Мультипрограммное выполнение параллельных процессов критической ссылки, поскольку они выступают как стандартный способ синхронизации параллельных процессов и имеют дело со специальными семафорными переменными. Этих команд две и их обозначают занять (у) и освободить (у). Команда занять (у) эквивалентна предложению ЕСЛИ * 1* у>0 ТО у: = у-1 НА /', где /' — место перехода, следующего в записи процесса сразу за этим предло¬жением. Для краткости этот переход можно записывать в виде /: занять (у). Команда освободить (у) эквивалентна предложению