40、垃圾回收机制：深入理解分配预算与代大小的关系

垃圾回收机制：深入理解分配预算与代大小的关系

1. 计算当前代大小的方法

在垃圾回收（GC）的实现中，计算当前代大小是一个重要的操作。以下是 CoreCLR 源代码中计算当前代大小的方法：

size_t gc_heap::current_generation_size (int gen_number)
{
    dynamic_data* dd = dynamic_data_of (gen_number);
    size_t gen_size = (dd_current_size (dd) + dd_desired_allocation (dd)
                        - dd_new_allocation (dd));
    return gen_size;
}

这个方法接收一个代编号作为参数，通过动态数据计算当前代的大小。不过，有一个问题可能会让细心的读者感到疑惑：新分配是如何随着每个对象的分配而更新的呢？实际上，新分配仅在分配上下文的创建或增长时才会减少，分配上下文是 GC 分配的内存单元。

2. 理解分配预算的场景分析

为了更好地理解分配预算对 GC 工作的影响，以及它与代大小的关系，我们来看一个具体的场景。

2.1 示例程序

以下是一个简单的 C# 程序，它在循环中分配一百万个字节数组，并将它们的引用存储在一个额外的数组中，确保所有对象在应用程序的整个生命周期内都是可达的：

static void