> -- captain cobalt писал(а):
> А если код, изменяющий истинность условия, не находится внутри EXCLUSIVE-блока?
> -- GUEST писал(а):
> ...Если один процесс обращается к данным другого непосредственно...

Программист должен понимать что он пишет. Всё что изменяет истинность условия обязательно должно быть внутри EXCLUSIVE-блоков. Иначе... - сам дурак! С тем же успехом можно делить на ноль, переполнять буфер, разыменовывать нулевой указатель и т.д. и т.п.