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

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