共享变量可见性

可见性：多线程环境下，一个线程修改共享变量，能够及时被其他线程所感知
共享变量：一个变量在多个线程的工作内存都存在副本，这个变量就是共享变量


线程对共享变量的操作只能在自己的工作内存中进行，不能主内存中操作
不同线程之间无法访问其他线程工作内存中的变量，线程间变量值的传递通过主内存完成


共享变量的可见性实现原理：线程1修改共享变量后，立刻更新主内存，然后线程2立刻从主内存把值更新到线程2的工作内存


synchronized实现可见性：
加锁时，清空工作内存中共享变量的值，从主内存读取最新的值。
解锁前，将工作内存中共享变量的值更新到主内存中


指令重排序：代码书写顺序与实际执行顺序不同，指令重排序是编译器或处理器为了提高执行效率做的优化
编译器优化的指令重排序、指令并行的重排序、内存系统的重排序


as-if-serial：无论如何重排序，程序执行的结果与代码顺序执行的结果一致


volatile实现可见性原理：通过加入内存屏障和禁止重排序实现，对volatile变量读操作，会在操作前加一个load屏障指令；写操作后，加上一个store指令


synchronized和volatile比较
synchronized需要加锁，volatile不需要加锁，volatile不会阻塞线程执行效率高
synchronized保证可见性和原子操作，volatile保证可见性和不保证原子操作