你知道指令重排以及happens-before原则是什么吗？

指令重排：编译器优化后导致指令执行顺序和代码顺序不一致。

为了解决多线程的可见性问题，就搞出了happens-before原则，让线程之间遵守这些原则。即前一个操作的结果可以被后续的操作获取。

有6个常用原则：

程序顺序规则 (as-if-serial语义)：排序不能改变程序的执行结果，指令存在依赖关系,是不允许重排序

传递性规则：a happens-before b;b happens-before c;则a happens-before c

volatile变量规则：volatile 修饰的变量的写操作，一定happens-before后续对于同一个volatile变量的读操作。

监视器锁monitor lock规则：同一个锁实例上释放锁对后续线程锁申请一定可见

线程启动start规则：被启动线程之前的操作一定对被启动线程可见

线程终止join规则；join之前操作(含执行join的线程的操作)对之后代码可见