java虚拟机（九）内存模型JMM

基于白嫖黑马程序员B站视频：java中级程序员必会的教程，解密JVM【黑马程序员出品】

1 java内存模型

Java Memory Model（JMM），更多关注的是多线程相关的内容；JMM定义了一套在多线程读写共享数据时（成员变量、数组），对数据的可见性、有序性和原子性的规则和保障；

2 可见性

JIT有时候会优化程序，把主存中的共享变量缓存到工作内存中的高速缓存，但是这样的话，对于缓存中变量的修改，就不会更新到主存的，导致修改不可见；
解决方式就是：volatile保证多线程之间，一个线程对其的修改对另一个线程是可见（更新到主存）；

3 有序性

JIT会在运行时进行指令重排的优化；
使用volatile关键字可以防止指令重拍，具体的是加入修饰的变量会在写的时候加入写屏障，保证写的语句的之前的指令不会重拍到写之后；在读入的时候会加入读屏障，保证读之后的指令不会重排到读之前；
经典的例子就是单例模式的双重检验法，为什么要加volatile？创建对象的三条关键指令：1申请空间、2创建对象、3赋值给引用。2和3可能重排，导致别人拿到的是未创建完成的对象；

4 synchronized优化

4.1 轻量级锁

每个栈帧中都会包含一个锁记录（Lock Record），内部可以存储对象的Mark Word；
加锁过程：首先查看是否有锁，如果无锁，就把对象头的Mark Word存在锁记录中，同时把自己的锁记录地址复制到mark word里面；

4.2 锁膨胀

当轻量级锁竞争，就会发生锁膨胀，改加重量级锁（Monitor）；

4.3 重量级锁

jdk6中做了自旋优化；

4.4 锁偏向

当首次使用锁时，就加一个线程偏向，之后同线程再访问时，就不再加锁，直接访问；