垃圾收集器在堆中移动数据时引用会更新吗？

Question

我读到 GC（垃圾收集器）出于性能原因在堆中移动数据，我不太明白为什么，因为它是随机存取内存，也许是为了更好的顺序访问，但我想知道堆栈中的引用是否会在这种情况下更新一个移动发生在堆中。但也许偏移地址保持不变，但数据的其他部分被垃圾收集器移动，我不确定。

我认为这个问题与实现细节有关，因为并非所有垃圾收集器都可以执行此类优化，或者他们可能会这样做但不会更新引用（如果这是垃圾收集器实现中的常见做法）。但我想得到一些特定于 CLR（公共语言运行时）垃圾收集器的整体答案。

我还在阅读 Eric Lippert 的“引用不是地址”文章here，下面的段落让我有点困惑：

如果您认为引用实际上是一个不透明的 GC 句柄，那么 很明显，要找到与句柄关联的地址 你必须以某种方式“修复”对象。你必须告诉 GC “直到 进一步注意，不得将带有此句柄的对象移入 内存，因为有人可能有一个指向它的内部指针”。（那里 有多种方法可以做超出本文范围的事情 熨平板。）

听起来对于引用类型，我们不希望移动数据。那么我们在堆中还存储了什么，我们可以移动它们以进行性能优化？也许我们存储在那里的类型信息？顺便说一句，如果您想知道那篇文章是关于什么的，那么 Eric Lippert 正在比较引用和指针，并尝试解释说引用只是地址可能是错误的，即使它是 C# 实现它的方式。

另外，如果我上面的任何假设是错误的，请纠正我。

Answer 1

是的，在垃圾回收期间引用会更新。必然地，当堆被压缩时，对象会被移动。压缩有两个主要目的：

• 它通过更有效地使用处理器的数据缓存使程序更高效。这对现代处理器来说是一个非常非常大的问题，与执行引擎相比，RAM 非常慢，快了两个数量级。当处理器必须等待 RAM 提供变量值时，它可能会因 数百 条指令而停止。
• 它解决了堆遭受的碎片问题。当一个被活体包围的小物体被释放时，就会发生碎片。不能用于其他任何东西的孔，只能用于相同或更小的物体。不利于内存使用效率和处理器效率。请注意 LOH（.NET 中的大对象堆）如何没有被压缩，因此会遇到这种碎片问题。 SO 有很多关于这方面的问题。

尽管有 Eric 的说教，对象引用实际上只是一个地址。指针，与您在 C 或 C++ 程序中使用的指针完全相同。非常有效，必然如此。移动对象后，GC 所要做的就是更新存储在该指针中的地址，指向被移动的对象。 CLR 还允许为对象分配句柄，额外 引用。在 .NET 中作为 GCHandle 类型公开，但仅在 GC 需要帮助确定对象是否应该保持活动状态或不应该被移动时才需要。仅当您与非托管代码互操作时才相关。

不那么简单的是找到那个指针。 CLR 投入巨资以确保能够可靠和高效地完成。这样的指针可以存储在许多不同的地方。更容易找到的是存储在对象字段、静态变量或 GCHandle 中的对象引用。硬指针是存储在处理器堆栈或 CPU 寄存器上的指针。例如，发生在方法参数和局部变量上。

为了实现这一点，CLR 需要提供的一个保证是 GC 始终可以可靠地遍历线程的堆栈。因此它可以找到存储在堆栈帧中的局部变量。然后它需要知道 在哪里 在这样的堆栈帧中查找，这就是 JIT 编译器的工作。当它编译一个方法时，它不仅为该方法生成机器代码，它还构建一个表来描述这些指针的存储位置。您可以在 this post 中找到更多详细信息。

Answer 2

查看C++\CLI In Action，有一节是关于内部指针与固定指针：

C++/CLI 提供了两种指针来解决这个问题。 第一种称为内部指针，由 运行时以反映所指向对象的新位置 每次重新定位对象时。指向的物理地址 内部指针永远不会保持不变，但它总是指向 同一个对象。另一种称为固定指针，它 防止 GC 重新定位对象；换句话说，它固定 对象到 CLR 堆中的特定物理位置。和一些 限制，内部，固定和之间的转换是可能的 本机指针。

由此，您可以得出结论，引用类型确实在堆中移动，并且它们的地址确实发生了变化。在标记和扫描阶段之后，对象在堆内被压缩，因此实际上移动到新地址。 CLR 负责跟踪实际存储位置并使用内部表更新这些内部指针，确保在访问时仍指向对象的有效位置。

这里有一个例子：

ref struct CData
{
    int age;
};

int main()
{
    for(int i=0; i<100000; i++) // ((1))
        gcnew CData();

    CData^ d = gcnew CData();
    d->age = 100;

    interior_ptr<int> pint = &d->age; // ((2))

    printf("%p %d\r\n",pint,*pint);

    for(int i=0; i<100000; i++) // ((3))
        gcnew CData();

    printf("%p %d\r\n",pint,*pint); // ((4))
    return 0;
}

解释如下：

在示例代码中，您创建了 100,000 个孤立的 CData 对象 ((1)) 所以 你可以填满 CLR 堆的很大一部分。然后你创建一个 存储在变量中的 CData 对象和 ((2)) 内部指针 到此 CData 对象的 int 成员年龄。然后你打印出 指针地址以及指向的 int 值。现在， ((3)) 你又创建了 100,000 个孤立的 CData 对象；沿着某处 行，垃圾收集循环发生（孤儿对象 之前创建的 ((1)) 被收集，因为它们没有被引用 任何地方）。请注意，您不使用 GC::Collect 调用，因为那是 不保证强制垃圾收集周期。正如你已经 在垃圾收集算法的讨论中看到 上一章，GC 通过删除孤立对象来释放空间 以便它可以进行进一步的分配。 在代码的末尾（通过 垃圾回收发生的时间），你再次((4))打印 取出指针地址和年龄值。这是我得到的输出 在我的机器上（请注意，地址因机器而异 机器，所以你的输出值不会一样）：

012CB4C8 100
012A13D0 100