Утилизация мусора сканирование молодого поколения

Question

Я пытаюсь понять механизмы сбора мусора, и я нахожусь на алгоритмах генерации, и у меня есть вопрос о различиях между молодыми/старыми поколениями. Я прочитал, что для начала сбора объектов в молодом поколении GC маркирует их, начиная с корней GC, чтобы найти живые, и обычно он копирует их в пространство для оставшихся в живых, очищает зону молодого поколения и вуаля.

Я не понимаю, если мы начнем с корней GC, и мы начнем проходить через живые объекты, не найдем ли мы и объект старого поколения? Означает ли это, что когда мы попадаем в объект в старом пространстве, мы перестаем отслеживать ссылки в этой точке или что?

Answer 1

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

Существует, однако, еще один важный момент для рассмотрения: что, если молодой объект доступен только через старый объект? Очевидно, что Старое Поколение должно рассматриваться как как-то.

Введите таблицукарты: это структура подложки перед каждой области кучи, где проходит сжатый «точечный рисунок» вид области, таким образом, что каждый бит соответствует, скажем, 256 байт кучи. Каждый раз, когда обновляется эталонная переменная, соответствующий бит в таблице карт увеличивается до 1, что означает «грязный».

С карточным столом на месте в каждой коллекции YG происходит следующее: все куски кучи, отмеченные как «грязные», отсканированы для указателей на объекты внутри молодого поколения. Каждый найденный таким образом объект считается доступным.

Коррола из вышеперечисленного: молодые объекты, достигаемые через старый объект, который тем временем превратился в мусор, будут считаться доступными и загрязняют кучу до тех пор, пока не произойдет крупный GC.

Answer 2

Когда GC работает в Молодом поколении, это называется Малой коллекцией. Этот тип коллекции не интересует объекты старого поколения.

И да объекты, которые могут достигать непосредственно из корней, обозначены как живые, но они могут находиться в другом месте кучи, чтобы они могли быть объектами в Старом Поколении.

Даже если объект Старый Gen достижимы, небольшие коллекции не будет востребовать мусор в Старом Быт

Цитируя HotSpot doc:

Когда молодое поколение заполняет это вызывает небольшую коллекцию в которые собирают только молодое поколение; мусора в других поколений не утилизирован

Для меня это означает, что GC будет проходить через граф объектов, и, возможно, найти мусор в OldGen, но не исправит его.

Я нашел это IBM article, которые объясняют, как работает отслеживание ссылок между поколениями в GC HotSpot.