volatile 可见性,有序性,但满足不了原子性
以jmm内存模型说,多个线程将主内存中中的可以共享的普通变量都复制线程的本地内地内存中,
每个线程在本地内存中的变量修改都是互不可见的
a线程对变量的操作,b线程是不知道的,但加了vaotile关键字,jvm编译后会有一个lock指令去锁住
cpu的缓存,一旦缓存中的数据发生变化,他就会通过mesi协议将数据强制刷新到主内存,通过总线嗅探机制让其他线程知道自己保存的旧数据已经无效的,重新去复制主内存的数据
指令重排就是cpu在执行指令的时候或者jvm在执行jvm字节码指令,有时候为了执行效率,他会将后面的指令拍到前面去执行,可能会产生线程执行的结果和预期的结果不一致,但volatile对修饰了的变量会加一些内存屏障阻止指令排序
valatile不能满足原子性,因为mesi的缓存一致性的原因,一旦有线程强制刷新了主内存数据,其他线程
对这个变量在主内存中数据的操作就会无效,重新去主内存获取,这也就造成了多线程共享同一个数据,其他的线程对这个数据的操作无效而导致这个变量数据和预期的不一致出现线程安全问题
synronzied锁升级
每个对象头中都有一个mark word,保存一些对象的线程对应的id,锁的状态,锁的标志位
如