此篇接上一篇的Java面试之volatile关键字。

首先，这是Java语言中的一个“先行发生”(Happens-Before)的原则。是判断数据是否存在竞争，线程是否安全的非常有用的手段，也是Java内存模型中定义的两项操作之间的偏序关系。

其次，Happens-Before是一种可见性的模型。也就是说，在多线程环境下，原本因为指令重排序的存在会导致数据的可见性问题，也就是A线程修改某个共享变量对B线程不可见。

因此，JMM通过Happens-Before关系向开发人员提供跨越线程的内存可见性保证。如果一个操作的执行结果对另一操作可见，那么这两个操作之间必然存在Happens-Before管理。

注意，Happens-Before关系只是描述结果的可见性，并不表示指令执行的先后顺序，也就是说只要不对结果产生影响，仍然允许指令重排序。

最后，在Java内存模型中有一些“天然的”先行发生关系，这些先行发生关系无须任何同步器协助就已经存在，可以在编码中直接使用。

程序顺序规则(Program Order Rule)，在单个线程中，按照程序的顺序，前面的操作Happens-Before于后面的操作。简而言之，如果在代码中操作B出现在操作A之后，那么操作A的结果对操作B是可见的。

监视器锁规则(Monitor Lock Rule)，一个线程对于一个锁的释放锁操作，一定Happens-Before与后续线程对这个锁的加锁操作。

volatile变量规则(Volatile Variable Rule)，对volatile变量的写操作Happens-Before于后续对该变量的读操作。

线程启动规则(Thread Start Ruler)，如果线程A执行操作star()，那么线程A的star()之前的操作Happens-Before线程B中的任意操作。

线程终止规则(Thread Termination Rule)，线程中的所有操作都Happens-Before于对此线程的终止检测，我们可以通过join()方法是否结束、isAlive()的返回值等手段检测线程是否已经终止执行。

线程中断规则(Thread Interruption Rule)，对线程interrupt()方法的调用Happens-Before于被中断线程的代码检测到中断事件的发生，可以通过interrupted()方法检测到是否有中断发生。

对象终结规则(Finalizer Rule)，一个对象的初始化完成(构造函数执行结束)Happens-Before于它的finalize()方法的开始。

传递性(Transitivity)，一个线程中的每个操作，Happens-Before这个线程中的任意后续操作，可以简单认为是as-if-serial。也就是不管怎么重排序，单线程的程序的执行结果不能改变传递性规则，也就是A Happens-Before B，B Happens-Before C，就可以推导出A Happens-Before C。

synchronized和volatile

首先，两者都是Java中用于实现多线程并发的关键字，它们的作用和使用方式有所不同：

synchronized用于实现线程之间的同步和互斥，可以保证同一时间只有一个线程能够访问被synchronized保护的代码块或方法。

synchronized实现的是一种悲观锁机制，即线程在访问共享资源之前需要先获取锁定标志，这种方式可能会导致多个线程之间的竞争和阻塞，影响系统的性能。

volatile用于实现多线程之间的共享变量，可以保证被v修饰的变量在多个线程之间可见性，即一个线程修改了该变量的值，其他线程能够立即看到该变量的最新值。

volatile实现的是一种乐观锁机制，即线程之间不会产生阻塞和竞争，因此性能更好。

因此，synchronized和v适用于不同的场景和需求：

如果需要保证线程之间的同步和互斥，避免多个线程同时访问共享资源导致数据不一致和安全问题，可以使用synchronized。

如果需要实现多线程之间的共享变量，保证变量的可见性和一致性，并且线程之间不需要互斥和同步，可以使用volatile。