JUC多线程及并发笔记--原子类(AtomicInteger)的ABA问题

原子类AtomicInteger的ABA问题谈谈？原子更新引用知道么？

1.ABA问题产生

        CAS会导致ABA问题

        CAS算法实现一个重要前提需要取出内存中某时刻的数据并在当下时刻比较并替换，那么在这个时间差类会导致数据的变化。比如说一个线程one从内存位置v取出A，这时另一个线程two也从内存中取出A，并且线程two进行了一些操作将值变成B，然后线程two又将v位置的数据变成A，这时候one线程进行CAS操作发现内容中仍然是A，然后线程one操作成功。

        尽管线程one的CAS操作成功，但是不代表这个过程就是没有问题的。

2.原子引用

public class CASDemo {
    public static void main(String[] args) {
        User z3=new User("z3",22);
        User li4=new User("li4",25);

        AtomicReference<User> atomicReference = new AtomicReference<User>(z3);

        System.out.println(atomicReference.compareAndSet(z3,li4) +"\t" +atomicReference.get().toString());
        System.out.println(atomicReference.compareAndSet(z3,li4) +"\t" +atomicReference.get().toString());

    }
}

3.时间戳的原子引用

        j解决ABA问题？？？理解原子引用+新增一种机制，那就是修改版本号(类似时间戳)

4.解决ABA问题

package register;

import java.util.concurrent.TimeUnit;
import java.util.concurrent.atomic.AtomicReference;
import java.util.concurrent.atomic.AtomicStampedReference;

public class ABADemo {
    static AtomicReference<Integer> atomicReference =new AtomicReference<>(100);
    static AtomicStampedReference<Integer> atomicStampedReference = new AtomicStampedReference<>(100,1);
    public static void main(String[] args) {
        System.out.println("=================以下会产生ABA问题=================");
        new Thread(()->{
            atomicReference.compareAndSet(100,101);
            atomicReference.compareAndSet(101,100);
        },"t1").start();
        new Thread(()->{
            try{TimeUnit.SECONDS.sleep(1);}catch (Exception e){e.printStackTrace();  }
            System.out.println(atomicReference.compareAndSet(100,2019)+"\t" +atomicReference.get());
        },"t2").start();

        try{ TimeUnit.SECONDS.sleep(3); }catch (Exception e){e.printStackTrace();  }
        System.out.println("================以下是ABA问题解决==================");
        new Thread(()->{
           int stamp = atomicStampedReference.getStamp();
           System.out.println(Thread.currentThread().getName()+"\t 第一次版本号："+stamp);
            //暂停1秒t3线程
            try{TimeUnit.SECONDS.sleep(1);}catch (Exception e){e.printStackTrace();  }
            atomicStampedReference.compareAndSet(100,101,atomicStampedReference.getStamp(),atomicStampedReference.getStamp()+1);
            System.out.println(Thread.currentThread().getName()+"\t 第2次版本号："+atomicStampedReference.getStamp());
            atomicStampedReference.compareAndSet(101,100,atomicStampedReference.getStamp(),atomicStampedReference.getStamp()+1);
            System.out.println(Thread.currentThread().getName()+"\t 第3次版本号："+atomicStampedReference.getStamp());
        },"t3").start();

        new Thread(()->{
            int stamp = atomicStampedReference.getStamp();
            System.out.println(Thread.currentThread().getName()+"\t 第一次版本号："+stamp);
            //暂停3秒t4线程,保证上面的t3线程完成了一次ABA操作
            try{TimeUnit.SECONDS.sleep(3);}catch (Exception e){e.printStackTrace();  }
            boolean result = atomicStampedReference.compareAndSet(100,2019,stamp,stamp+1);
            System.out.println(Thread.currentThread().getName()+"\t 修改成功否："+result+"\t 当前最新实际版本号 ："+atomicStampedReference.getStamp());
            System.out.println(Thread.currentThread().getName()+"\t 当前实际最新值："+atomicStampedReference.getReference());
        },"t4").start();
    }
}
运行结果
=================以下会产生ABA问题=================
true	2019
================以下是ABA问题解决==================
t3	 第一次版本号：1
t4	 第一次版本号：1
t3	 第2次版本号：2
t3	 第3次版本号：3
t4	 修改成功否：false	 当前最新实际版本号 ：3
t4	 当前实际最新值：100