Mark-sweep — пометить живых, освободить остальное: быстро, но фрагментация. Mark-compact — плюс уплотнение живых: нет фрагментации, но перемещение дорого. Copying — копировать живых в пустую область: быстро и без фрагментации, но нужна половина места в резерве.
А ещё Все три начинаются с обхода графа от GC-корней
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Mark-sweep. Фаза пометки обходит граф от корней, фаза очистки проходит по куче и добавляет непомеченные участки в списки свободной памяти. Объекты не двигаются — паузы короче, но куча превращается в решето: большой объект может не поместиться при достаточном суммарном свободном месте. Выделение памяти — поиск подходящей дыры.
Mark-compact. После пометки живые сдвигаются к началу области, ссылки на них исправляются. Свободная память — один непрерывный кусок, выделение — просто сдвиг указателя. Дорого: несколько проходов и перемещение всех живых.
Copying. Область делится на две; живые копируются из занятой в пустую, занятая очищается целиком. Работа пропорциональна живым, мусор вообще не трогается — при 95% мусора это очень дёшево. Платим резервом памяти.
| фрагментация | стоимость | память | |
|---|---|---|---|
| mark-sweep | есть | ∝ размеру кучи | без резерва |
| mark-compact | нет | ∝ живым, несколько проходов | без резерва |
| copying | нет | ∝ живым | нужен резерв |
В HotSpot: молодое поколение — копирование (Eden → Survivor), старое — mark-compact; G1 копирует целые регионы (эвакуация), ZGC и Shenandoah перемещают объекты конкурентно с приложением.
Один верный вариант. Подумайте, потом откройте ответ.
Mark-sweep-compact и копирование, stop-the-world и safepoints, конкурентная маркировка, G1 и ZGC и выбор по throughput/latency.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.
sotto