C# bool 是原子的，为什么 volatile 有效

Question

在 C# 中，我们知道 bool 是原子的 - 那么为什么将其标记为 volatile 是有效的？两者有什么区别，什么是好的（甚至实用的）用例？

bool _isPending;

对比

volatile bool _isPending; // Is this realistic, or insanity?

我已经阅读了here 和here，我正在努力确保我完全理解这两者的内部工作原理。我想了解什么时候使用一个与另一个比较合适，或者仅bool 是否足够。

Answer 1

在 C# 中，我们知道 bool 是原子的 - 那么为什么将它标记为 volatile 是有效的呢？两者有什么区别，什么是好的（甚至实用的）用例？

您的问题的假设是您相信volatile 使访问原子化。但是波动性和原子性是完全不同的东西，所以不要把它们混为一谈。

波动性是编译器和运行时被限制进行某些优化的属性，这些优化涉及在时间上相对于彼此向前和向后移动变量的读取和写入，更一般地，关于其他重要事件，例如启动和停止线程、运行构造函数等。请参阅 C# 规范，了解有关可见副作用如何重新排序操作的详细列表。

原子性是特定操作只能被观察为未开始或完全完成的属性，并且永远不会“半途而废”。

从定义中可以看出，这两件事彼此之间没有任何关系任何。

在 C# 中，所有对大小为 4 或更小的引用、布尔值和整数类型的访问都保证是原子的。

现在，在 C# 中，原子性和易失性之间存在一些轻微的非正交性，因为只有原子类型的字段可能被标记为易失性。例如，您不能制作 volatile double。说“我们将限制如何优化读写但仍然允许撕裂”真的很奇怪和危险。由于波动性不会导致原子性，因此您不想让用户仅仅因为它也是可变的，就认为操作是原子的。

您应该阅读我的系列文章，这些文章更详细地解释了这些事物之间的区别，以及 volatile 的实际作用，以及为什么您对安全使用它的理解还不够。

https://ericlippert.com/2011/05/26/atomicity-volatility-and-immutability-are-different-part-one/

https://ericlippert.com/2011/05/31/atomicity-volatility-and-immutability-are-different-part-two/

https://ericlippert.com/2011/06/16/atomicity-volatility-and-immutability-are-different-part-three/

https://web.archive.org/web/20160323025740/http://blog.coverity.com/2014/03/12/can-skip-lock-reading-integer/

如果您在阅读完所有内容后认为您了解波动性，我邀请您尝试解决我在这里提出的难题：

https://web.archive.org/web/20160729162225/http://blog.coverity.com/2014/03/26/reordering-optimizations/

Answer 2

如果前面或后续代码中的变量有更新，并且更新发生的顺序很关键，那么将该字段标记为 volatile 将确保对该字段的更新将在任何先前的更新之后和之前发生任何后续更新。

换句话说，如果_isPending 是volatile，那么编译器不会导致这些指令以不同的顺序执行：

_someVariable = 10;
_isPending = true;
_someOtherVariable = 5;

无论是否是多线程的，如果我们编写的代码会根据相邻行中的这些更新是否以指定的顺序发生而中断，那么就有问题了。我们应该问为什么这个顺序很重要。 （如果有一个重要的场景，想象一下尝试在评论中解释它，以便没有人对代码进行重大更改。）

对于几乎所有阅读上述代码的人来说，这些操作的顺序似乎根本不重要。如果它们确实重要，那意味着阅读我们代码的其他人可能无法理解发生了什么。他们可以进行一些重构，重新排序这些代码行，并在不知不觉中破坏一切。它甚至可能在他们对其进行测试时工作，然后在部署时出现不可预测且不一致的失败。

我同意您链接的答案中的Eric Lippert's comment：

坦率地说，我不鼓励你创建一个不稳定的字段。易挥发的 字段表明你正在做一些非常疯狂的事情：你是 试图在两个不同的线程上读取和写入相同的值 没有锁到位。

---

我想我没有直接回答方向。 volatile 对一个类型（包括bool）有效，因为可以对该类型执行原子操作。 volatile 防止编译器优化。根据volatile 的文档，

这确保了最新的值出现在字段中 任何时候。

但如果该字段不能以 32 位或更少位表示，那么阻止编译器优化也无法保证这一点。