Net framework 5, а также среды Visual Studio 2012 и C#

рис. 21.13.
.Управляемая.куча.с.указателями.в.списке.финализации
ПриМеЧание
Хотя.в.System Object.определен.метод.финализации,.CLR.его.игнорирует .То.есть.
если.при.создании.экземпляра.типа.метод.финализации.этого.типа.унаследован.от.
System Object,.созданный.объект.не.считается.подлежащим.финализации .Метод.
финализации.объекта.Object.должен.переопределяться.в.одном.из.производных.типов 
Сначала уборщик мусора определяет, что объекты 
B
, 
E
, 
G
, 
H
, 
I
и 
J
— это мусор. 
Уборщик сканирует список финализации в поисках указателей на эти объекты. 
Обнаружив указатель, он извлекает его из списка финализации и добавляет в конец 
очереди на финализацию
(freachable queue) — еще одной внутренней структуры 
данных уборщика мусора. Каждый указатель в этой очереди идентифицирует объ-
ект, готовый к вызову своего метода финализации. Вид управляемой кучи после 
уборки мусора показан на рис. 21.14.
На рисунке видно, что занятая объектами 
B
, 
G
и 
H
память была освобождена, 
поскольку у них нет метода финализации. Однако память, занятую объектами 
E
, 
I
и 
J
, освободить нельзя, так как их методы финализации еще не вызывались.
В CLR есть особый высокоприоритетный поток, выделенный для вызова методов 
финализации. Он нужен для предотвращения возможных проблем синхронизации, 
которые могли бы возникнуть при использовании вместо него одного из потоков 
приложения с обычным приоритетом. При пустой очереди на финализацию (это ее 
обычное состояние) данный поток бездействует. Но как только в ней появляются 
элементы, он активизируется и последовательно удаляет элементы из очереди, 

---

596