4

Когда у нас заполняется нулевое поколение кучи, происходит анализ этого поколения: удаляются "мёртвые" объекты и перемещаются "выжившие" в следующее поколение - 1.
Вопрос: если в поколении 1 недостаточно места для приёма объектов из нулевой кучи, то что происходит? Очистка первого поколения?


UPDATE

Цитата (C# 5.0 in Nutshell, Albahari):

Среда CLR сохраняет раздел Gen() относительно небольшим (максимум 16 Мбайт в 32-битной версии для рабочей станции, с типичным размером от нескольких сотен Кбайт до нескольких Мбайт). Когда раздел Gen() заполняется, сборщик мусора GC инициирует сборку Gen() — что происходит относительно часто. Сборщик мусора применяет похожий порог памяти к разделу Gen1 (который действует как буфер для Gen2), поэтому сборки Gen1 являются тоже относительно быстрыми и частыми. Однако полные сборки мусора, включающие Gen2, занимают намного больше времени и, таким образом, происходят нечасто. Результат полной сборки мусора показан на рис. 12.2.

6
  • 1
    А почему вдруг там место ограничено?
    – VladD
    13 ноя 2017 в 15:56
  • @VladD читал, мол каждое поколение ограничено в размере... Или это неправда?
    – user241373
    13 ноя 2017 в 16:02
  • @VladD а как тогда происходит очистка в моем случае?
    – user241373
    13 ноя 2017 в 16:03
  • Хм, а откуда информация, что каждое поколение ограничено в размере? Я думал, что ограничение происходит на уровне суммарного размера.
    – VladD
    13 ноя 2017 в 16:43
  • @VladD в пост добавил информацию
    – user241373
    13 ноя 2017 в 17:49

2 ответа 2

3

Достижение поколением порогового размера — всего лишь триггер для начала сборки мусора. Когда общий размер объектов в Gen0 станет больше порога, запустится сборщик мусора.

Когда сборщик мусора запустится, он смотрит, не превышает ли суммарный размер объектов в Gen2 порог. Если да, запускается полная, медленная сборка мусора всех трёх поколений.

Если Gen2 в порядке, но суммарный размер объектов а Gen1 превышает порог для Gen1, запускается ускоренная сборка, которая рассматривает только Gen0 и Gen1.

Если же Gen1 тоже в порядке, то запускается ускоренная сборка только Gen0.

Если после сборки Gen0 переполнится Gen1 (то есть, суммарный размер Gen1 станет выше порога), ничего не произойдёт до следующего запуска сборщика мусора. А когда он таки запустится (по переполнению Gen0), он обнаружит переполнение поколения Gen1 и соберёт его тоже.

(Кстати, размеры порогов на текущий момент не фиксированы, и фреймворк динамически подгоняет их во время пробега программы.)


Литература: Jeffrey Richter. The Managed Heap and Garbage Collection in the CLR.

10
  • ага... Просто я понимал порог как "жесткая граница", которую нельзя превысить...
    – user241373
    13 ноя 2017 в 18:12
  • а все-таки... У поколения есть какие-то "жесткие границы", дальше которых невозможно добавить объекты? (Вопрос про 1 поколение). Про второе читал, мол, дополнительные сегменты могут выделяться
    – user241373
    13 ноя 2017 в 18:13
  • @khirnick: Границ нету, просто если их становится слишком много, происходит сборка. Ну и вы не можете руками добавить туда объект, его добавляет сборщик мусора сам.
    – VladD
    13 ноя 2017 в 18:18
  • при очистке 2-ого поколения, автоматически очищаются и 1, и 0 поколение? (При сборке мусора в старших поколениях в обязательном порядке убирается мусор и во всех младших.) - rsdn.org/article/dotnet/GC.xml
    – user241373
    13 ноя 2017 в 18:22
  • просто в некоторых местах пишут различную информацию, и я иногда путаюсь: где же истина)
    – user241373
    13 ноя 2017 в 18:22
0

Если произойдет "переполнение" (таки у поколений есть пороги) для первого поколения, GC вызовет проверку на первом поколении. Выжившие объекты перейдут во второе, не выжившие - умрут, никакой магии.

Рихтер в CLR via C# в главе 21 "Автоматическое управление памятью (уборка мусора)" хорошо описал это.

3
  • то есть этот порог может быть ПРЕВЫШЕН и после этого произойдет проверка первого поколения?
    – user241373
    13 ноя 2017 в 17:56
  • @khirnick, именно превышен. Как уже выше правильно заметили, порог не фиксирован. Опять же могу посоветовать книгу Рихтера. Там хорошо пошагово расписано как работает GC на разных этапах жизни объектов. 13 ноя 2017 в 21:11
  • спасибо! Да, вот только дочитал нужную информацию из 21-ой главы Рихтера
    – user241373
    13 ноя 2017 в 21:30

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.