Всякий раз, когда создается какой-либо новый объект, объект создается в куче. Память, выделенная для каждого объекта, имеет два дополнительных поля: 1) указатель объекта типа 2) индекс блока синхронизации.
В чем именно заключается использование этих двух полей. Может ли кто-нибудь пролить свет на это?
Указатель типа type используется для представления типа объекта. Это необходимо для:
Type, если вы вызываете GetType.Поле синхронизации в основном используется для блокировки. Он заполняется только тогда, когда это необходимо, и когда блокировка всегда неоспорима, CLR делает с "тонкой" блокировкой, которая не требует каких-либо внешних данных. В противном случае это запись в общей таблице процессов - я не знаю подробностей о том, что в таблице, но я бы представлял себе такие вещи, как список потоков, ожидающих на мониторе объекта. Конечно, самый важный бит информации заключается в том, удерживается ли в данный момент блокировка, по какому потоку и какому ее счету (из-за реентерабельности блокировок .NET).
Синхронизирующий блок также заполняется, если вы вызываете GetHashCode(), и он не переопределяется - он использует общую таблицу процессов для распределения стабильного числа в основном. (Адрес объекта недостаточно хорош, так как он может меняться со временем.)
Тип объекта - это то, что возвращается вызовом obj.GetType
блок синхронизации, используемый для синхронизации
См:
Индекс блока синхронизации используется под капотом классом Monitor и, следовательно, также и оператор блокировки.
Некоторые биты индекса блока синхронизации также используются GC для маркировки объекта как мусора, если он больше не ссылается.