ABA问题

最新推荐文章于 2023-09-14 16:17:33 发布

原创最新推荐文章于 2023-09-14 16:17:33 发布 · 227 阅读

0 ·

CC 4.0 BY-SA版权

本文探讨了并发编程中常见的ABA问题，通过示例展示了如何使用AtomicStampedReference解决这一问题，确保线程安全并避免因ABA现象导致的数据不一致。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

这个是CAS中一个问题，主要形成原因是，因为CAS是因为CAS在取值时是取得某一时刻的数值，因此会出现线程1将数值A修改成B再将B修改成A，而线程2是将A修改成B因此1线程修改完2线程去修改时，对于整个过程是无感的，当然对于业务方面如果没有特殊要求的话，可以不用在乎如果有要求是就要注意整个问题

解决：

Atomic为我们解决了整个问题，类似与乐观锁，就是在取值时我们加一个版本号，在修改时，从版本号和数值两个方面去判断

AtomicStampedReference

package ABADemo;

/**
 * Created by lwj32 on 2020/5/17.
 */

import java.util.Date;
import java.util.concurrent.TimeUnit;
import java.util.concurrent.atomic.AtomicInteger;
import java.util.concurrent.atomic.AtomicStampedReference;

/**
 * 问题描述：CAS操作是在取某一时间内存中的值，因此会出现一个时间差问题
 * 举例：当A线程取值时为 1，线程B取值时也是1，但线程B首先将1变成2，然后再将2变为1，这个过程线程A是不感知的，
 * 因此线程A任然可以将1，改为其他数值下面方法一模仿ABA过程，这
 */
public class AbaDemo {
    public static void main(String args[]) {
        //AbaFuntion();
        AbaFuntion2();
    }
    //ABA问题复现
    public static void AbaFuntion() {
        AtomicInteger atomicInteger = new AtomicInteger();
        new Thread(() -> {
            atomicInteger.set(1);
            atomicInteger.compareAndSet(1, 2);
            System.out.println(Thread.currentThread().getName() + "\t" + atomicInteger.get());
            atomicInteger.compareAndSet(2, 1);
            System.out.println(Thread.currentThread().getName() + "\t" + atomicInteger.get());
        }, "A").start();
        new Thread(() -> {
            try {
                TimeUnit.SECONDS.sleep(1);
                atomicInteger.compareAndSet(1, 2019);
                System.out.println(Thread.currentThread().getName() + "\t" + atomicInteger.get());
            } catch (InterruptedException e) {
                e.printStackTrace();
            }

        }, "B").start();
        System.out.println("=============ABA问题产生======");
    }

    //ABA问题解决
    public static void AbaFuntion2() {
        AtomicStampedReference atomicInteger = new AtomicStampedReference(100, 1);
        System.out.println("=============ABA问题解决======");

        new Thread(() -> {
            int stamp = atomicInteger.getStamp();
            System.out.println(Thread.currentThread().getName()+"\t"+stamp);
            try {
                TimeUnit.SECONDS.sleep(1);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            atomicInteger.compareAndSet(100, 101, atomicInteger.getStamp(), atomicInteger.getStamp() + 1);
            System.out.println(Thread.currentThread().getName() + "\t" + atomicInteger.getReference() + "\t" + atomicInteger.getStamp());
            atomicInteger.compareAndSet(101, 100, atomicInteger.getStamp(), atomicInteger.getStamp() + 1);
            System.out.println(Thread.currentThread().getName() + "\t" + atomicInteger.getReference() + "\t" + atomicInteger.getStamp());
        }, "A").start();
        new Thread(() -> {

            int stamp = atomicInteger.getStamp();
            System.out.println(Thread.currentThread().getName()+"\t"+stamp);
            try {
                TimeUnit.SECONDS.sleep(3);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            boolean reustlt = atomicInteger.compareAndSet(100, 2019, stamp, stamp + 1);
            System.out.println(reustlt + Thread.currentThread().getName() + "\t" + atomicInteger.getReference() + "\t" + atomicInteger.getStamp());
        }, "B").start();
    }
}