java - 使用 volatile 关键字时出现内存一致性错误的示例？

Question

来自文档:

Using volatile variables reduces the risk of memory consistency errors

但这意味着有时 volatile 变量不能正常工作？奇怪的是如何使用它 - 在我看来，这是非常糟糕的代码，有时工作有时不工作。我尝试谷歌，但没有找到 volatile 的示例内存一致性错误。你能推荐一个吗？

Answer 1

问题不在于 volatile 工作不可靠。它总是按应有的方式工作。问题是它应该工作的方式有时不足以进行并发控制。如果在错误的情况下使用 volatile，仍然会出现内存一致性错误。

volatile 变量将始终将任何写入传播到所有线程。但是，假设您需要在各个线程之间增加变量。这样做^(*):

volatile int mCounter;

// later, in some code that might be executed simultaneously on multiple threads:
mCounter++;

有可能会错过计数器增量。这是因为 mCounter 的值需要先由每个线程读取，然后才能写入新值。在这两个步骤之间，另一个线程可能更改了 mCounter 的值。在这种情况下，您需要依靠 synchronized block 而不是 volatile 来确保数据完整性。

有关 volatile 与 synchronized 的更多信息，我推荐文章 Managing volatility布赖恩·戈茨(Brian Goetz)

^(*) 我意识到使用 AtomicInteger 会更好地实现上述内容；这是一个人为的例子来说明一个观点。