C# CLR via 对象内存中堆的存储【类型对象指针、同步块索引】

最近在看书,看到了对象在内存中的存储方式。

讲到了对象存储在内存堆中,分配的空间除了类型对象的成员所需的内存量,还有额外的成员(类型对象指针、 同步块索引 ),看到这个我就有点不懂了,不知道类型对象指针是什么,指向的什么?

从网上找也没有找到,最后往下看,书中有些描述。说下我的理解:

类型对象指针:指向类型对象存储的地址,假如有一个类型Person,它在堆中有一块区域存储它内部的字段和成员以及两个额外成员(类型对象指针、 同步块索引 ),类型对象的类型对象指针指向的是System.Type的地址。

因为Person类型在内存中相对于System.Type也是作为一个对象存在的,System.Type类型也是一个类型对象,它的类型对象指针指向本身;

实例化一个Person对象,Person p = new Person(); p对象在内存堆中也分配一块区域存储它内部的字段和成员以及两个额外成员(类型对象指针、 同步块索引 ),p的类型对象指针指向Person类型在堆中的地址。

 

同步块索引:先说一下同步块,.NET团队在设计基本框架时充分考虑了线程同步的问题,其结果就是.NET为每一个堆内对象都提供了支持线程同步的功能,这就是同步机制的雏形【参考:http://genwoxuedotnet.blog.51cto.com/1852748/504107

但是对每个堆内对象都分配同步块有一个较大的弊端,就是这样增大了内存的消耗。在一般的系统中,需要同步机制支持的对象可能只占少数,这样对于大多数对象来说,一个同步块的内存消耗就完全被浪费了。鉴于这一点,.NET框架采用了一种折中的办法,就是实际只为每个堆内对象分配一个同步索引,该索引中只保存一个表明数组内索引的整数。.NET在加载时会新建一个同步块数组,当某个对象需要被同步时,.NET会为其分配一个同步块,并且把该同步块在同步块数组中的索引加入该对象的同步块索引中。

同步块机制包含如下的几点:
· 在.NET被加载时初始化同步块数组。
· 每一个被分配在堆上的对象都会包含两个额外的字段,其中一个存储类型指针,而另外一个就是同步块索引,初始时被赋值为-1。
· 当一个线程试图使用该对象进入同步时,会检查该对象的同步索引。如果索引为负数,则会在同步块数组中寻找或者新建一个同步块,并且把同步块的索引值写入该对象的同步索引中。如果该对象的同步索引不为负值,则找到该对象的同步块并且检查是否有其他线程在使用该同步块,如果有则进入等待状态,如果没有则申明使用该同步块。

同步块是指.NET维护的同步块数组中的某个元素

 

posted @ 2017-09-14 13:55 大稳·杨 阅读(...) 评论(...) 编辑 收藏