CAS的全称是:比较并交换(Compare And Swap)。在CAS中,有这样三个值:
V:要更新的变量(var)
E:预期值(expected)
N:新值(new)
比较并交换的过程如下:
判断V是否等于E,如果等于,将V的值设置为N;如果不等,说明已经有其它线程更新了V,则当前线程放弃更新,什么都不做。
所以这里的预期值E本质上指的是“旧值”。
CAS实现原子操作的三大问题
ABA问题:解决思路是在变量前面追加上版本号或者时间戳,AtomicStampedReference类可以解决ABA问题。
循环时间长开销大:如果CAS长时间不成功,会占用大量的CPU资源。解决思路是让JVM支持处理器提供的pause指令。
只能保证一个共享变量的原子操作:AtomicReference类保证对象之间的原子性,把多个变量放到一个对象里面进行CAS操作;使用锁