解决CAS操作ABA问题

一 使用场景

我们先来看一个多线程的运行场景:
时间点1 :线程1查询值是否为A 
时间点2 :线程2查询值是否为A 
时间点3 :线程2比较并更新值为B 
时间点4 :线程2查询值是否为B 
时间点5 :线程2比较并更新值为A 
时间点6 :线程1比较并更新值为C

在这个线程执行场景中,2个线程交替执行。线程1在时间点6的时候依然能够正常的进行CAS操作,尽管在时间点2到时间点6期间已经发生一些意想不到的变化, 但是线程1对这些变化却一无所知,因为对线程1来说A的确还在。通常将这类现象称为ABA问题。
ABA发生了,但线程不知道。又或者链表的头在变化了两次后恢复了原值,但是不代表链表就没有变化。

二 CAS原理

CAS(Compare And Swap)就是将内存值更新为需要的值,但是有个条件,内存值必须与期望值相同。举个例子,内存值V、期望值A、更新值B,当V == A的时候将V更新为B。

所以有时候会存在一个问题当多线程时候A可能被改变,但是后面线程不知道一级改变,就会出现ABA问题。

三 解决方法

使用版本号 

ABA可以使用JDK的并发包中的AtomicStampedReference和 AtomicMarkableReference来解决。

他的原理就是AtomicStampedReference和 AtomicMarkableReference是通过版本号(时间戳)来解决ABA问题的,我们也可以使用版本号(verison)来解决ABA。

即乐观锁每次在执行数据的修改操作时,都会带上一个版本号,一旦版本号和数据的版本号一致就可以执行修改操作并对版本号执行+1操作,否则就执行失败。

四 java.util.concurrent.atomic.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;

public AtomicStampedReference(V initialRef, int initialStamp) {

pair = Pair.of(initialRef, initialStamp);

}

   

public void set(V newReference, int newStamp) {

        Pair<V> current = pair;

        if (newReference != current.reference || newStamp != current.stamp)

            this.pair = Pair.of(newReference, newStamp);

    }

   

public boolean compareAndSet(V   expectedReference,

                                 V   newReference,

                                 int expectedStamp,

                                 int newStamp) {

        Pair<V> current = pair;

        return

            expectedReference == current.reference &&

            expectedStamp == current.stamp &&

            ((newReference == current.reference &&

              newStamp == current.stamp) ||

             casPair(current, Pair.of(newReference, newStamp)));

    }

   

private static final sun.misc.Unsafe UNSAFE = sun.misc.Unsafe.getUnsafe();

    private static final long pairOffset =

        objectFieldOffset(UNSAFE, "pair", AtomicStampedReference.class);

   

    private boolean casPair(Pair<V> cmp, Pair<V> val) {

        return UNSAFE.compareAndSwapObject(this, pairOffset, cmp, val);

    }

 

  • 1
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值