Volatile关键字总结

Volatile的的两大特性

线程间可见和禁止指令重排。

线程间可见

Volatile的线程间可见是CPU级别的,起作用的是MESI (CPU缓存一致性协议).
出现的问题:
线程间的不可见性:
对象在堆内存中,线程想要访问对象,那对象所在的区域叫共享内存,运行中的线程的这块区域叫做工作内存,每个线程都有一块自己的工作内存.线程访问对象,把对象内的数据copy到自己的工作内存内.
线程1先访问对象,线程2后访问对象,这时线程1改掉了成员变量a的值,但线程2的工作内存中a的值还是访问时的数据,这就造成了数据不一致.

当对象中被Volatile修饰的成员变量a发生变化时,将会强制所有线程重新去堆内存中读取a的值.

禁止指令重排序

原先CPU运行指令的时候是一条指令一条指令的执行,但这样执行效率很低.所以就有了指令重排序,就是把指令并发的执行.
原本a = 3 , b = 4 后来把b改为5;
指令重排序可能会先执行 b = 5, b = 4 , a = 3,这是很小的概率,但也会发生.
new对象的时候在JVM中编译有三步::
1.给对象分配内存;(变量为初始值 a = 0,这时可称为半初始化)
2.给对象的成员变量初始化,;(a = 8)
3.把这块内存的内容赋值给引用
指令重排原本是为提升效率而产生的.但指令重排在并发中却会出现问题.
指令重排产生的问题是:
在线程1初始化到第一个步骤时,线程2如果new对象出现指令重排,会拿到线程1第一步的半初始化对象,这时线程2初始化得到的变量 a=0.(这就是指令重排在高并发中会出现的问题)
Volatile阻止了线程重排序
但Volatile不能保证原子性,他只能保证线程间可见性和禁止指令重排.
例如有个对象,加了Volatile修饰的成员变量a = 0循环自增10次,有三个线程访问这个对象,最后操作不一定是30,因为是并发执行,线程1进入对象后,a自增等于1写回堆内存,线程2和3的a都等于1,线程2和3自增后都等于2然后写回堆内存,所以Volatile不能保持原子性,不能替代synchronized.