在分析内存分配时,应该先了解关于堆栈的区别。堆的分配向高地址扩展,而栈的分配向低地址扩展。本文分析一下.NET内存分配。
关于内存的分配,首先应该了解分配在哪里的问题。CLR管理内存的区域,主要有三块,分别为:
• 线程的堆栈,用于分配值类型实例。堆栈主要由操作系统管理,而不受垃圾收集器的控制,当值类型实例所在方法结束时,其存储单位自动释放。栈的执行效率高,但存储容量有限。
• GC(垃圾回收)堆,用于分配小对象实例。如果引用类型对象的实例大小小于85000字节,实例将被分配在GC堆上,当有内存分配或者回收时,垃圾收集器可能会对GC堆进行压缩。
1 public class VIPUser:User 2 { 3 //分配1Byte 4 public bool isVip; 5 public bool IsVipUser() 6 { 7 return isVip; 8 } 9 static void Main(string[] args) 10 { 11 //分配内存空间和初始化操作 12 VIPUser aUser; 13 //将对象引用赋给aUser变量,建立aUser和VIPUser的关联 14 aUser = new VIPUser(); 15 //Q:类型的分配的字节数? 16 //就本类而言需要15Byte。但是实例对象所占的字节总数还要加上对象附加成员所需的字节数,其中包括附加成员TypeHandle和SyncBlockIndex共8个字节。在托管堆上分配的字节总数为23字节,而堆上的内存块总是按照4Byte的倍数进行分配,因此本类中将分配24字节的地址空间 17 18 //最后调用对象构造器,进行对象初始化操作,完成创建 19 20 //构造过程 21 //a.构造VIPUser类型的Type对象,主要包括静态字段、方法表、实现的接口等,并将其分配在上文提到托管堆的Loader Heap上。 22 23 //b.初始化aUser的两个附加成员:TypeHandle和SyncBlockIndex。将TypeHandle指针指向Loader Heap上的MethodTable,CLR将根据TypeHandle来定位具体的Type;将SyncBlockIndex指针指向Synchronization Block的内存块,用于在多线程环境下对实例对象的同步操作。 24 25 //c.调用VIPUser的构造器,进行实例字段的初始化。实例初始化时,会首先向上递归执行父类初始化,直到完成System.Object类型的初始化,然后再返回执行子类的初始化,直到执行VIPUser类为止。以本例而言,初始化过程为首先执行System.Object类,再执行User类,最后才是VIPUser类。最终,newobj分配的托管堆的内存地址,被传递给VIPUser的this参数,并将其引用传给栈上声明的aUser。 26 27 aUser.isVip = true; 28 Console.WriteLine(aUser.IsVipUser()); 29 //上述过程,基本完成了一个引用类型创建、内存分配和初始化的整个流程 30 } 31 } 32 public class UserInfo 33 { 34 //分配4个字节 35 private Int32 age = -1; 36 //分配2个字节 37 private char level = ‘A’; 38 } 39 public class User 40 { 41 //分配4byte 42 private Int32 id; 43 //保存了UserInfo的引用 占用4Byte 44 //仅是一个引用(指针),保存在线程的堆栈上,占用4Byte的内存空间 用于保存user对象的有效地址 现在试图对user的任何操作将抛出NullReferenceException 45 private UserInfo user; 46 } |
• LOH(Large Object Heap)堆,用于分配大对象实例。如果引用类型对象的实例大小不小于85000字节时,该实例将被分配到LOH堆上,而LOH堆不会被压缩,而且只在完全GC回收时被回收。
在了解内存分配之前 首先了解一下三个概念
• TypeHandle,类型句柄,指向对应实例的方法表,每个对象创建时都包含该附加成员,并且占用4个字节的内存空间。我们知道,每个类型都对应于一个方法表,方法表创建于编译时,主要包含了类型的特征信息、实现的接口数目、方法表的slot数目等。
• SyncBlockIndex,用于线程同步,每个对象创建时也包含该附加成员,它指向一块被称为Synchronization Block的内存块,用于管理对象同步,同样占用4个字节的内存空间。
• NextObjPtr,由托管堆维护的一个指针,用于标识下一个新建对象分配时在托管堆中所处的位置。CLR初始化时,NextObjPtr位于托管堆的基地址。
继承本质论
1 //Bird bird创建的是一个对象的引用,而new Bird()是创建Bird对象,分配内存和初始化操作,然后将对象引用赋给bird变量,也就是简历bird和Bird 之间的关联
2 Bird bird = new Bird();
3 //2.从继承的角度来分析CLR在运行时如何执行对象的创建过程
4 //2.1 首先是字段的创建 字段的存储顺序由上到下排列,最高层类的字段排在最前面
5 //2.2方法表的创建是类第一次加载到AppDomain时完成的,在对象创建时只是将其附加成员TypeHandle指向方法列表Loader Heap上的地址,将对象与其动态方法列表相关联起来,因此方法表示先于对象存在的。
6 Chicken ch = new Chicken();
我们一直都在努力坚持原创.......请不要一声不吭,就悄悄拿走。
我原创,你原创,我们的内容世界才会更加精彩!
【所有原创内容版权均属TechTarget,欢迎大家转发分享。但未经授权,严禁任何媒体(平面媒体、网络媒体、自媒体等)以及微信公众号复制、转载、摘编或以其他方式进行使用。】
微信公众号
TechTarget
官方微博
TechTarget中国
相关推荐
-
.NET架构师:函数式语言做领域驱动设计
Scott一位.NET架构师,同时也是掌握函数式编程的作者,他很欣赏函数式编程,对于Scott来说,面向对象编程的那些概念也很恐怖,比如多态、泛型、继承、协变等。
-
软件开发就像炒股 关键看你怎么选股票!
本文作者Paulo Ortins在这里分享了对于选择哪种编程语言作为软件开发工作的起点的话题,并阐述了自己的观点。
-
增进离岸Java开发效率的十个提示
近日,Cygnet Infotech公司发布了一篇博文,谈到了如何增进离岸Java开发的效率。众多的ISV与软件厂商总是在不断寻找能以最低的代价实现其业务目标的解决方案。
-
Visual Studio 2013增强调试功能
Visual Studio 2013包含了若干诊断特性,能够帮助开发人员有效地调试他们的应用程序。