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

Итак, имеем Л выдает запрос z> r: = истина; G предоставляет ресурс =)#.: = истина; Л освобождает ресурс z> г: = ложь; G признает освобождение ZD g~. = ложь. Утверждением о, означающим, что диспетчер справедливо реагирует на запросы потребителя, является а: г DO P, т.е. когда бы г не стала истинной в конце концов#( будет истинной. Заметим, что это утверждение не требует, чтобы г становилась истинной, когда диспетчер С находится в каком-либо определенном месте. 206 9.7. Свойства живости (осуществимости) Подобным образом необходимо обеспечить подтверждение fc освобождения ресурса присвоением gt ложного значения: Ь;. -¦ г z> 0(-, g). Более того, система не сможет работать нормально, если не будет обеспечено должного взаимодействия между программами пользователей. Например, система не может обещать пользователю R2 предоставления ресурса, если пользователь Rr который в это время занимает его в конце концов его не освободит.