JVM高效并发 理解Java内存模型概念（2）

原子性、可见性与有序性

1. 原子性（Atomicity)

synchronized块之间的操作具备原子性

2. 可见性（Visibility）

可见性就是指一个线程修改了共享变量的值时，其他线程能够立即得知这个修改。

volatile的特殊规则保证了新值能立即同步到主存，以及每次使用前立即从主存刷新。保证了多线程操作时变量的可见性。

synchronized与final也能保证可见性。synchronized同步块在执行unlock之前，必须把此变量同步回主存中，而final修饰的字段在构造器中一旦被初始化完成，并且构造器没有把“this”引用传递出去，那么在其它现车个闹钟功能就能看见final字段的值

3. 有序性（Ordering）

有序性是指线程内所有操作有序，如果一个线程观察另一个线程所有操作无序

volatile和synchronized两个关键字保证了线程之间操作的有序性，volatile关键字本身包含禁止指令重排的语义，而synchronized则是由“一个变量在同一时刻只允许一条线程对其进行lock操作”这条规则获得的，这条规则决定了持有同一个锁的两个同步块只能串行的进入。

先行发生原则（Happens-Before）

先行发生是Java内存模型中定义的两项操作之间的偏序关系，比如说操作A先行发生于操作B，其实就是说在发生操作B之前，操作A产生的影响能被操作B观察到，“影响”包括了修改内存中共享变量的值、发送了消息、调用了方法等。

“天然的”先行发生关系——无需任何同步器协助

• 程序次序规则（Program Order Rule）：在一个线程内，按照控制流顺序，书写在前面的操作先行发生于书写在后面的操作（注意：控制流顺序不等于程序代码顺序）

• 管程锁定规则（Monitor Lock Rule）：一个unlock操作先行发生于后面对同一个锁的lock操作。（注意：是同一个锁）

• volatile变量规则（Volatile Variable Rule）：对一个volatile变量的写操作先行发生于后面对这个变量的读操作。

• 线程启动规则（Thread Start Rule）：Thread对象的start()方法先行发生于此线程的每一个动作

• 线程终止规则（Thread Termination Rule）：线程中的所有操作都先行发生于对此线程的终止检测，可以通过Thread：：join()方法是否结束、Thread::isAlive()的返回值等手段检测线程是否已经终止执行。

• 线程中断规则（Thread Interruption Rule）：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生，可以通过Thread::interrupted()方法检测到是否有中断发生。

• 对象终结规则（Finalizer Rule）：一个对象的初始化完成（构造函数执行结束）先行发生于它的finalize()方法的开始。

• 传递性（Transitivity）:如果操作A先行发生于操作B，操作B先行发生于操作C，那就可以得出操作A先行发生于操作C的结论。

结论：时间先后顺序与先行发生原则之间基本没有因果关系。因此在衡量并发安全问题时要以先行发生原则为准