Java内存模型中的happens-before

一、happens-before的定义

①如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，且第一个操作的执行顺序在第二个操作之前

②两个操作之间存在happens-before关系，并不意味着必须按照happens-before关系指定的顺序来执行。如果重排序之后的执行结果，与按happens-before关系来执行的结果一致，这种重排序是合法的。

二、happens-before规则

①程序次序规则：在一个线程中，书写在前面的操作happens-before书写在后面的操作

②管程锁定规则：一个unlock的操作happens-before后面对于同一个锁的lock操作

③volatile变量规则：对一个volatile变量的写操作happens-before后面对这个变量的读操作

④线程启动规则：Thread对象的start方法happens-before此线程的每一个操作

⑤线程终止规则：线程中的所有操作都happens-before对于此线程的终止检测，可以通过Thread.join方法结束或者Thread.isAlive的返回值来检测线程是否终止执行

⑥线程中断规则:对线程interrupt方法的调用happens-before与被中断线程的代码检测到中断事件的发生

⑦对象终结规则：一个对象的初始化完成（构造方法执行结束）happens-before与它的finalize方法的开始

⑧传递性：如果操作A happens-before 操作B，操作B happens-before 操作C，那么操作A happens-before 操作C

    private int i=0;

    private void wirte(int j){
        i = j;
    }

    public int read(){
        return i;
    }

如果线程A执行wirte方法，线程B执行read方法，那么线程B看到的值是什么呢

我们可以看到，这段代码，不满足happens-before规则，这样线程A优先于线程B执行，但是线程B不知道取得什么值，所以这段代码是线程不安全的。

如果要改进，我们只需要满足happens-before规则就可以了

我们可以用volatile修饰变量i，这样就OK了。