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

J>Вот такое объяснение тебе нормально?
J>http://rsdn.ru/forum/philosophy/5392303.1

Автор: jazzer
Дата: 11.12.13

Да, это мне понятно. Но непонятно, как может выглядеть реализация этого.

Это похоже на "ты пишешь код, как будто дедлоков нет, но компилятор все отслеживает и не дает скомпилировать программу, если обнаружит дедлоки". То есть звучит все круто, но как это сделано?