每天一道面试题(二):什么是CAS,什么是ABA问题

前言

CAS(compare and swap)它是一条CPU并发原语.
它的功能是判断内存某个位置的值是否为预期值,如果是则更新为新的值,这个过程是原子的

原子包装类和CAS

java.util.concurrent.atomic 存在许多原子包装类,它们都是在基本数据类型包装类的基础上实现了原子性,这里我们拿 AtomicInteger 来举例

//首先我们来看一下 AtomicInteger 的getAndIncrement()方法,该方法的作用是 Integer 类型的数据自增,等同于num++  
//此方法在原本自增操作的基础上加上了原子性的特征

 // setup to use Unsafe.compareAndSwapInt for updates
    private static final Unsafe unsafe = Unsafe.getUnsafe();

/**
     * Atomically increments by one the current value.
     *
     * @return the previous value
     */
    public final int getAndIncrement() {
        return unsafe.getAndAddInt(this, valueOffset, 1);
    }

getAndIncrement()方法底层调用的是unsafe对象的getAndAddInt()方法,我们进入getAndAddInt()方法中,可以看到最终的实现是compareAndSwapInt()方法,我们再往下深入会发现该方法是Unsafe类中被native关键字修饰的方法。

native即Java本地接口(JNI,Java Native Interface),是一种编程框架,使得Java虚拟机中的Java程序可以调用本地应用/或库,也可以被其他程序调用。 本地程序一般是用其它语言(C、C++或汇编语言等)编写的, 并且被编译为基于本机硬件和操作系统的程序


public final int getAndAddInt(Object var1, long var2, int var4) {
        int var5;
        do {
            var5 = this.getIntVolatile(var1, var2);
        } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));

        return var5;
    }
    
public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5);

首先我们来分析getAndAddInt()方法,该方法传入三个参数分别是

  • Object var1:当前对象
  • long var2:内存偏移量(即内存地址)
  • int var4:自增值1

接下来程序进入do while循环并调用方法etIntVolatile()将当前对象和内存地址作为参数传入,该方法根据某个具体对象和该对象的内存地址取出该对象具体的值。得到具体的值var5,此后程序进入while语句中进行判断
compareAndSwapInt(Object var1, long var2, int var4, int var5)中的四个参数分别代表

  • Object var1:当前对象
  • long var2:内存地址
  • int var4:期望值
  • int var5:修改后的值

首先由于compareAndSwapInt是一个native修饰的方法,也就是说该方法是是直接调用操作底层资源执行响应的任务。由于该方法是一种系统原语,原语属于操作系统用于范畴,是由若干条指令组成,用于完成某个功能的一个过程,并且原语的执行必须是连续的,在执行过程中不允许中断,也即是说该方法是一条原子指令,不会造成所谓的数据不一致的问题。

该方法根据当前对象和当前对象的内存地址取出当前对象的值,并和自己设定的期望值进行比较,如果该值等于期望值,那么进行更新,这便是CAS(比较和交换)的核心概念。如果说这里判断失败返回flase,那么继续循环重新取值,直到取到的值等同于我们定义的期望值,这样可以保证不管有多少个线程进入num++的操作,每个线程永远都会取到最新值并进行更新,从而保证了数据的原子性

CAS的缺点

  • 由于使用了do while循环,如果多次比对不正确,循环次数变多开销变大,效率变低,降低了并发性
  • CAS是对原子包装类的操作,所以只能保证一个共享变量的原子性
  • 会引出ABA问题

关于ABA问题的探讨

什么是ABA问题

CAS的核心思想就是通过对象内存地址取值并和期望值进行比较,但是取出并进行比较的过程中,该共享变量可能会被其他线程操作,虽然可能最终期望值和取出的值对比是一致的,但实际上现在的共享变量已经不等于原来的共享变量了。

通过一个简单的例子说明。A买了10个苹果放在了桌子上,B跑过来拿走了5个苹果吃掉了,然后又买了5个苹果放在了桌子上,这时候A过来算苹果数量一数是10个,那么A就想当然的认为这10个苹果依然是之前的10个苹果,但实际上在这个过程中B已经对这些苹果进行了替换

ABA问题的代码体现

/**
 * 控制台输出
 *    T1     initial value is 10
 *    T2     initial value is 10
 *    true
 *
 * @Description: ABA问题
 * @Author: Niem
 * @Date: 2020/3/2-22:55
 */
 
