CodeFest 2012. Иванов В. — G1: новый сборщик мусора в HotSpot JVM

G1GC: Garbage-First Garbage Collector

Владимир ИвановOracle Corporationvladimir.x.ivanov@oracle.com

Содержание

• Основы сборки мусора

• G1: обзор архитектуры

• Миграция на G1

GC == Сборка мусора

• Находит и освобождает место, занимаемое ненужными объектами• Объекты вне транзитивного замыкания, включающего roots

(стеки потоков, статические поля классов и т.д.)

• Автоматическая и безопасная

• Проще, если граф объектов “заморожен”• Stop-the-world (STW) паузы

• Возможны различные подходы• c дефрагментацией или без• Алгоритмы: copying, mark-sweep, mark-compact, ...• Аллокация: linear, free lists, ...

Сборка мусора: до

RuntimeStack

Сборка мусора: после

RuntimeStack

Сборка мусора с поколениями

• Слабая гипотеза о поколениях• Большинство объектов временные• Старые объекты редко ссылаются на молодые

• Молодые и старые объекты содержатся отдельно• В пространствах, называемых “поколения” (generations)• Возможны разные алгоритмы для молодого и старого

поколения• Mолодое поколение можно собирать отдельно от старого

Сборка мусора с поколениями

Молодое поколение

Старшее поколение

Перемещение объекта

Создание объектаНеобходимоотслеживать ссылки

Структура молодого поколения

Молодое поколение: сборка мусора

Garbage-First GC (G1)

• Фоновый и параллельный

• Высокая предсказуемость работы

• Сборщик мусора с поколениями, но …• «Куча» состоит из регионов• Нет физического разделения между молодым и старым

поколением• Принадлежность регионов определяется динамически• Для каждого региона известно где находятся объекты,

ссылающиеся на него• “Remembered Set”• Позволяет собирать регионы независимо

G1: Структура «кучи»

• Разбита на регионы• Фиксированного размера• 1MB-32MB

• Молодое поколение• Набор регионов

• Eden• Survivor

• Выбираются динамически

• Старое поколение• Набор регионов• Выбираются динамически

• Большие объекты• Не помещается в регион• Называются “humongous”• Находятся в наборе

смежных регионов

• Collection Set• Регионы, в которых будет

происходить GC• Все молодое поколение• Некоторые регионы из

старшего поколения• Фоновая маркировка

определяет наиболее подходящие

• Сборка• Копирование объектов в

регионы, помеченные как часть «To»-пространства• Survivor-регионы• Регионы из старшего

поколенияS

• Reclamation• From-space larger than to-

space (hopefully!)• Compaction via copying

• RSet == Remembered Set• Информация о

местонахождении ссылок на регион

• Позволяет собирать регионы независимо

• RSet поддерживается • Из старого в молодое

поколение• Между регионами в старом

поколении

G1: Фоновая маркировка

• Периодически все живые объекты в куче помечаются• обновляет информацию о достижимости по регионам• автоматически освобождает регионы без живых объектов• разбивает циклические зависимости среди недостижимых

объектов

• Параллельная и фоновая

• Стартует автоматически по достижении пороговой занятости «кучи»

Барьер на запись

• Код, исполняемый при изменении значения поля объекта с указателем• Специфичен для каждого GC• Абсолютно прозрачен для приложения

• Исполняется интерпретатором / генерируется JIT-компилятором

• Пример (для обновления card table):

a.f = x; a.f = x;card_table[index_for(&a.f)] = DIRTY_VALUE;

G1: Барьеры на запись

• 2 типа• Pre-barrier

• Сохраняет старое значение поля• Поддерживается корректность фоновой маркировки• SATB (Snapshot-At-The-Beginning)

• Post-barrier• Поддержка актуальности RSet

• Результат сохраняется в буферы, локальные для потока• В процессе фоновой сборки происходит обработка

G1: Как включить?

• -XX:+UseG1GC

• -Xms/-Xmx

• Задаваемые цели на длительность и частоту пауз• -XX:MaxGCPauseMillis=<num>• -XX:GCPauseIntervalMillis=<num>

GCs в Hotspot JVM

PSOld PSParOld

DefNew ParNew

Tenured

GC Framework GC Interface

YoungGen

WholeHeap

Parallel / Concurrent

Serial Parallel

OldGen

PScavenge

GC в Hotspot JVM

