> -- Сергей Губанов писал(а):
> В Эйфеле EXCLUSIVE и AWAIT совмещены в одну  - так там процедуры называются. Когда фичу вызывают, она пытается залочить все свои аргументы и ожидает выполнения всех предусловий, после чего выполняется атомарно.

Вот такой подход у меня не вызывает никаких противоречивых чувств. Может где-то есть сравнение таких различных подходов с описанием неочевидных достоинств/недостатков?