> -- merk писал(а):
> безукоризненная многопоточность должна писаться такна псевдокоде  IF some_mutex.lock(1000(*ms*)) DO..................ELSE  Error("cannot lock critical mutex during 1000ms!!! - some trouble guys!");END;

А не нужна "многопоточность". Это технические детали - на сколько там и каких потоков в итоге разложится. Нужен способ удобно описывать логику асинхронно выполняемых действий и взаимодействий. В языках типа Эрланга и в некоторых  подражающих библиотеках для того же С этих асинхронных действий могут быть миллионы, и сколько системных "тредов" их реально обслуживают - детали, скрываемые внутри рантайма/библиотеки.