Первый раз вижу такую аббревиатуру, обычно просто reference counting. Это либо с ObjC повелось?
Там ещё у Compaq-DEC (Вы же на их Модулу 2+ ссылку давали) и свой смысл был ARC, имя собственное )

Про трассирующий GC согласен.
И про то, что способ управления памятью пронизывает всё - и потом фиг поменяешь, тоже очень важно понимать.

У меня для КП есть решение. Не "всепогодное", но для систем с детерминированной нагрузкой (массовое обслуживание запросов со статистическим распределением, так сказать; ну а для большинства систем управления и встроенки вообще детерминированное количество объектов циркулирует, ещё проще жить).
Дмитрий Дагаев на Оберон-дне 2015 рассказывал про их решение для Active Oberon с выделением на старте и потом выключением.