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

599
Мониторинг.и.контроль.времени.жизни.объектов
‰
WeakTrackResurrection
— мониторинг времени жизни объекта. Флаг позволяет 
узнать, когда уборщик мусора обнаруживает, что объект более недоступен коду 
приложения. Учтите, что метод финализации объекта (если таковой имеется) 
уже точно был выполнен, то есть память, занятая объектом, была освобождена.
‰
Normal
— контроль времени жизни объекта. Флаг заставляет уборщик мусора 
оставить объект в памяти, даже если в приложении нет переменных (корней), 
ссылающихся на него. В ходе уборки мусора память, занятая этим объек-
том, может быть сжата (перемещена). Метод 
Alloc
, не принимающий флаг 
GCHandleType
, предполагает, что задано значение 
GCHandleType.Normal
.
‰
Pinned
— контроль времени жизни объекта. Флаг заставляет уборщик мусора 
оставить объект в памяти, даже если в приложении нет переменных (корней), 
ссылающихся не него. В ходе уборки мусора память, занятая этим объектом, 
не может быть сжата (перемещена). Это обычно бывает полезно, когда нужно 
передать адрес памяти в неуправляемый код. Неуправляемый код может вы-
полнять запись по этому адресу в управляемой куче, зная, что расположение 
управляемого объекта после уборки мусора не изменится.
При вызове статический метод 
Alloc
объекта 
GCHandle
сканирует таблицу GC-
дескрипторов домена приложения в поисках элемента, в котором хранится адрес 
объекта, переданного ему в качестве параметра. При этом устанавливается флаг, 
переданный в качестве параметра типу 
GCHandleType
. Затем метод 
Alloc
возвращает 
экземпляр 
GCHandle
. Тип 
GCHandle
— это «облегченный» значимый тип, содержа-
щий одно экземплярное поле 
IntPtr
, ссылающееся на индекс элемента в таблице. 
Чтобы освободить этот элемент в таблице GC-дескрипторов, нужно взять экзем-
пляр 
GCHandle
и вызвать метод 
Free
(который также объявляет недействительным 
экземпляр, обнуляя поле 
IntPtr
).
Вот как уборщик мусора работает с таблицей GC-дескрипторов.
1. Уборщик мусора маркирует все доступные объекты (как описано в начале этой 
главы). Затем он сканирует таблицу GC-дескрипторов, все объекты с флагом 
Normal
или 
Pinned
считаются корнями и также маркируются (в том числе все 
объекты, на которые они ссылаются через свои поля).
2. Уборщик мусора сканирует таблицу GC-дескрипторов в поисках всех записей 
с флагом 
Weak
. Если такая запись ссылается на немаркированный объект, ука-
затель относится к недоступному объекту (мусору) и приравнивается к 
null
.
3. Уборщик мусора сканирует список финализации. Если указатель из списка 
ссылается на немаркированный объект, этот объект начинает считаться недо-
ступным и перемещается из списка финализации в очередь на финализацию. 
В этот момент объект маркируется, потому что начинает считаться доступным.
4. Уборщик мусора сканирует таблицу GC-дескрипторов в поисках всех элементов 
с флагом 
WeakTrackResurrection
. Если такой элемент ссылается на немарки-
рованный объект (теперь это объект, на который указывает элемент из очереди 

---

600