浅谈volatile

浅谈volatile

1.什么是volatile

• 前面说过，在并发的情况下，对同一个共享数据，一个线程读数据，一个线程改数据，会出现不一致性的问题。通过volatile修饰变量，线程对volatile修饰的变量进行修改会立刻被其他线程所感知。保证变量的内存可见性和禁止指令重排序是volatile的两大功能点。
• 可见性：对共享变量的修改，其他的线程马上能感知到。但是不能保证原子性
• 有序性：CPU会对程序进行重排序（编译阶段、指令优化阶段），输入程序的代码顺序并不是实际执行的顺序，重排序后对单线程没有影响，对多线程有影响。对于volatile修饰的变量，（1）volatile之前的代码不能调整到他的后面。（2）volatile之后的代码不能调整到他的前面（as if seria）

2.MESI与volatile
JMM和计算机的硬件内存架构有一定的联系，所以对于某些问题的解决办法也有相通的点。

• MESI（缓存一致性协议，修改（M），独家（E），共享（S），无效（I））是用于解决CPU缓存一致性问题两种方法之一，简单的说就是在进行读操作时不做任何事情，把Cache中的数据读到寄存器。写操作时发出信号通知其他的CPU将Cache line置为无效，其他的CPU要访问这个变量的时候，只能从内存中获取。
• volatile则是一个线程从主存获取数据的副本到工作空间里，操作变量副本并写回主内存后，会通过 CPU 总线嗅探机制告知其他线程该变量副本已经失效，需要重新从主内存中读取。

3.volatile与synchronized的区别

• 使用上的区别
  Volatile只能修饰变量，synchronized只能修饰方法和语句块
• 对原子性的保证
  synchronized可以保证原子性，Volatile不能保证原子性
• 对可见性的保证
  都可以保证可见性，但实现原理不同Volatile对变量加了lock，synchronized使用monitorEnter和monitorexit monitor JVM
• 对有序性的保证
  Volatile能保证有序，synchronized可以保证有序性，但是代价（重量级）并发退化到串行
• 其他
  synchronized引起阻塞
  Volatile不会引起阻塞

创作不易，转载请注明出处！