public class ABADemo {
    public static void main(String[] args) {
        //创建原子包装类对象
        AtomicInteger atomicInteger = new AtomicInteger(10);

        new Thread(()->{
            //获取atomicInteger的值
            System.out.println(Thread.currentThread().getName()+"\t initial value is "+atomicInteger.get());
            //暂停一秒确保T2线程可以获得和T1相同的值
            try {
                TimeUnit.SECONDS.sleep(1);
            } catch (InterruptedException e) { e.printStackTrace(); }
            //如果期望值是10,那么就把该值更新为5
            atomicInteger.compareAndSet(10,5);
            //如果期望值是5,那么就把该值更新为10
            atomicInteger.compareAndSet(5,10);
        },"T1").start();
        new Thread(()->{
            //获取atomicInteger的值
            System.out.println(Thread.currentThread().getName()+"\t initial value is "+atomicInteger.get());
            //暂停3秒,确保T1的CAS操作完成
            try {
                TimeUnit.SECONDS.sleep(3);
            } catch (InterruptedException e) { e.printStackTrace(); }
            //如果期望值是10,那么就把该值更新为15,如果返回值是true,代表CAS操作成功,但实际上对象已经被操作替换过了
            System.out.println(atomicInteger.compareAndSet(10, 15));
        },"T2").start();
    }
}

解决方案

如果我们让原子包装类对象带上版本信息,给对象带上标记,那么在进行比较的时候就不光要比对内容是否相同,还需要比对版本是否一致。
所以我们可使用AtomicStampedReference类来实现这一功能,该类是在原子引用类的基础上加上了时间戳的概念

从下列代码中,我们得出当版本比对不一致时,就算值是相同的,也是无法进行CAS操作的,时间戳原子引用类从版本的角度解决了ABA的问题

/**
 * @Description: ABA问题解决
 * 
 * 控制台输出
 * T1     initial version is 1   the initial value is 10
 * T2    initial version is 1    the initial value is 10
 * The current version of T1 is 3 ,the latest value is 10
 * the result of CAS: false
 * The current version of T2 is 3 ,the latest value is 10
 * 
 * @Author: Niem
 * @Date: 2020/3/2-23:16
 */
public class ABADemoSolve {
    public static void main(String[] args) {
        //创建时间戳原子引用类对象,指定版本为1
        AtomicStampedReference<Integer> reference = new AtomicStampedReference<Integer>(10,1);

        new Thread(()->{
            //获取atomicInteger的值
            System.out.println(Thread.currentThread().getName()+"\t initial version is "+reference.getStamp()+"\t the initial value is "+reference.getReference());
            //获取初始版本号
            int stamp = reference.getStamp();
            //暂停一秒确保T2线程可以获得和T1相同的值
            try {
                TimeUnit.SECONDS.sleep(1);
            } catch (InterruptedException e) { e.printStackTrace(); }
            //如果期望值是10,那么就把该值更新为5,并且把版本号加1
            reference.compareAndSet(10,5,stamp,stamp+1);
            //如果期望值是5,那么就把该值更新为10
            reference.compareAndSet(5,10,reference.getStamp(),reference.getStamp()+1);
            System.out.println("The current version of T1 is "+reference.getStamp()+" ,the latest value is "+reference.getReference());
        },"T1").start();
        new Thread(()->{
            //获取atomicInteger的值
            System.out.println(Thread.currentThread().getName()+"\t initial version is "+reference.getStamp()+"\t the initial value is "+reference.getReference());
            //获取初始版本号
            int stamp = reference.getStamp();
            //暂停3秒,确保T1的CAS操作完成
            try {
                TimeUnit.SECONDS.sleep(3);
            } catch (InterruptedException e) { e.printStackTrace(); }
            //如果期望值是10,那么就把该值更新为15,如果返回值是true,代表CAS操作成功,但实际上对象已经被操作替换过了
            System.out.println("the result of CAS: "+reference.compareAndSet(10, 15,stamp,stamp+1));
            System.out.println("The current version of T2 is "+reference.getStamp()+" ,the latest value is "+reference.getReference());
        },"T2").start();
    }
}

相关链接

欢迎访问: 我的博客
联系邮箱:yuhaonie@foxmail.com

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 151,511评论 1 330
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 64,495评论 1 273
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 101,595评论 0 225
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 42,558评论 0 190
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 50,715评论 3 270
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 39,672评论 1 192
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,112评论 2 291
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 29,837评论 0 181
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 33,417评论 0 228
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 29,928评论 2 232
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 31,316评论 1 242
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 27,773评论 2 234
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 32,253评论 3 220
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 25,827评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,440评论 0 180
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 34,523评论 2 249
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 34,583评论 2 249