一、AtomicStampedReference
其实像AtomicBoolean或AtomicLong等这样的变量在多线程修改时，都存在ABA的问题。所谓ABA问题类似于下面伪代码：
第一步 定义一个变量AtomicLong value值为1
第二步 Thread1修改value为2
第三步 Thread2修改value为1
第四步 Thread3通过判断value==1，来检查value是否被修改过
所以Thread3以为value没有被修改过，但实际已经被改过两次了，这就是ABA问题。因此AtomicStampedReference通过引入“版本”的概念，来解决上面的问题。看下面AtomicStampedReference类定义的变量：
private static class Pair<T> {
final T reference;
final int stamp;
private Pair(T reference, int stamp) {
this.reference = reference;
this.stamp = stamp;
}
static <T> Pair<T> of(T reference, int stamp) {
return new Pair<T>(reference, stamp);
}
}
private volatile Pair<V> pair;
reference即我们实际存储的变量，stamp是版本，每次修改可以通过+1保证版本唯一性。这样就可以保证每次修改后的版本也会往上递增。伪代码如下
第一步 定义一个变量AtomicStampedReference<Long> Pair.reference值为1, Pair.stamp设置为当前时间curTime
第二步 Thread1执行AtomicStampedReference.compareAndSet(1, 2, curTime, curTime+1)
第三步 Thread2执行AtomicStampedReference.compareAndSet(2, 1, curTime+1, curTime+2)
第四步 Thread3通过判断Pair.reference==1&&Pair.stamp==curTime，发现值虽然没有变，但是已经被修改了两次
二、AtomicMarkableReference
AtomicMarkableReference可以理解为上面AtomicStampedReference的简化版，就是不关心修改过几次，仅仅关心是否修改过。因此变量mark是boolean类型，仅记录值是否有过修改。
private static class Pair<T> {
final T reference;
final boolean mark;
private Pair(T reference, boolean mark) {
this.reference = reference;
this.mark = mark;
}
static <T> Pair<T> of(T reference, boolean mark) {
return new Pair<T>(reference, mark);
}
}
private volatile Pair<V> pair;
