CAS中文意思是:比较并替换,
CAS需要有3个操作数:内存地址V,旧的预期值A,即将要更新的目标值B。
CAS执行指令时:当且仅当内存地址的值与预期值A相等时,才将内存地址V的值修改为B,否则什么都不做,整个比较并替换的操作是一个原子性操作。
缺点:
1、循环时间长,开销大(如果CAS失败,会一直尝试,如果长时间不成功,会给CPU带来很大开销)
2、只有一个共享变量进行原子操作
3、ABA问题。
ABA问题
如果内存地址V初次读取到的值是A,在准备赋值时检查他的值还是A,那我们是否能说他的值没有被其他线程修改呢?
如果在这段期间他的值曾被改为B,后来又被改回了A,那么CAS操作就会误以为他的值从没有改变过。这个漏洞称为CAS的ABA问题。
解决方法:
使用一个带标记的原子引用类:“AtomicStampedReference”,通过变量值的版本来保证CAS的正确性。如果需要解决CAS问题,那么效率不一定比互斥同步高。