Java虚拟机-happens-before规则

1.happens-before规则

       Happen-before是用来指定两个操作之间的执行顺序，提供跨线程的内存可见性。在Java内存模型中，如果一个操作执行的结果需要对另一个操作可见，那么这两个操作之间必然存在happen-before关系。Happen-before规则如下：程序顺序规则、监视锁规则、volatile变量规则、传递性、Start规则、Join规则。

2.程序顺序规则

单个线程中的每个操作，总是前一个操作happens-before于该线程中的任意后续操作。

public class Demo {
    public static void main(String[] args) {
        int a = 1; //1
        int b = a; //2
        int c = a + b; //3
        System.out.println(c);//4
    }
}

       1happens-before2，2happens-before3，3happens-before4。注意是前一个操作happens-before于后续操作，但不是指执行顺序而是指内存可见性，执行顺序有可能被重排序，导致后续代码比前面的代码先执行。

3.监视器规则

  对一个锁的解锁，总是happens-before于随后对这个锁的加锁。

public class Demo {

    private Lock lock = new ReentrantLock();

    public void a() {
        lock.lock();
        System.out.println("a");
        lock.unlock(); //1
    }

    public void b() {
        lock.lock(); //2
        System.out.println("b");
        lock.unlock();
    }
}

1happens-before2。

4.volatile变量规则

对一volatile域的读写，happens-before于任意后续对这个volatile域的读。

public class Demo1 {

    private volatile int value = 0;

    public void a() {
        value = 2; //1
    }

    public void b() {
        int c = value; //2
    }
}
1happens-before2。

5.传递性规则

A happens-before B B happens-before C 则 A happens-before C。

public class Demo {
    public static void main(String[] args) {
        int a = 1; //1
        int b = a; //2
        int c = a + b; //3
        System.out.println(c);//4
    }
}

1happens-before2，2happens-before3，得知1happens-before3。

6.start规则

在A线程中调用B线程，A线程中的代码happens-beforeB线程中的代码。

public class Demo {

    private volatile int value = 0;

    public void a() {
        System.out.println("a"); //1
        new Thread(new Runnable() {
            @Override
            public void run() {
                System.out.println("c");// 2
            }
        }).start();
    }
}

1happens-before2。

7.join规则

Join的线程happens-before于被加塞的线程。

public class Demo {

    private volatile int value = 0;

    public void a() throws InterruptedException {
        new Thread(new Runnable() {
            @Override
            public void run() {
                System.out.println("c");// 1
            }
        }).join();
        System.out.println("a"); //2
    }

}

1happens-before2。