Здравствуйте, BlackEric, Вы писали:

BE>Собственно, краткое описание со ссылками на литературу содержится по следующей ссылке:
BE>On Curiosity and its software Getting 2.5 Megalines of code to behave

BE>Наибольший интерес, пожалуй, представляют ссылки на источники в конце статьи.

Супер. Интересно, каким образом они доказывали отсутствие дедлоков — ведь в ПО больше сотни потоков.


Update. Сам нашел:

The use of semaphores or locks to access shared data should be avoided (cf. Rules 6 and 8). If used, nested use of semaphores or locks should be avoided. If such use is unavoidable, calls shall always occur in a single predetermined, and documented, order.