VOlatile的基本使用
(一)volatile的定义
volatile是一个轻量级的锁,对于重量级的锁synchronized来说,它比synchronized的使用和执行的成本更低,因为它不会引起线程的上下文切换和调度。
(二)volatile的原理
我们可以用一张图来说明:
图一 内存模型
以上的内存模型中,加上了volatile关键字之后,每一个线程都是将共享变量区中的变量复制一份到自己线程中的工作区,这复制过去的变量是存在于每个线程中互不干扰的,等需要操作的时候,线程会拿着自己工作区中复制的一份来和共享变量区中的原件进行对比,如果没有发生变化就写入共享变量区,如果发现了改变,自己这次操作就失败,重新将共享变量区的变量复制回自己的工作区,这就是CAS方式进行并发操作,用循环代替锁机制。
(三)CAS的三大缺点
1.ABA问题
因为CAS需要在操作值的时候,检查值有没有发生变化,如果没有发生变化
则更新,但是如果一个值原来是A,变成了B,又变成了A,那么使用CAS进行检查时会发现它的值没有发生变化,但是实际上却变化了。
ABA问题的解决思路就是使用版本号。在变量前面
追加上版本号,每次变量更新的时候把版本号加1,那么A→B→A就会变成1A→2B→3A。
2.循环时间长开销大
自旋CAS如果长时间不成功,会给CPU带来非常大的执行开销
3.只能保证一个共享变量的原子操作
当对一个共享变量执行操作时,我们可以使用循
环CAS的方式来保证原子操作,但是对多个共享变量操作时,循环CAS就无法保证操作的原子性