看了几篇博客关于重排序的博客，记录一下关于happens-before的知识点
happens-before
八大原则
- 程序次序法则： 线程中的每个动作A都happens-before于该线程的每一个动作B
- 监视器锁法则： 对一个监视器的解锁都happens-before于每一个后续对同一监视器的加锁
- volatile变量法则： 对volatile域的写入操作都happens-before于每一个后续对同一个域的读写操作
- 线程启动法则： 在一个线程里，对Thread.start的调用会happens-before于每个线程的启动的动作
- 线程终结法则： 线程中的任何动作都happens-before于其他线程检测到这个线程已经终结、或者从Thread.join调用中成功返回，或Thread.isAlive返回false。
- 中断法则： 一个线程调用另一个线程的中断都happens-before于被中断线程发现中断
- 终结法则： 一个对象的构造函数的结束happens-before于这个对象的finalizer的开始
- 传递性： 如果A happens-before B，B happens-before C，那么A happens-before C