喜欢同步而不是不稳定

Question

我读了这个答案，最后写了以下内容：

任何你可以用易失性来完成的事情都可以用同步来完成，但反之亦然。

不清楚。JLS8.3.1.4定义易失性字段如下：

一个字段可以被声明为易失性的，在这种情况下，Java内存模型确保所有线程看到变量的一致值（§17.4）。

所以，易失性字段是关于内存可见性的。此外，就我引用的答案而言，对不稳定字段的读写是同步的。

同步，进而保证只有一个线程可以访问同步块。据我所知，这与记忆可见度无关。我错过了什么？

Answer 1

如果多个线程写入一个共享的易失性变量，并且它们还需要使用该变量的前一个值，则可能会创建竞争条件。所以在这一点上，你需要使用同步。

... 如果两个线程都在读写一个共享变量，那么仅使用volatile关键字是不够的。在这种情况下，需要使用synchronized来保证变量的读写是原子的。读取或写入可变变量不会阻止线程读取或写入。要实现这一点，必须在关键部分周围使用synchronized关键字。

有关挥发性的详细教程，请参阅“挥发性”并不总是足够的。

Answer 2

Synchronized和volatile是不同的，但通常它们都用于解决相同的常见问题。

同步是确保在给定时间点只有一个线程将访问共享资源。

然而，这些共享资源通常被声明为不稳定的，这是因为，如果一个线程更改了共享资源的值，那么它也必须在另一个线程中更新。但如果没有volatile，运行时只需通过从缓存中读取值来优化代码。所以volatile的作用是，每当任何线程访问volatile时，它都不会从缓存中读取值，而是从实际内存中获取值，并使用相同的值。

正在查看log4j代码，这就是我发现的。

/**
 * Config should be consistent across threads.
 */
protected volatile PrivateConfig config;

Answer 3

事实上，同步也与内存可见性有关，因为JVM在同步块的出口增加了一个内存屏障。这确保了同步块中的线程的写入结果在第一个线程退出同步块后，通过另一个线程的读取保证可见。

注意：在@PaŭloEbermann的评论之后，如果另一个线程通过读内存障碍（例如通过进入同步块），它们的本地缓存不会失效，因此它们可能会读取旧值。

在本文档中，同步块的退出是一个先发生后发生的情况：http://docs.oracle.com/javase/6/docs/api/java/util/concurrent/package-summary.html#MemoryVisibility

寻找这些提取物：

只有在写操作发生在读操作之前，一个线程的写操作的结果才能保证对另一个线程的读操作可见。

而且

监视器的解锁（同步块或方法退出）发生在同一监视器的每个后续锁定（同步块或方法进入）之前。由于“发生在之前”关系是可传递的，因此在解锁之前线程的所有操作都发生在监视的任何线程锁定之后的所有操作之前。