Главная страница | Контакты | Случайная страница Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Завершение объектов в среде .NET. Метод Finalize. Список завершаемых объектов (finalization queue) и очередь завершения (freachable queue).

Методы Finalize вызываются при завершении сбора мусора, который происходит в результате одного из пяти следующих событий.

■ Заполнение поколения 0 приводит к запуску сборщика мусора. Это собы­тие намного чаще остальных приводит к вызову метода Finalize, так как явля­ется естественным следствием создания новых объектов во время работы кода приложения.

■ Явный вызов статического метода Collect объекта System.GC Код может явно запросить сбор мусора у CLR. Хотя Microsoft настоятельно не рекоменду­ет так поступать, порой принудительный сбор мусора имеет смысл.

■ Windows сообщает о нехватке памяти Для общего мониторинга систем­ной памяти CLR использует Int32-функции CreateMemoryResourceNotification и QueryMemoryResourceNotification. Если Windows сообщает о нехватке памя­ти, CLR запускает сбор мусора, чтобы освободить нерабочие объекты и умень­шить рабочий набор процесса.

■ Выгрузка домена приложения CLR Выгружая домен приложения, CLR счи­тает, что ни один объект в нем не является корнем, и выполняет сбор мусора всех поколений.

■ Закрытие CLR CLR завершает работу после нормального завершения рабо­ты процесса (в отличие от внешнего завершения, например диспетчера задач). При этом CLR считает, что в процессе нет корней, и вызывает метод Finalize для всех объектов в управляемой куче. Учтите, что CLR не пытается сжать или освободить память, потому что процесс завершается, a Windows освобождает всю занятую им память.

CLR использует особый выделенный поток для вызова методов Finalize. В слу­чае первых четырех событий, если метод Finalize зацикливается, выделенный по­ток блокируется и вызов методов Finalize прекращается. Это очень плохо, потому что приложение не сможет освободить память, занятую объектами, у которых есть метод Finalize, и в итоге будет испытывать нехватку памяти.

В случае пятого события каждому методу Finalize дается примерно 2 секунды на то, чтобы вернуть управление программе. Если он не успевает, CLR просто за­вершает процесс и методы Finalize больше не вызываются. А если для вызова ме­тодов Finalize всех объектов требуется более 40 секунд, CLR также просто завер­шит процесс.

Когда приложение создает новый объект, оператор new выделяет для него па­мять из кучи. Если в типе объекта определен метод Finalize, прямо перед вызовом конструктора экземпляра типа указатель на объект помещается в список завершения (finalization list) — внутреннюю структуру данных, управляемую сборщиком му­сора. Каждая запись этого списка указывает на объект, для которого нужно выз­вать метод Finalize, прежде чем освободить занятую им память.

Сборщик сканирует список завершения в поисках указателей на эти объекты. Обнаружив указатель, он удаляет его из списка завершения и добавляет в конец очереди freachable — еще одной внутренней структуры данных сборщика мусо­ра. Каждый указатель в этой очереди идентифицирует объект, готовый к вызову своего метода Finalize.