> Как же вы достали.
> Во первых есть расширение на уровне компиляторов.
> Во вторых - никто не мешает организовать это на уровне макроса-структур и
> менеджера памяти.

В третьих в линухе даже и круче есть - там подобие деферов сделали, это даже более крутой и универсальный механизм. Только вот он не замена блокировок в том виде каком это ФС актуально. В ФС происходит несколько параллельных, независимых действ, в практически независимых сегментах кода (e.g. ядерном треде или wq) и надо чтобы они сообща - не наломали дров, наехав друг другу на хвост.

> В третьих, 90% проблем ловится статическим анализом, а то что не ловится
> - проблема в логике от которой не защитит НИКАКОЙ яп.

Отладка сложного кода с нетривиальными параллельными взаимодействиями вообще не универсальный топик без серебряных пуль. Скажем какой-нибудь тред GC - по сути почти отдельная программа в каком-то роде. Работает независимо от всего остального, логически декорелирован - чтобы кодер не спятил случайно от уровня сложности действа - но он не должен столкнуться при своей работе с иной активностью, потенциально происходящей в его регионах интереса по другим поводам. И тут оказывается что совсем без блокировок - ну вот упс. И если кто думает что файлушники их любят или делают это по приколу - да вот фиг.