aba会导致问题_JUC多线程与高并发面试题——ABA问题与原子引用

一、ABA问题怎么产生的

CAS会导致“ABA问题”。

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

比如：一个线程ONE从内存位置V中取出A，这时候线程TWO也从内存中取出A，并且线程TWO进行了一些操作将值变成了B，然后线程TWO又将V位置的数据变成A，此时线程ONE进行CAS操作，发现内存中仍然是A，然后线程ONE操作成功。

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

二、原子引用

package com.yuxx.juc;

import lombok.AllArgsConstructor;

import lombok.Getter;

import lombok.ToString;

import java.util.concurrent.atomic.AtomicReference;

@Getter

@ToString

@AllArgsConstructor

class User{

String userName;

int age;

}

public class AtomicReferenceDemo {

public static void main(String[] args) {

User z3 = new User("z3",22);

User l4 = new User("l4",25);

AtomicReference atomicReference = new AtomicReference();

atomicReference.set(z3);

System.out.println(atomicReference.compareAndSet(z3,l4) + "\t" + atomicReference.get().toString());//true User(userName=l4, age=25)

System.out.println(atomicReference.compareAndSet(z3,l4) + "\t" + atomicReference.get().toString());//falseUser(userName=l4, age=25)

}

}

打印结果：

三、ABA问题解决——时间戳原子引用

时间戳原子引用：AtomicStampedReference

package com.yuxx.juc;

import java.util.concurrent.TimeUnit;

import java.util.concurrent.atomic.AtomicStampedReference;

public class ABADemo { //ABA问题的解决 AtomicStampedReference

static AtomicStampedReference atomicStampedReference = new AtomicStampedReference<>(100,1);

public static void main(String[] args) {

new Thread(() -> {

System.out.println(Thread.currentThread().getName() + "\t第1次版本号：" + atomicStampedReference.getStamp());

//暂停1秒钟T3线程

try{ TimeUnit.SECONDS.sleep(1); }catch(InterruptedException 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第1次版本号：" + stamp);

//暂停3秒钟T4线程，保证上面的T3线程完成了一次ABA操作

try{ TimeUnit.SECONDS.sleep(3); }catch(InterruptedException 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();

}

}

打印结果：