一、作用域
- 作用于变量
二、Volatile 解决了什么问题?
- 禁止指令重排序
- 保证了内存的一致性
- 可见性
三、什么是指令重排序
- 编译器和处理器会通过多种方式比如重排序对代码进行优化,然而在重排序后可能会导致运行结果与预想的不同。
重排序的方式:
- 编译器优化的重排序:编译器在不改变单线程程序语义的前提下,可以重新安排语句的执行顺序。
- 指令级并行的重排序:现代处理器采用了指令级并行技术来将多条指令重叠执行。如果不存在数据依赖性(即后一个执行的语句无需依赖前面执行的语句的结果),处理器可以改变语句对应的机器指令的执行顺序。
- 内存系统重排序: 由于处理器使用缓存和读写缓存冲区,这使得加载(load)和存储(store)操作看上去可能是在乱序执行,因为三级缓存的存在,导致内存与缓存的数据同步存在时间差。
四、什么是内存一致性
- 工作内存和主内存中的数据一致、
五、什么是可见性
- 一个线程对共享变量值的修改,能够及时被其他线程看到。
六、Volatile为什么不能保证原子性
- 首先什么是原子性?原子性是指一个操作是不可中断的,要么全部执行成功要么全部执行失败。及时在多个线程一起执行的时候,一个操作一旦开始,就不会被其他线程所干扰。
- 不能保证原子性的原因: 因为很多操作并不是原子操作,比如i++操作,i++的过程可以分为三步,首先获取i的值,其次对i的值进行加1,最后将得到的新值写会到缓存中。
线程A首先得到了i的初始值100,但是还没来得及修改,就阻塞了,这时线程B开始了,它也得到了i的值,由于i的值未被修改,即使是被volatile修饰,主存的变量还没变化,那么线程B得到的值也是100,之后对其进行加1操作,得到101后,将新值写入到缓存中,再刷入主存中。根据可见性的原则,这个主存的值可以被其他线程可见。
问题来了,线程A已经读取到了i的值为100,也就是说读取的这个原子操作已经结束了,所以这个可见性来的有点晚,线程A阻塞结束后,继续将100这个值加1,得到101,再将值写到缓存,最后刷入主存,所以即便是volatile具有可见性,也不能保证对它修饰的变量具有原子性。