c# - 避免 .NET 代码中的 ABA 问题

Question

请注意，我已经知道并了解 ABA problem .这个问题是关于 .NET 内存模型在 ABA 方面的行为。

在他对 Lock-Free LIFO Stack 的讨论中(2007 年 5 月 MSDN 杂志的 CLR Inside Out 专栏)，Joe Duffy 说:

“我们为每个 Push 分配对象，使我们不必担心所谓的 ABA 问题。”

然后他继续非常简要地描述了 ABA 问题，并提到这可能发生在原生 C/C++ 中，因为内存分配器可以在地址被释放后立即重用它。

一切都很好。但是，是什么让 .NET 程序不受 ABA 问题的影响呢？他是在暗示因为不能立即重用节点(即节点超出范围和 GC 收集它之间存在一些延迟)所以不可能发生 ABA 问题？如果是这样，做出这样的断言是否安全？

我将首先承认我不知道 .NET 内存分配器或垃圾收集器的所有复杂之处，但我有限的理解使我相信引用可以重用。如果有可能重用引用，那么这是否会使 ABA 问题成为可能(如果确实极不可能)？

Answer 1

如果线程 1 在内存地址 X 处有一个对象引用，那么根据定义，线程 2 所做的任何事情都不会导致另一个对象使用同一地址。该对象仍然存在，并且它的地址不会被重用，直到没有对它的引用。这保证了——当互锁交换操作返回我们期望的值时——ABA 问题没有发生。