> -- captain cobalt писал(а):
> А если код, изменяющий истинность условия, не находится внутри EXCLUSIVE-блока?
... Тогда коды, находящиеся в других AWAIT-ах в EXCLUSIVE-блоках данного объекта никогда не узнают, что условие изменилось...
Эта фича АО - реализация Хоаровско-Хансеновских мониторов. Хансен постулировал перепроверку всех мест, где ожидают выполнение истинности неких условий (имеется ввиду "места" в EXCLUSIVE-блоках данного "монитора") на выходе из EXCLUSIVE-блоков.
Соответсвенно, что бы инициировать процесс такой проверки, вы сами должны решить, что будет проверяться, а что нет, помещая или нет некие операции в EXCLUSIVE-блоки или нет...