сколько кода придется втянуть в hello world?

Супер отличный вопрос 🙂
Я долго драйвил тему, чтобы оторвать его полностью от всех зависимостей. К сожалению, мы на данный момент только решили перенести его из Chromium в V8, и работа над этим идет как раз сейчас. Теоретически, скоро (или в эскпериментальном виде сейчас) можно притянуть V8 и заюзать cppgc (сам сборщик).
Надеюсь, скоро получится сделать сборщик совершенно независимым, наподобие других плюсовых гугловых библиотек, вроде benchmark, gtest, etc.

было бы круто!

потом втащить в буст, а потом уже в стандарт...  🙂

Мы часто обсуждаем, должно ли это быть частью Стандарта. При этом есть люди совершенно против (вроде Чандлера), а есть кто и за.

Мне нравится вариант, где сброщик - отдельная библиотека, но, к сожалению, без поддержки языка сделать сборщик довольно таки трудно.

С поддержкой языка есть много возможностей для оптимизаций.

гм. а где можно пример кода использующего этот GC посмотреть? в идеале - линк на исходник на гитхабе. Можно прям на строчку кода.

Я бы вот сюда посмотрел: https://cs.chromium.org/chromium/src/third_party/blink/renderer/platform/heap/BlinkGCAPIReference.md?q=BlinkGCAPi&sq=package:chromium

О! Круто, спасибо!

Основная идея в том, чтобы дать метамагии и рантайму понять, как работать с объектами, и для этого предоставить функцию-трассировки, чтобы сборщик знал как трассировать определенный класс. Это приносит некоторый бойлерплэйт, который я очень жду, чтоб метаклассы пофиксили 🙂

Забавно. Гугл пошел по пути превращения С++ в D, а мозилла придумала Rust, чтобы как-то совсем без GC обойтись. Что-то мне подсказывает, что в расте такие графы крутить будет довольно больно и всё равно черевато утечками памяти.

да, кстати. в gcc же тоже сборщик мусора 🙂

то есть внутри компилятора для менеджмента памяти - в компиляторе ж тоже огромные графы

часто встречаю, что в больших системах колхозят свои подобия сборки мусора

значит такая балалайка нужна

более того, я не удивлюсь, если она и в расте появится

Я не знаток раста совсем, но слышал от друзей разговоры по этому поводу.

Насколько я понимаю, фундаментальная идея борров-чекера в том, что в один момент времени может быть только один владелец. Для графов объектов, где есть циклические ссылки, в rust приходится либо переходить на димнамический борроу-чекер (RefCell вроде), либо просто в unsafe, если перфоманс критичен. Т.е. даже простая структура данных, как двусвязный список или дерево с ссылками на родителей, реализуется в обход борроу-чекера.

В сложных системах со сложными графами циклические ссылки - неизбежность. Поэтому интересно, как mozilla решила это в servo. Я не знаток раста, поэтому, скорее всего, могу упускать что-либо.

FWIW - в бекэнде Acronis Backup тоже был как-то свой C++ сборщик мусора. Но весь вышел

кстати говоря, интерн, который занимался precise stack scanning, работал (или работает) над GC в раст