Синхронизация потоков примитивами

Рихтер в своей книге пишут, что использование примитивов режима ядра снижает производительность из-за доступа из управляемого кода в неуправляемый.

А как дела обстоят с этим в неуправляемых языках производительности?

Так же Рихтер приводит в пример гибридные механизмы блокировки, когда только в крайнем случае вызывается синхронизация режима ядра и реализованные им самим.

Почему Майкрософт не сделали так же из коробки?

Да, движения в этом направлении есть, всякие slim-конструкции, но они вроде не покрывают все примитивы.