> -- Vlad писал(а):
> По-моему было бы логичней, если бы весь блок EXCLUSIVE выполнялся атомарно, а условие стояло только на входе в такой блок. Буду благодарен за разъяснения и за ссылки.
Общиая направленность ваших рассуждений ближе к реализации многозадачности и синхронизации в Аде. Там Хоаровские мониторы выражены "более прямолинейно".