• SerialGC• последовательная сборка молодого и старого поколений

• ParallelGC• максимальный throughput• параллельная сборка молодого и старого поколений

• CMS• предсказуемость• по возможности, сборка мусора в фоновом режиме

• G1• предсказуемость• слабо подвержен фрагментации

Производительность GC

• 3 характеристики• Throughput

• Объем вычислительных ресурсов, затрачиваемых на GC

• Предсказуемость• На какое время прерывается работа приложения

• Footprint• Объем используемой памяти

Производительность GC

Throughput

FootprintLatency =

Чем хорош Stop-The-World GC?

• Проще всего определять достижимость объектов • Граф объектов «заморожен»

• Проще всего перемещать объекты в «куче»• В процессе сборки, «куча» может находиться в

некорректном состоянии

• Но:• Приложение останавливается на все время сборки• зависит от размера «кучи» / объема живых объектов

Инкрементальная сборка

• Попытка уменьшить паузы, вызванные GC, за счет• Большего количества коротких пауз• Фоновая сборка

• Требуется синхронизировать работу GC с приложением• Барьеры на чтение/запись

Предсказуемость vs Throughput

• STW• Продолжительные паузы• … но никакой лишней нагрузки для потоков приложения• Максимальный throughput

• Инкрементальная сборка• Короткие паузы • Лишняя нагруза в потоках приложения• Минимальные паузы за счет снижения throughput

• “Über GC” не существует

G1 рекомендуется, если…

• Нужна хорошая производительность

• Минимальная настройка

• Размер «кучи» >2-4Gb

• Занятость «кучи» >50%

• Продолжительность пауз (<0.5-1s)

• Скорость создания объектов серьезно варьируется

• Фрагментация «кучи»

G1 НЕ рекомендуется, если

• Приложение уже работает надежно без серьезных проблем с производительностью• “If it isn't broken, don't fix it!”

• Жесткие требования на паузы <100мс

Как выбирать GC?

1. ParallelGC

2. G1 DONE!

3. CMS

Паузы не устраивают

Паузы все еще не устраивают«Куча» <2Gb

Подходит? Да!

CodeFest 2012. Иванов В. — G1: новый сборщик мусора в HotSpot JVM

Documents

Transcript of CodeFest 2012. Иванов В. — G1: новый сборщик мусора в HotSpot JVM

Презентација на Билд ап скилс - Ристо Иванов

Алексей Иванов, ISEE Marketing Россия

ОМО Илинден и Иванов с/у България

ИВАНОВ ВЛАДИМИР ПЕТРОВИЧ СТАНОВЛЕНИЕ И …ens.mil.ru/files/morf/military/files/Avtoref_ivanov.pdf · 13.00.01 ± Общая педагогика,

Алексей Иванов —новейшие-технологии_и_ реальный бизнес

Вячеслав Иванов. De Societatibus Vectigalium publicorum ...

Владимир Иванов - Введение в сетевые технологии

Секреты сборки мусора в Java (Алексей Рагозин)

A. Kats, A. Naumov, A. Ivanov ( А.П. Кац, А.Я. Наумов, А.А. Иванов )

Алексей Иванов «Веб-аналитика и реальный бизнес»

Инж Климент Иванов Зановmmu2.uctm.edu/science/files/avtoreferat_K.Z..pdfаналитичната химия, физиологията и статистиката.

Правильная веб-аналитика для повышения эффективности продвижения, Алексей Иванов, ISEE MARKETING

"G1 GC и Обзор сборки мусора в HotSpot JVM" @ JUG SPb, 31-05-2012

«ОХОТНИК»: ПЕРЕЗАГРУЗКАarm-buss.com/files/other/250.pdf · И. И. Иванов, А. А. Микулин, В. Я. Климов. В годы войны Героями

Oracle External Procedure Calls Теодор Иванов Софтуерен инженер.

«Большие объёмы данных и сборка мусора в Java

Иванов Георгий Анатольевич ЧИСЛЕННОЕ …d03.kemsu.ru/Content/AdvertAttachedFiles/37c1754356414c91.pdf · ОРГАНИЧЕСКИХ ВЗРЫВЧАТЫХ

Владимир Иванов - Криптография и шифрование

Сколько «мусора» в геноме человека?

левский, В. Иванов, К. Ковалев,imti.sias.ru/upload/iblock/c2f/rijkova.pdf · Однако наименее изученным из всех искусств