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

192 9.4. Мультипрограммное выполнение параллельных процессов Уу = "* Уг= Процесс Рх Процесс Р2 /0: ЕСЛИ у, = (п-к) ТО НА 1с /n0: ЕСЛИ у2= к ТО НАте /,: занять (у4) my Уг =У2+ ] 'г V = jy, т2: ЕСЛИух+ уг< / 1 ТО НА т2 ly Уу = ', т^. занять (ул) /4: освободить (>>4) т<- Ч- e J'I/J'J /5: : y,: = y,- 1 Щ у2: = /2 /6: HA /0 /п6: освободить (у4) /r: СГОЯ /и?: ///1 /по т: СТОП Взаимно защищенными критическими секциями здесь являются (/2, 1}, /4) и (/и4, ms, mt) соответственно. Введение этих секций гарантирует вычисление значения уъ в каждом из процессов без какого-либо влияния друг на друга. Результат работы этих процессов эквивалентен приведенным ранее процессам вычисления биноминальных коэффициентов, которые не обеспечивали единственность критической ссылки.