JUC- Happens-Before（多线程的先行发生原则）

在JMM中，如果一个操作执行的结果需要对另一个 操作可见 或者 代码重排序，那么这两个操作之间必须存在happens-before关系

如果java内存模型中所有的有序性都仅靠volatile和synchronized来完成，那么有很多操作都将会变得非常啰嗦，

但是我们在编写java并发代码的时候并没有察觉到这一点

我们没有时时，处处，次次，添加volatile和synchronized,这是因为java语言的JMM原则如下：

有一个“先行发生”（Happens-Before）的原则限制和规矩，

它是判断数据是否存在竞争，线程是否安全的重要手段；依赖这个原则，我们可以通过几条简单的规则一揽子解决并发环境下的两个操作之间是否可能存在冲突的所有问题，而不需要陷入java内存模型苦涩难懂的底层编译原理之中

Happens-Before原则 (理解： 可见和 重排)

如果一个操作Happens-Before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。

两个操作之间存在Happens-Before关系，并不意味着一定要按照Happens-Before原则制定的顺序来执行，

如果重排序之后的执行结果与按照Happens-Before关系来执行的结果一致，那么这种重排序并不非法

HappenBefore的八条规则

1.次序规则

一个线程内，按照代码的顺序，写在前面的操作先发生于写在后面的操作

简单说就是： 第一个操作 x=1(把变量x赋值为1)，那么后面一个操作肯定知道x的值已经是1了

2.锁定规则

一个unlock操作先行发生于后面((这里的后面是指时间上的先后))对同一个锁的lock操作

理解：一定是上一个线程unlock了，下一个线程才能获得锁，进行lock

3.volatile变量规则

对于一个volatile修饰的变量的写操作先行发生于后面对这个变量的读操作，前面的写对后面的读是可见的（这里的后面是指时间上的先后）

4.传递规则

A先于B，B先于C,那么A先于C

5.线程启动规则

Thread对象的start()方法，先行发生于此线程内的每一个动作

思考：代码中 new Thread(() -> {...},"t1").start();   调用了start()方法之后，线程就一定启动吗？ 不一定

答：线程的调度依赖于 底层操作系统 和 CPU的线程切换，这个start()只是告诉我们new好了可运行状态的线程，

可以理解为：start之后处于 就绪状态

6.线程中断规则

对线程interrupt()方法的调用 先行发生于 被中断线程的代码检测到中断事件 的发生

理解：可以通过Thread.interrupted()检测到是否发生中断，

也就是说你需要先调用interrupt()方法设置过中断标志位，我才能检测到中断发生

7.线程终止规则

线程中的所有操作，都先行发生于对此线程的终止检测，我们可以通过Thread::join()方法是否结束、Thread::isAlive()的返回值等手段检测线程是否已经终止执行 （简单粗暴的理解：线程终止发生在最后）

8.对象终结规则

一个对象的初始化完成（构造函数执行结束）先行发生于它的finalize()方法的开始

即：对象没有完成初始化之前，是不能调用finalize()方法的

总结：

在java语言里面，HappenBefore的语义本质上是一种可见性

A Happen-Before B  意味着A发生过的事情对B来说是可见的，无论A事件和B事件是否发生在同一个线程里

JMM的设计分为2部分：

1.面向程序员提供的，也就是happens-before规则，向我们程序员阐述了一个强内存模型，我们只要理解happens-before规则，就可以编写并发安全的程序了

2.针对JVM实现的，尽可能减少对编译器和处理器做约束从而提高性能，JMM在不影响程序执行结果的前提下，对其不做要求，即允许优化重排序。    

案例：

private int value = 0;

public int getValue() {

    return value;

}

public void setValue(int value) {

    this.value = value;

}

假设存在线程A，B；  线程A先（时间上的先后）调用了setValue(1), 

然后线程B调用了同一个对象的getValue(), 那么线程B收到的返回值是什么？

解释：由于是2个线程，没有加锁，没有volatile，所以不满足 HappenBefore的1，2，3，4条规则

修复：把getter/setter方法都定义为synchronized方法

      或者： 把value定义为volitile变量，由于setter方法对value的修改不依赖于value的原值，满足volitile关键字的使用场景