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

204 9.7. Свойства живости (осуществимости) показано, как установить защиту для такой секции от вмешательства со стороны других процессов. Продолжающим и дополняющим свойством к свойству взаимного исключения является свойство доступности, означающее следующее: если процесс желает войти в свою критическую секцию, он, в конечном счете, попадает туда, т.е. не будет неопределенно долго удерживаться механизмом защиты. Очевидно, что защитный механизм является бесполезным, если он не позволяет в конце концов процессу войти в его критическую секцию. Пусть /, — место перед критической секцией. Тот факт, что процесс находится в /,, отражает намерение войти в критическую секцию. Пусть С является множеством мест в критической секции. Тогда выражение свойства доступности выглядит следующим образом: И в_месте (/,) ID Oejaecme (С). Правильная конструкция критической секции должна гарантировать выполнение этих двух полезных свойств: взаимного исключения и доступности.