使用AtomicStampedReference类解决CAS的ABA问题

CAS会导致ABA问题

CAS算法实现一个重要的前提是需要取出内存中某时刻的数据并在当下时刻比较并替换,那么在这个时间差内会导致数据的变化.

比如说一个线程one从内存位置V中取出A,线程Two也执行,将A–>B–>A,这时one进行CAS操作发现内存仍是A,然后one操作成功.这会造成很大的隐患,那么我们可以通过以下方法,在发生ABA问题后,不让数据修改

public class Study {

    static AtomicStampedReference atomicStampedReference = new AtomicStampedReference(100,1);
    public static void main(String[] args) {
//线程A实现ABA
        new Thread(()->{
            int stampe = atomicStampedReference.getStamp();
            System.out.println(Thread.currentThread().getName()+"   默认版本号 "+stampe);
            //
            try {
                Thread.sleep(1000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }

            atomicStampedReference.compareAndSet(100,101,stampe,stampe+1);
            System.out.println(Thread.currentThread().getName()+"第一次修改后的版本号"+atomicStampedReference.getStamp());
            atomicStampedReference.compareAndSet(101,100,atomicStampedReference.getStamp(),atomicStampedReference.getStamp()+1);
            System.out.println(Thread.currentThread().getName()+"第二次修改后的版本号"+atomicStampedReference.getStamp());
        },"A").start();
//线程B由于版本号不对等,修改失败
        new Thread(()->{
            int stampe = atomicStampedReference.getStamp();
            System.out.println(Thread.currentThread().getName()+"   默认版本号 "+stampe);
            //暂停3秒 让上个线程实现ABA
            try {
                Thread.sleep(3000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }

            boolean result = atomicStampedReference.compareAndSet(100,2018006727,stampe,stampe+1);
            System.out.println(Thread.currentThread().getName()+"是否修改成功"+result+"\t"+atomicStampedReference.getStamp());

        },"B").start();


    }
}
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
在多线程编程中,CAS(Compare and Swap)机制被广泛使用。它可以实现无锁并发,提高程序的性能。但是,CAS 机制存在 ABA 问题,即当一个值从 A 变为 B,再从 B 变回 A,这时另一个线程也会执行相同的操作,而我们无法区分这两次操作是否真正修改了值。为了解决这个问题,Java 提供了一个原子类 AtomicStampedReferenceAtomicStampedReference 可以保证在进行 CAS 操作时,不仅比较对象值是否相等,还会比较对象的时间戳是否相等。时间戳是一个整数值,每次对象值的改变都会导致时间戳的变化。因此,即使对象值从 A 变为 B,再从 B 变回 A,时间戳也会发生变化,从而避免了 ABA 问题的出现。 下面是一个使用 AtomicStampedReference 解决 ABA 问题的示例代码: ```java import java.util.concurrent.atomic.AtomicStampedReference; public class AtomicStampedReferenceDemo { static AtomicStampedReference<Integer> reference = new AtomicStampedReference<>(1, 0); public static void main(String[] args) { new Thread(() -> { int stamp = reference.getStamp(); System.out.println(Thread.currentThread().getName() + " 第 1 次版本号:" + stamp); reference.compareAndSet(1, 2, stamp, stamp + 1); System.out.println(Thread.currentThread().getName() + " 第 2 次版本号:" + reference.getStamp()); reference.compareAndSet(2, 1, reference.getStamp(), reference.getStamp() + 1); System.out.println(Thread.currentThread().getName() + " 第 3 次版本号:" + reference.getStamp()); }, "线程 1").start(); new Thread(() -> { int stamp = reference.getStamp(); System.out.println(Thread.currentThread().getName() + " 第 1 次版本号:" + stamp); // 等待线程 1 完成 CAS 操作 try { Thread.sleep(1000); } catch (InterruptedException e) { e.printStackTrace(); } boolean isSuccess = reference.compareAndSet(1, 3, stamp, stamp + 1); System.out.println(Thread.currentThread().getName() + " 是否修改成功:" + isSuccess); System.out.println(Thread.currentThread().getName() + " 当前版本号:" + reference.getStamp()); System.out.println(Thread.currentThread().getName() + " 当前值:" + reference.getReference()); }, "线程 2").start(); } } ``` 输出结果: ``` 线程 1 第 1 次版本号:0 线程 1 第 2 次版本号:1 线程 1 第 3 次版本号:2 线程 2 第 1 次版本号:0 线程 2 是否修改成功:false 线程 2 当前版本号:2 线程 2 当前值:1 ``` 通过输出结果可以看出,线程 2 尝试将值从 1 改为 3,但是由于版本号已经被线程 1 修改过了,因此 CAS 操作失败,避免了 ABA 问题的出现。

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值