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

先来看一下什么是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问题,但可以降低其发生的几率


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

  • 4
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 5
    评论
评论 5
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

来老铁干了这碗代码

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值