.Net GC机制之回收算法

垃圾回收包括两个步骤：marking、compact。

每个Application都有一些根元素(root)，根元素(root)是指一个存储位置，存储位置保存一个内存指针或者一个对象的引用。

静态域、任何方法参数、本地变量 都可以是root；root只能使Reference Type，不会是Value Type。

 

marking phase

     首先所有的root都被标识位marked；

     如果root元素引用了某个object，则该object被标识位marked；

     此后递归遍历，将marked的对象 引用的 其他的对象也标识位marked；

     如果遇到一个已经被标识位marked的对象则停止递归。

     经过marking phase的mark操作，剩下的unmarked object可以被回收。

 

compact phase

     遍历整个heap，找出连续unmarked object；
     如果unmarked的空间较小，不进行compact操作；
     如果空间较大，需要进行垃圾回收，元素移位。
     元素移位导致所有变量、CPU寄存器中的地址 无效，所以需要重新遍历所有的root，将它们的地址修改为移位后的新地址。这个过程将会导致Application停滞，影响程序性能。