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