отмазка, чтобы время выиграть!
вообще, это как с multicore OCaml. Первый multicore GC написали еще в 2004, что ли. Но Xavier Leroy на него посмотрел, сказал - у нас один из основных клиентов это Coq, на нем этот ваш gc на сингл-тредовом коде дает замедление процентов в 20, никуда не годится. И завернул. Так и тянутся с тех пор кривые глухие окольные тропы. Пока люди пройдут через отрицание-гнев-торг...