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问题

【Java 基础7】CAS的ABA问题

 

相关文章: