面试官问我：如何解决ABA问题？我给出接近满分的回答

Posted 2021-06-22 来老铁干了这碗代码

先来看一下什么是ABA问题：
若线程1第一次读取的值为A，线程1准备对A执行写操作，但这段时间，线程2完成了A->B->A的更改，当线程1准备写时，A已经不是原来的A了。

举例

一个单链表，T1和T2分别取出A

T1把A改成了ACD，此时A->next=C。

但T2不知道，当T2尝试把A换为B时，由于B->next是null（T1以为A->next也是null呢）替换后就会造成C、D处于游离状态。

---

那么，如何解决ABA问题呢？

JDK1.5以后，推出了两种办法解决或改善ABA问题。分别是：AtomicStampedRefence和AtomicMarkableReference

1、AtomicStampedRefence

观察其源码发现：其内部的value被pair代替，即：

private volatile Pair<V> pair;

pair源码：

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);
    }
}

可以看到，其内部不仅有T引用模板，还有一个int类型的stamp作为版本号，等到修改的时候，比较当前版本号与当前线程持有的版本号是否一致，若一直，则修改，并stamp+1

---

2、AtomicMarkableReference

观察其源码发现：其内部的value被pair代替，即：

private volatile AtomicMarkableReference.Pair<V> pair;

pair源码：

static <T> AtomicMarkableReference.Pair<T> of(T var0, boolean var1) {
    return new AtomicMarkableReference.Pair(var0, var1);
}

可以看到，其内部不仅有T引用模板，还有一个boolean类型的var1.

var1的值有两个，true & false，修改的时候在这两个版本号之间来回切换，这样做并不能解决ABA问题，但可以降低其发生的几率

---

      ——朝着一个目标不断做精深练习，不断犯错，不断挑战自己的极限，这种你给你带来的收获绝对超出你的想象。