关于 volatile 和 synchronized答案

【问题标题】：Concerning volatile and synchronized关于 volatile 和 synchronized
【发布时间】：2013-10-02 13:31:48
【问题描述】：

在阅读了一堆关于这个主题的问题/文章后，我还有一件事不清楚。

据我了解（如果我错了，请纠正我）是一个变量的值可以在本地缓存到一个线程，所以如果一个线程更新该变量的值，这个变化可能对另一个不可见线。然后使用volatile 本质上是强制所有线程从同一位置读取变量的值。此外，有关该主题的所有文献都指出，对该变量进行同步将具有相同的效果。

我的问题是，我读过的任何内容都没有明确指出在不同变量上同步会导致相同的行为，但经常提供代码示例说明在以下两种情况下，从变量中读取将是最新的：

volatile int x;
...
int y = x;

和

final Object lock = new Object();
int x;
...
synchronized(lock) {
    int y = x;
}

那么问题来了：对任意变量进行同步是否会强制同步块中的每个变量访问都访问该变量的最新值？

【问题讨论】：

【解决方案1】：

在任何情况下同步任意变量将强制每个变量访问同步块以访问该块的最新值变量？

只要该变量的写入是在同一个变量的同步下完成的，您就可以对任何变量进行同步读取。

在您的示例中，只要发生类似以下情况，那么在写入 x 之前发生的所有写入将在后续读取后可见：

synchronized(lock){
   x = 10;
}

所以到你之前的观点：

...我读过的任何内容都没有明确指出在不同的设备上同步变量将导致同样的行为...

那是因为它不提供相同的行为。发生之前的关系在少数情况下发生，在您的情况下，两个重要的是

【讨论】：

【解决方案2】：

有一篇启发性的文章here 被提及：

在 Java 内存模型中，volatile 字段在写入之后插入了一个存储屏障和一个加载屏障插入 在阅读之前。 ...

请注意，没有特定于正在访问的字段。这意味着访问 any 易失性字段会为所有缓存变量生成障碍。

同步具有类似的功能。

【讨论】：