Есть ли алгоритм сборки мусора, который соответствует этим требованиям?

Я пишу компилятор для объектно-ориентированного языка со статической типизацией. В настоящее время я изучаю используемые алгоритмы сборки мусора. Мне интересно, есть ли сборщик, который:

• с открытым исходным кодом и задокументирован, чтобы я мог его реализовать.
• Acurrate
• Generational
• Глобальный, то есть существует только один сборщик на процесс, в отличие от сказать по одному на поток.
• Инкрементный и / или параллельный, чтобы избежать длинных пауз в основных коллекциях.
• Соответствует этой парадигме программирования. Примером того, чего нет, может быть сборщик, который становится очень медленным при наличии деструктивного присваивания.

Edit: Чтобы уточнить, мне было интересно, есть ли реализуемый алгоритм , который делает это, а не если есть Готовый коллектор.