.NET GC 精要(二)

向右看齐 2023-07-02 03:23 6阅读 0赞

> 本文讲述了 .NET GC 的一些细节知识,内容大部分来自于书籍 [Under the Hood of .NET Memory Management][]  
> (注:本文假设你了解 .NET 的基础知识,譬如值类型,引用类型等)

#### 进阶 ####

[之前][Link 1]我们讲述 SOH(Small Object Heap) 时提过其会执行内存压缩过程,但如果程序中存在大量的(小)对象的话,在 SOH 中完整执行一遍内存压缩也会消耗不少的时间;再者在一般的程序运行过程中,大部分对象其实都属于临时对象,创建使用之后便不再被引用了(我们应该及时清理这些对象),而另外那些非临时对象,往往被引用的时间又都很长(我们不需要每次 GC 都去遍历标记他们).

基于此, .NET 又将 SOH 中存储的对象进行了分代处理,用于进一步优化 GC 性能:

*  Generation 0 (Gen 0): 未经历过 GC 检查的对象(新创建对象)
 *  Generation 1 (Gen 1): 经历过 1 次 GC 检查并未被清理的对象
 *  Generation 2 (Gen 2): 经历过大于等于 2 次 GC 检查并未被清理的对象

以下是一张相关示意图:

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Rrb2tvZjE_size_16_color_FFFFFF_t_70]

GC 流程大概会在以下条件达成时自动触发执行:

*  每个分代达到各自不同的内存大小阈值:
    
     *  Gen 0 达到 ~256 K (GC 会进行 Gen 0 回收)
     *  Gen 1 达到 ~2 MB (GC 会进行 Gen 1 回收)
     *  Gen 2 达到 ~10 MB (GC 会进行 Gen 2 回收)
 *  GC.Collect() 被调用(GC 会进行 Gen 2 回收)
 *  OS(操作系统)发送了 low memory(内存不足) 通知(GC 会进行 Gen 2 回收)

当然,上面提及的各个分代阈值都只是初始值, .NET 也会根据程序的运行状况动态进行调整.

每个分代的 GC 流程也有不少区别,我们依次来看:

##### Gen 0 回收 #####

GC 对 Gen 0 区域中的对象进行遍历标记,然后将标记(被引用)的对象移入 Gen 1 分代的存储区域(该对象变为了 Gen 1 对象),对未标记的对象则执行清理操作,最后,Gen 0 区域总是会被清空.

拿上面的示意图举例,经过 Gen 0 回收之后, SOH 内存分布如下所示:

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Rrb2tvZjE_size_16_color_FFFFFF_t_70 1]

(Object Y 从 Gen 0 变为了 Gen 1, Object Z 被清理, Gen 0 区域整体被清空)

##### Gen 1 回收 #####

GC 对 Gen 0 区域和 Gen 1 区域中的对象进行遍历标记,然后将标记对象移入对应的 Gen 1 和 Gen 2 区域,接着执行相关的内存压缩过程,自然 Gen 0 区域最后也会被清空.

仍然拿最初的示意图举例,经过 Gen 1 回收之后, SOH 内存分布如下所示:

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Rrb2tvZjE_size_16_color_FFFFFF_t_70 2]

(Object Y 从 Gen 0 变为了 Gen 1, Object Z 被清理, Gen 0 区域整体被清空, Object X 变为了 Gen 2)

##### Gen 2 回收 #####

经过 Gen 0 回收 和 Gen 1 回收的讲述, Gen 2 回收的流程就可以直接类比了,在此不再赘述(当然, Gen 2 中被标记的对象不会再移入别处,仍然保持在 Gen 2 区域中)

依旧拿最初的示意图举例,经过 Gen 2 回收之后, SOH 内存分布如下所示:

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Rrb2tvZjE_size_16_color_FFFFFF_t_70 3]

(Object Y 从 Gen 0 变为了 Gen 1, Object Z 被清理, Gen 0 区域整体被清空, Object X 变为了 Gen 2, Object W 被清理)

> 未完待续(to be continued)

[Under the Hood of .NET Memory Management]: https://www.amazon.com/Under-Hood-NET-Memory-Management/dp/1906434751
[Link 1]: https://blog.csdn.net/tkokof1/article/details/104070739
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Rrb2tvZjE_size_16_color_FFFFFF_t_70]: https://img-blog.csdnimg.cn/20200125120715369.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Rrb2tvZjE=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Rrb2tvZjE_size_16_color_FFFFFF_t_70 1]: https://img-blog.csdnimg.cn/20200125120734554.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Rrb2tvZjE=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Rrb2tvZjE_size_16_color_FFFFFF_t_70 2]: https://img-blog.csdnimg.cn/20200125120737940.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Rrb2tvZjE=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Rrb2tvZjE_size_16_color_FFFFFF_t_70 3]: https://img-blog.csdnimg.cn/20200125120755851.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3Rrb2tvZjE=,size_16,color_FFFFFF,t_70