ABA问题与解决

ABA问题

  CAS是基于值做比较的，如果一个线程将一个值从A改为B，又从B改为A，那么CAS会认为该值没有被修改过。也就是说ABA问题使我们无法判断出一个值是否经过修改，在某些业务场景下就会出现问题。

解决方法

  我们无法判断一个值是否修改过是因为该值前后是一样的，我们可以通过一个版本号来比较。AtomicStampedReference就是带有版本号的CAS。

为什么没有AtmoicStampedInteger或AtmoicStampedLong

  因为CAS没有办法同时比较两个变量，在带有版本号的比较中，要比较版本号和值，有两个变量。在AtomicStampedReference中，将对象和版本号封装到一个Pair中，CAS比较的是Pair。