【Java 基础7】CAS以及CAS典型的ABA问题

CAS

Compare and swap，比较和替换，通过利用CPU的CAS指令对缓存加锁或总线加锁的方式来实现多处理器之间的原子操作。

实现过程，线程想将内存值V修改为新值U，线程内部有一个V的预期值E，当且仅E和V相等时，才将V修改为U，否则不进行操作。

 

ABA问题

在线程T1修改var之前，线程T2将var=A修改为var=B,又将var=B修改为var=A，线程T1不能感知到T2的这波操作，

用大佬的一个例子来说

在老板（T1）查账之前，员工（T2）挪用了100w，又填了100w，老板发现不了。

 

我们想解决什么

CAS比较V和E，当不相同，则进行操作；

若相同，判断从获取E到比较V和E期间，是否有别的线程修改过V，若没有，则将V修改为U；

若修改过，则进行指定策略。

 

如何判断是否被修改

版本号或者时间戳

java.util.concurrent包下的atomic包中的AtomicStampedReference<V, Integer>就是给同步的对象V包装一个Integer类型的stemp变量，相当于给V带一个版本号，避免ABA问题