楔子
今天你躺平了吗？生活是如此的无趣，欢迎大家一起来躺平
前言：
很多书籍或者很多文章，对于CLR或者GC这块只限于长篇大论的理论性概念，对于里面的如何运作模式，却几乎一无所知。高达近百万行的CPP文件，毕竟读懂的没有几个。以下取自CLR.Net 6 PreView版本
分配量超过阈值
GC触发里面有一个GC被触发的条件是，分配的内存块超过阈值。这个阈值是在Generation代里面的static_data里面的存储的固定数值。当你分配的内存块超过这个阈值的时候，就会触发GC进行垃圾回收。来看看这个阈值动态加载和超过阈值触发GC垃圾回收之后，重新计算阈值的算法。
初始化
在CLR启动的时候，会初始化Generation的静态数据，此时会填充阈值。
Generation的部分静态数据结构：
struct static_data
{
size_t min_size; 阈值的下限
size_t max_size; 阈值的上限
size_t fragmentation_limit; 碎片空间的上限
float fragmentation_burden_limit; 碎片空间百分比的上限
float limit; 限度的下限
float max_limit; 限度的上限
uint64_t time_clock;
size_t gc_clock;
};
下面是GC定义的初始化参数数值，以上面的结构参考下面:
static static_data static_data_table[latency_level_last - latency_level_first + 1][total_generation_count] =
{
{
// gen0
{0, 0, 40000, 0.5f, 9.0f, 20.0f, (1000 * 1000), 1},
// gen1
{160*1024, 0, 80000, 0.5f, 2.0f, 7.0f, (10 * 1000 * 1000), 10},
// gen2
{256*1024, SSIZE_T_MAX, 200000, 0.25f, 1.2f, 1.8f, (100 * 1000 * 1000), 100},
// loh
{3*1024*1024, SSIZE_T_MAX, 0, 0.0f, 1.25f, 4.5f, 0, 0},
// poh
{3*1024*1024, SSIZE_T_MAX, 0, 0.0f, 1.25f, 4.5f, 0, 0},
}
}
直接套用：
0代： 阈值下限0，无限制，限度下限9，限度上限20
1代： 阈值下限160kb,无限制，限度下限2，限度上限7
2代: 阈值下限256kb,无限制，限度下限1.2，限度上限1.6
这是最初始化的值，什么意思呢？简而言之，就是CLR在加载此初始化的值的之后，进行了动态的分配的阈值的上下限。也就是说实际上GC的阈值和这里面表明的静态数值有差别。
下面计算均为函数init_static_data里面
0代阈值的下限动态计算方式（以工作站模式为例）：
1.通过gc的配置文件（gcconfig）来获取配置文件里面配置的值，如果获取此值失败则跳转到第二步
2.通过windows API GetLogicalProcessorInformation获取到你当前电脑处理器最大的缓存值。
3.下面就是GC第0代阈值的算法了
0代阈值下限= = max((4*你当前电脑处理器最大缓存值/5),(256*1024))
你当前电脑处理器最大缓存值 = max(你当前电脑处理器最大缓存值, (256*1024))
while(如果0代阈值下限*处理器个数>你当前堆分配物理内存总大小/6)
{
0代阈值下限 = 0代阈值下限/2
if(0代阈值下限 <=你当前电脑处理器最大缓存值 )
{
0代阈值下限 = 你当前电脑处理器最大缓存值
}
}
if( 0代阈值下限 > = 小对象堆段(SOH）/2)
{
0代阈值下限 = 小对象堆段(SOH）/2
}
0代阈值下限 = 0代阈值下限 / 8 * 5;// 到了这里才是最终第0代阈值的下限，而非上面generaton的静态数据static_data_table里面的下限阈值为0.
第0代阈值的上限呢？（此处同时看下服务器模式和工作站模式）
服务器模式0代阈值上限的算法：
0代阈值上限=max (6*1024*1024, min ( Align(soh_segment_size/2), 200*1024*1024))
工作站模式0代阈值上限的算法
0代阈值上限= max (0代阈值的下限,0代阈值的上限)
0代阈值上限 = Align (0代阈值的下限)
第1代阈值的上限（服务器模式和工作站模式）
第1代阈值的下限是160kb，那么上限呢？
服务器模式1代阈值的上限=max (6*1024*1024, Align(小对象堆的大小/2));
工作站模式1代阈值的上限=gen1_max_size = Align (服务器模式1代阈值的上限/0)
阈值上限的重新计算
当阈值上限的剩余空间不足以容纳当前CLR分配的内存块的时候，就造成了GC。GC之后，就会重新计算这个阈值的上限。这里是算法
if(GC开始前存活的对象为0)
{
阈值的上限 = 当前代的阈值下限
}
else
{
if(当前代 >= 第二代)
{
cst = min (1.0f, float (GC之后活着的对象大小) / float (GC之前活着对象大小));
if(cst<((限度的上限-限度的下限)/(限度的下限*（限度的上限 - 1.0f)))
{
限度= ((限度的下限 - 限度的下限* cst）/ (1.0f - (cst * 限度的下限)))
}
else
限度 = 限度的上限
size_t max_growth_size = (限度的上限 / 限度)
if（ 当前代的大小 > = max_growth_size）
新分配量= 阈值的上限
else
{
新分配量 = (size_t) min (max ( (限度 * 当前代的大小), gc的最小值), 限度的上限);
限度的上限 = max((新分配量 - 当前代的大小),gc的最小值);
}
}
else //如果是第二代以内的GC
{
cst = GC后活着的对象大小/ GC前活着对象大小
if (cst < ((限度的上限 - 限度的下限) / (限度的下限 * (限度的上限-1.0f))))
限度= ((限度的下限 - 限度的上限*cst) / (1.0f - (cst * 限度的下限)));
else
限度= 限度的上限;
阈值的上限=min (max ((f * (GC后活着对象的大小)), 限度的下限), 限度的上限);
}
}
折叠 由于这个过程过于复杂，中间很多细节。但是大体都是这样。
以上参考如下：
https://github.com/dotnet/runtime/tree/main/src/coreclr/gc
微信公众号：jianghupt QQ群:676817308