【面试】五分钟掌握ABA问题以及解决办法

原创

已于 2022-06-23 12:17:31 修改 · 670 阅读

3 ·

CC 4.0 BY-SA版权

文章标签：

#链表 #mariadb #java

于 2022-06-16 08:25:39 首次发布

ABA问题是指在并发环境下，数据在A-B-A的变化过程中可能导致CAS操作失效。本文介绍了如何使用Java的AtomicStampedReference和AtomicMarkableReference来解决ABA问题，通过示例代码展示了这两个工具的用法及其在解决并发问题中的作用。

使用AtomicStampedReference 解决ABA问题

示例代码

使用AtomicMarkableReference解决问题

示例代码

什么是ABA

有一个链表里面的数据是A->B->C,我们希望执行一个CAS操作，将A替换成D，生成链表D->B->C。考虑下面的步骤：

线程a读取链表头部节点A。
线程b将链表中的B节点删掉，链表变成了A->C
线程a执行CAS操作，将A替换从D。

最后我们的到的链表是D->C，而不是D->B->C，这个就是ABA问题。那么如何解决这个问题呢？下面就介绍两种解决ABA的方法。

使用AtomicStampedReference 解决ABA问题

JDK提供了AtomicStampedReference来解决ABA问题，它在CAS的基础上增加了一个邮戳stamp来标记数据是否发生了变化。，如果邮戳不符合预期则修改失败。

示例代码

public class AtomicStampedReferenceTest {

    public void test() {
        CountDownLatch latch = new CountDownLatch(2);
        AtomicStampedReference<Integer> atomicStampedReference = new AtomicStampedReference<>(1, 0);
        ExecutorService executorService = Executors.newCachedThreadPool();
        executorService.submit(() -> {
            try {
                boolean success;
                //获取当前邮戳
                int stamp = atomicStampedReference.getStamp();
                System.out.println("[A] before sleep  value is " + atomicStampedReference.getReference() + " stamp is " + stamp);
                TimeUnit.SECONDS.sleep(5);
                //将1，改为 10
                success = atomicStampedReference.compareAndSet(1, 10,