2018年深圳建设网站公司,网站推广工具 刷链接,互联网保险和传统保险的区别,装修网十大平台GC的前世与今生虽然本文是以.net作为目标来讲述GC#xff0c;但是GC的概念并非才诞生不久。早在1958年#xff0c;由鼎鼎大名的图林奖得主John McCarthy所实现的Lisp语言就已经提供了GC的功能#xff0c;这是GC的第一次出现。Lisp的程序员认为内存管理太重要了#xff0c;所… GC的前世与今生虽然本文是以.net作为目标来讲述GC但是GC的概念并非才诞生不久。早在1958年由鼎鼎大名的图林奖得主John McCarthy所实现的Lisp语言就已经提供了GC的功能这是GC的第一次出现。Lisp的程序员认为内存管理太重要了所以不能由程序员自己来管理。但后来的日子里Lisp却没有成气候采用内存手动管理的语言占据了上风以C为代表。出于同样的理由不同的人却又不同的看法C程序员认为内存管理太重要了所以不能由系统来管理并且讥笑Lisp程序慢如乌龟的运行速度。的确在那个对每一个Byte都要精心计算的年代GC的速度和对系统资源的大量占用使很多人的无法接受。而后1984年由Dave Ungar开发的Small talk语言第一次采用了Generational garbage collection的技术这个技术在下文中会谈到但是Small talk也没有得到十分广泛的应用。直到20世纪90年代中期GC才以主角的身份登上了历史的舞台这不得不归功于Java的进步今日的GC已非吴下阿蒙。Java采用VMVirtual Machine机制由VM来管理程序的运行当然也包括对GC管理。90年代末期.net出现了.net采用了和Java类似的方法由CLR(Common Language Runtime)来管理。这两大阵营的出现将人们引入了以虚拟平台为基础的开发时代GC也在这个时候越来越得到大众的关注。为什么要使用GC呢也可以说是为什么要使用内存自动管理有下面的几个原因1、提高了软件开发的抽象度2、程序员可以将精力集中在实际的问题上而不用分心来管理内存的问题3、可以使模块的接口更加的清晰减小模块间的偶合4、大大减少了内存人为管理不当所带来的Bug5、使内存管理更加高效。总的说来就是GC可以使程序员可以从复杂的内存问题中摆脱出来从而提高了软件开发的速度、质量和安全性。 什么是GCGC如其名就是垃圾收集当然这里仅就内存而言。Garbage Collector垃圾收集器在不至于混淆的情况下也成为GC以应用程序的root为基础遍历应用程序在Heap上动态分配的所有对象[2]通过识别它们是否被引用来确定哪些对象是已经死亡的哪些仍需要被使用。已经不再被应用程序的root或者别的对象所引用的对象就是已经死亡的对象即所谓的垃圾需要被回收。这就是GC工作的原理。为了实现这个原理GC有多种算法。比较常见的算法有Reference CountingMark SweepCopy Collection等等。目前主流的虚拟系统.net CLRJava VM和Rotor都是采用的Mark Sweep算法。一、Mark-Compact 标记压缩算法 简单把.NET的GC算法看作Mark-Compact算法 阶段1: Mark-Sweep 标记清除阶段 先假设heap中所有对象都可以回收然后找出不能回收的对象给这些对象打上标记最后heap中没有打标记的对象都是可以被回收的 阶段2: Compact 压缩阶段 对象回收之后heap内存空间变得不连续在heap中移动这些对象使他们重新从heap基地址开始连续排列类似于磁盘空间的碎片整理 Heap内存经过回收、压缩之后可以继续采用前面的heap内存分配方法即仅用一个指针记录heap分配的起始地址就可以 主要处理步骤将线程挂起确定roots创建reachable objectsgraph对象回收heap压缩指针修复 可以这样理解rootsheap中对象的引用关系错综复杂交叉引用、循环引用形成复杂的graphroots是CLR在heap之外可以找到的各种入口点。GC搜索roots的地方包括全局对象、静态变量、局部对象、函数调用参数、当前CPU寄存器中的对象指针还有finalizationqueue等。主要可以归为2种类型已经初始化了的静态变量、线程仍在使用的对象stackCPU register Reachable objects指根据对象引用关系从roots出发可以到达的对象。例如当前执行函数的局部变量对象A是一个rootobject他的成员变量引用了对象B则B是一个reachable object。从roots出发可以创建reachable objectsgraph剩余对象即为unreachable可以被回收 指针修复是因为compact过程移动了heap对象对象地址发生变化需要修复所有引用指针包括stack、CPUregister中的指针以及heap中其他对象的引用指针 Debug和release执行模式之间稍有区别release模式下后续代码没有引用的对象是unreachable的而debug模式下需要等到当前函数执行完毕这些对象才会成为unreachable目的是为了调试时跟踪局部对象的内容 传给了COM的托管对象也会成为root并且具有一个引用计数器以兼容COM的内存管理机制引用计数器为0时这些对象才可能成为被回收对象 Pinnedobjects指分配之后不能移动位置的对象例如传递给非托管代码的对象或者使用了fixed关键字GC在指针修复时无法修改非托管代码中的引用指针因此将这些对象移动将发生异常。pinnedobjects会导致heap出现碎片但大部分情况来说传给非托管代码的对象应当在GC时能够被回收掉二、 Generational 分代算法 程序可能使用几百M、几G的内存对这样的内存区域进行GC操作成本很高分代算法具备一定统计学基础对GC的性能改善效果比较明显 将对象按照生命周期分成新的、老的根据统计分布规律所反映的结果可以对新、老区域采用不同的回收策略和算法加强对新区域的回收处理力度争取在较短时间间隔、较小的内存区域内以较低成本将执行路径上大量新近抛弃不再使用的局部对象及时回收掉 分代算法的假设前提条件1、大量新创建的对象生命周期都比较短而较老的对象生命周期会更长2、对部分内存进行回收比基于全部内存的回收操作要快3、新创建的对象之间关联程度通常较强。heap分配的对象是连续的关联度较强有利于提高CPU cache的命中率 .NET将heap分成3个代龄区域: Gen 0、Gen 1、Gen 2 Heap分为3个代龄区域相应的GC有3种方式: # Gen 0 collections, # Gen 1 collections, #Gen 2 collections。如果Gen 0 heap内存达到阀值则触发0代GC0代GC后Gen 0中幸存的对象进入Gen1。如果Gen 1的内存达到阀值则进行1代GC1代GC将Gen 0 heap和Gen 1 heap一起进行回收幸存的对象进入Gen2。2代GC将Gen 0 heap、Gen 1 heap和Gen 2 heap一起回收 Gen 0和Gen 1比较小这两个代龄加起来总是保持在16M左右Gen2的大小由应用程序确定可能达到几G因此0代和1代GC的成本非常低2代GC称为fullGC通常成本很高。粗略的计算0代和1代GC应当能在几毫秒到几十毫秒之间完成Gen 2 heap比较大时fullGC可能需要花费几秒时间。大致上来讲.NET应用运行期间2代、1代和0代GC的频率应当大致为1:10:100。 三、Finalization Queue和Freachable Queue这两个队列和.net对象所提供的Finalize方法有关。这两个队列并不用于存储真正的对象而是存储一组指向对象的指针。当程序中使用了new操作符在Managed Heap上分配空间时GC会对其进行分析如果该对象含有Finalize方法则在Finalization Queue中添加一个指向该对象的指针。在GC被启动以后经过Mark阶段分辨出哪些是垃圾。再在垃圾中搜索如果发现垃圾中有被Finalization Queue中的指针所指向的对象则将这个对象从垃圾中分离出来并将指向它的指针移动到Freachable Queue中。这个过程被称为是对象的复生Resurrection本来死去的对象就这样被救活了。为什么要救活它呢因为这个对象的Finalize方法还没有被执行所以不能让它死去。Freachable Queue平时不做什么事但是一旦里面被添加了指针之后它就会去触发所指对象的Finalize方法执行之后将这个指针从队列中剔除这是对象就可以安静的死去了。.net framework的System.GC类提供了控制Finalize的两个方法ReRegisterForFinalize和SuppressFinalize。前者是请求系统完成对象的Finalize方法后者是请求系统不要完成对象的Finalize方法。ReRegisterForFinalize方法其实就是将指向对象的指针重新添加到Finalization Queue中。这就出现了一个很有趣的现象因为在Finalization Queue中的对象可以复生如果在对象的Finalize方法中调用ReRegisterForFinalize方法这样就形成了一个在堆上永远不会死去的对象像凤凰涅槃一样每次死的时候都可以复生。 托管资源Net中的所有类型都是直接或间接从System.Object类型派生的。CTS中的类型被分成两大类——引用类型reference type又叫托管类型[managed type]分配在内存堆上值类型value type。值类型分配在堆栈上。如图 值类型在栈里先进后出值类型变量的生命有先后顺序这个确保了值类型变量在推出作用域以前会释放资源。比引用类型更简单和高效。堆栈是从高地址往低地址分配内存。 引用类型分配在托管堆(Managed Heap)上声明一个变量在栈上保存当使用new创建对象时会把对象的地址存储在这个变量里。托管堆相反从低地址往高地址分配内存如图.net中超过80%的资源都是托管资源。 非托管资源ApplicationContext,Brush,Component,ComponentDesigner,Container,Context,Cursor,FileStream,Font,Icon,Image,Matrix,Object,OdbcDataReader,OleDBDataReader,Pen,Regex,Socket,StreamWriter,Timer,Tooltip ,文件句柄,GDI资源,数据库连接等等资源。可能在使用的时候很多都没有注意到 .NET的GC机制有这样两个问题首先GC并不是能释放所有的资源。它不能自动释放非托管资源。第二GC并不是实时性的这将会造成系统性能上的瓶颈和不确定性。GC并不是实时性的这会造成系统性能上的瓶颈和不确定性。所以有了IDisposable接口IDisposable接口定义了Dispose方法这个方法用来供程序员显式调用以释放非托管资源。使用using 语句可以简化资源管理。示例/// summary/// 执行SQL语句返回影响的记录数/// /summary/// param nameSQLStringSQL语句/param/// returns影响的记录数/returnspublic static int ExecuteSql(string SQLString){ using (SqlConnection connection new SqlConnection(connectionString)) { using (SqlCommand cmd new SqlCommand(SQLString, connection)) { try { connection.Open(); int rows cmd.ExecuteNonQuery(); return rows; } catch (System.Data.SqlClient.SqlException e) { connection.Close(); throw e; } finally { cmd.Dispose(); connection.Close(); } } }} 当你用Dispose方法释放未托管对象的时候应该调用GC.SuppressFinalize。如果对象正在终结队列(finalization queue),GC.SuppressFinalize会阻止GC调用Finalize方法。因为Finalize方法的调用会牺牲部分性能。如果你的Dispose方法已经对委托管资源作了清理就没必要让GC再调用对象的Finalize方法(MSDN)。附上MSDN的代码大家可以参考.public class BaseResource : IDisposable{ // 指向外部非托管资源 private IntPtr handle; // 此类使用的其它托管资源. private Component Components; // 跟踪是否调用.Dispose方法标识位控制垃圾收集器的行为 private bool disposed false; // 构造函数 public BaseResource() { // Insert appropriate constructor code here. } // 实现接口IDisposable. // 不能声明为虚方法virtual. // 子类不能重写这个方法. public void Dispose() { Dispose(true); // 离开终结队列Finalization queue // 设置对象的阻止终结器代码 // GC.SuppressFinalize(this); } // Dispose(bool disposing) 执行分两种不同的情况. // 如果disposing 等于 true, 方法已经被调用 // 或者间接被用户代码调用. 托管和非托管的代码都能被释放 // 如果disposing 等于false, 方法已经被终结器 finalizer 从内部调用过 //你就不能在引用其他对象只有非托管资源可以被释放。 protected virtual void Dispose(bool disposing) { // 检查Dispose 是否被调用过. if (!this.disposed) { // 如果等于true, 释放所有托管和非托管资源 if (disposing) { // 释放托管资源. Components.Dispose(); } // 释放非托管资源如果disposing为 false, // 只会执行下面的代码. CloseHandle(handle); handle IntPtr.Zero; // 注意这里是非线程安全的. // 在托管资源释放以后可以启动其它线程销毁对象 // 但是在disposed标记设置为true前 // 如果线程安全是必须的客户端必须实现。 } disposed true; } // 使用interop 调用方法 // 清除非托管资源. [System.Runtime.InteropServices.DllImport(Kernel32)] private extern static Boolean CloseHandle(IntPtr handle); // 使用C# 析构函数来实现终结器代码 // 这个只在Dispose方法没被调用的前提下才能调用执行。 // 如果你给基类终结的机会. // 不要给子类提供析构函数. ~BaseResource() { // 不要重复创建清理的代码. // 基于可靠性和可维护性考虑调用Dispose(false) 是最佳的方式 Dispose(false); } // 允许你多次调用Dispose方法, // 但是会抛出异常如果对象已经释放。 // 不论你什么时间处理对象都会核查对象的是否释放, // check to see if it has been disposed. public void DoSomething() { if (this.disposed) { throw new ObjectDisposedException(); } } // 不要设置方法为virtual. // 继承类不允许重写这个方法 public void Close() { // 无参数调用Dispose参数. Dispose(); } public static void Main() { // Insert code here to create // and use a BaseResource object. }} GC.Collect() 方法作用强制进行垃圾回收。GC的方法名称说明Collect()强制对所有代进行即时垃圾回收。Collect(Int32)强制对零代到指定代进行即时垃圾回收。Collect(Int32, GCCollectionMode)强制在 GCCollectionMode 值所指定的时间对零代到指定代进行垃圾回收。GC注意事项1、只管理内存非托管资源如文件句柄GDI资源数据库连接等还需要用户去管理2、循环引用网状结构等的实现会变得简单。GC的标志也压缩算法能有效的检测这些关系并将不再被引用的网状结构整体删除。3、GC通过从程序的根对象开始遍历来检测一个对象是否可被其他对象访问而不是用类似于COM中的引用计数方法。4、GC在一个独立的线程中运行来删除不再被引用的内存5、GC每次运行时会压缩托管堆6、你必须对非托管资源的释放负责。可以通过在类型中定义Finalizer来保证资源得到释放。7、对象的Finalizer被执行的时间是在对象不再被引用后的某个不确定的时间。注意并非和C中一样在对象超出声明周期时立即执行析构函数8、Finalizer的使用有性能上的代价。需要Finalization的对象不会立即被清除而需要先执行Finalizer.Finalizer不是在GC执行的线程被调用。GC把每一个需要执行Finalizer的对象放到一个队列中去然后启动另一个线程来执行所有这些Finalizer.而GC线程继续去删除其他待回收的对象。在下一个GC周期这些执行完Finalizer的对象的内存才会被回收。9、.NET GC使用代(generations)的概念来优化性能。代帮助GC更迅速的识别那些最可能成为垃圾的对象。在上次执行完垃圾回收后新创建的对象为第0代对象。经历了一次GC周期的对象为第1代对象。经历了两次或更多的GC周期的对象为第2代对象。代的作用是为了区分局部变量和需要在应用程序生存周期中一直存活的对象。大部分第0代对象是局部变量。成员变量和全局变量很快变成第1代对象并最终成为第2代对象。10、GC对不同代的对象执行不同的检查策略以优化性能。每个GC周期都会检查第0代对象。大约1/10的GC周期检查第0代和第1代对象。大约1/100的GC周期检查所有的对象。重新思考Finalization的代价需要Finalization的对象可能比不需要Finalization在内存中停留额外9个GC周期。如果此时它还没有被Finalize,就变成第2代对象从而在内存中停留更长时间作者Cat Qi出处http://qixuejia.cnblogs.com/
