目录
Java Happens-Before原则
Happens-Before原则核心就是表达在一些条件下，前面的操作对于后面的操作是可见的。它有六个条件，或者说是六条原则。
一、线程中的顺序性原则
这个最容易理解，这个原则是指在同一个线程中，按照程序的顺序，前面的操作Happens-Before后面的操作。也就说在同一个线程中，前面先修改的数据，对于后面的操作是可见的。下面举例说明：
| int a = 1; | |
| if(a == 1){ | |
| } |
上面代码中第一行对变量a进行的修改Happens-Before第二行查询a的操作，所以第二行a == 1为true。
二、volatile变量原则
这个原则是指在对于用volatile修饰的变量，它的写操作Happens-Before后续对它的读操作。这个原则就是说在一个线程中先对volatile变量进行了修改后，在另一个线程中读取该volatile变量能够读到新值（因为CPU缓存的存在，可能在一个线程中修改了普通变量，另一个线程无法感知）。当然如果在同一个线程中，就可以直接使用原则一了。
| volatile int a = 1; | |
| // 线程A | |
| a = 2; | |
| // 线程B | |
| if(a == 2){ | |
| } |
上面代码中，假设有两个线程并发执行，线程A先对a进行赋值操作（第四行），然后线程B立刻读取a（第七行），此时能够保证读取的a一定是2。
三、传递性
这个原则是指Happens-Before原则是可以传递的，指如果A Happens-Before B，且B Happens-Before C，那么A Happens-Before C。
| volatile boolean a = false; | |
| int b = 1; | |
| // 线程A | |
| b = 2; | |
| a = true; | |
| // 线程B | |
| if(a){ | |
| System.out.println(b); | |
| } | |
上面代码中，线程A先对b进行赋值，然后对a进行赋值，然后线程B读取a后，然后执行打印b的值（根据原则二a一定为true），b的值一定为2。因为根据原则一，对b赋值Happens-Before对a赋值，再根据原则二，对a的赋值Happens-Before对a的读取，最后再根据原则三，对b的赋值Happens-Before对b的读取的，所以b一定为2。
四、管程中锁的原则
这个原则是指对同一个锁的解锁Happens-Before后续对这个锁的加锁。
| int a = 1; | |
| // 线程执行 | |
| synchronized (this){ | |
| if(a == 1){ | |
| a = 2; | |
| } | |
| } |
上面代码中，线程A先对a进行赋值，然后解锁，线程B再加锁后，此时读到的a一定为2。
五、线程start原则
这条原则是关于线程启动的。它是指主线程A启动子线程B后，子线程B能够看到主线程在启动子线程B前的操作。也就是说如果线程A调用线程B的 start() 方法（即在线程A中启动线程B），那么该start()操作 Happens-Before 于线程B中的任意操作。
| int a = 1; | |
| Thread B = new Thread(() -> { | |
| // 读取a | |
| }); | |
| a = 2; // 假设能修改 | |
| B.start(); |
上面代码中，线程A先对a进行赋值，然后再启动线程B，所以线程B如果能够读取a的话（当然int类型，java中是不允许的），那么a一定为2。
六、线程join原则
这条是关于线程等待的。它是指主线程A等待子线程B完成（主线程A通过调用子线程B的join()方法实现），当子线程B完成后（主线程A中join()方法返回），主线程能够看到子线程的操作。
| int a = 1; | |
| Thread B = new Thread(() -> { | |
| // 修改a | |
| a = 2; // 假设能修改 | |
| }); | |
| B.start(); | |
| B.join(); | |
| // 读取a | |
上面代码中，读到的a一定为2。也就是说线程B中的操作对于B.join()后面的操作都是可见的。