я наоброт сейчас привёл жвм как хороший пример, shenandoah - самый продвинутый GC из существующих, имхо
Изучая пейперы по самым навороченным GC я пришел к выводу, что универсального GC не существует, либо у тебя будут низкие паузы, либо низкие накладные расходы ну или дикие расходы по памяти из-за фрагментации. Поэтому нет смысла делать что то гиперсложное. Наиболее оптимальный вариант - это статический range analysis + RC для acyclic ссылок и GC для циклических ссылок. Ну и дать возможно пользователю тюнинговать GC