易失性，在 x86 处理器上没有用处

Question

我在某处读到 x86 处理器具有缓存一致性，并且可以在每次写入时跨多个内核同步字段的值。

这是否意味着如果我们计划仅在 x86 处理器上运行，我们可以在不使用 java 中的“易失性”关键字的情况下进行编码？

更新：

好吧，假设我们忽略指令重新排序的问题，我们是否可以假设 x86 处理器上不存在跨内核不可见的非易失性字段的分配问题？

Answer 1

不——易失性关键字不仅仅具有缓存一致性的含义；它还对运行时可以执行和不能执行的操作进行限制，例如延迟构造函数调用。

Answer 2

关于您的更新：不，我们不能。其他线程可以只读取过时的值而不更新变量。还有一个问题：只要能够保证单线程行为正确，JVM 就可以优化代码。

这意味着：

public boolean var = true;
private void test() {
    while (var) {
       // do something without changing var
    }
}

如果愿意的话，可以通过 JIT 优化为 while(true)！

Answer 3

可以同步字段的值和始终同步字段的值之间存在很大差异。如果你有 volatile，x86 可以同步字段，否则它不会也不应该同步。

注意：易失性访问可能比非易失性访问慢 10-30 倍，这是不总是执行易失性访问的一个关键原因。

顺便说一句：您知道有哪些多核、普通 x86 处理器吗？我本以为大多数都是支持 x86 的 x64。

Answer 4

关于 JVM 应如何应对 易失性 有非常精确的规范，如果它选择使用特定于 cpu 的指令来执行此操作，那么对您有好处。

您唯一应该说“我们知道在这个平台上 cpu 的行为就像......”的地方是在本机代码中链接时需要符合 cpu。在所有其他情况下，请写入规范。

请注意，对于编写在多个 cpu 上运行的健壮代码（每个 cpu 都有自己的缓存）来说，易失性关键字非常重要，因为它告诉 JVM 忽略本地缓存并获取官方值，而不是 5 分钟前的缓存值。你通常想要那样。

Answer 5

字节码的写入甚至不必导致机器代码的写入。除非它是易失性写入。

Answer 6

我可以保证 volatile 有一定的用处。我曾经遇到过这样一种情况：一个线程的变量为“null”，而另一个线程的变量具有在该线程中设置的正确值。调试并不好玩。对所有共享字段使用 volatile :)