ABA问题
CAS是基于值做比较的,如果一个线程将一个值从A改为B,又从B改为A,那么CAS会认为该值没有被修改过。也就是说ABA问题使我们无法判断出一个值是否经过修改,在某些业务场景下就会出现问题。
解决方法
我们无法判断一个值是否修改过是因为该值前后是一样的,我们可以通过一个版本号来比较。AtomicStampedReference就是带有版本号的CAS。
为什么没有AtmoicStampedInteger或AtmoicStampedLong
因为CAS没有办法同时比较两个变量,在带有版本号的比较中,要比较版本号和值,有两个变量。在AtomicStampedReference中,将对象和版本号封装到一个Pair中,CAS比较的是Pair。