Java volatile读取刷新写入，以及volatile写入更新读取吗

Question

我理解读-获取（在它之后不进行后续读/写操作的重新排序）和写-释放（在它之前不进行读/写操作的重新排序）。我的q是：-

1. 在读获取的情况下，它前面的写操作会被刷新吗

另外，在Java中，读获取和volatile读相同，写释放和volatile写相同吗？

为什么这很重要，让我们以写发布为例...

y = x; // a read.. let's say x is 1 at this point
System.out.println(y);// 1 printed
//or you can also consider System.out.println(x);
write_release_barrier();
//somewhere here, some thread sets x = 2
ready = true;// this is volatile
System.out.println(y);// or maybe, println(x).. what will be printed?

在这一点上，x是2还是1？这里，考虑准备好成为挥发性的。我知道挥发性之前的所有商店都将首先可见...然后只有挥发性才会可见。谢谢。

参考：-http://preshing.com/20120913/acquire-and-release-semantics/

Answer 1

不，读取易失性变量不会刷新之前的写入。可见操作将确保之前的操作可见，但读取易失性变量对其他线程不可见。

不，写入易失性变量不会清除缓存中以前读取的值。它只保证刷新以前的写入。

在您的示例中，很明显y在最后一行仍然是1。根据前面的输出，只对y进行了一次赋值，那就是1。也许这是一个打字错误，您的意思是写println（x），但是即使这样，2的值也不能保证是可见的。

Answer 2

Java内存模型没有按照“读取获取”和“写入释放”来指定。这些术语/概念来自其他语境，正如你所引用的文章非常清楚地表明的那样，它们经常被（不同的专家）用来表示不同的东西。

如果你想理解挥发物在Java中是如何工作的，你需要理解Java记忆模型和Java术语...（幸运的是）有充分的依据，并且精确地指定了¹。试图将Java记忆模型映射到“读取-获取”和“写入-释放”语义学是一个坏主意，因为：

>

假设的JMM-

1-...专家们注意到JMM的一些版本存在缺陷。但关键是，已经认真尝试提供理论上合理的规范...作为Java语言规范的一部分。

Answer 3

否：不是所有写入都被刷新，也不是所有读取都被更新。

Java在多线程的“之前发生”基础上工作。基本上，如果A发生在B之前，B发生在C之前，那么A发生在C之前。所以你的问题相当于x=2是否正式发生在某个读x的动作之前。

在边缘基本上通过与JLS 17.4.4中定义的关系同步而建立之前发生。有几种不同的方法可以做到这一点，但对于volatile，它基本上相当于在读取同一volatile之前对volatile进行写入：

• 对易失性变量v（§8.3.1.4）的写入与任何线程对v的所有后续读取同步（其中“后续”根据同步顺序定义）。

有鉴于此，如果线程写入ready=true，那么单独写入并不意味着在它之前发生任何事情（就写入而言）。事实恰恰相反；如果它们读取ready，那么写入ready的操作将先于其他线程上的操作。

因此，如果另一个线程（设置x=2）在设置x=2后已写入ready，而这个线程（您在上面发布的）则读取ready，那么它将看到x=2。这是因为写入发生在读取之前，因此读取线程可以看到写入线程所做的一切（包括写入）。否则，你就有了一场数据竞赛，基本上所有的赌注都输掉了。

还有几点需要注意：

• 如果你没有“发生在之前”的边缘，你仍然可以看到更新；只是你不能保证。所以，不要假设如果你没有读到write toready，那么你仍然会看到x=1。您可能会看到x=1或x=2，或者可能会看到其他写入（包括默认值x=0）