Сейчас в а2 concurrent precise garbage collector. В последнее время там экспериментировали и с подсчетом ссылок и с поколениями, в результате пришли к тому что есть сейчас. Видимо это наиболее эффективный вариант, когда сборщик мусора все еще понятен в каждой строке кода.