CAS && ABA


面试:CAS — UnSafe — CAS底层原理 — ABA —原子引用更新 — 如何规避ABA问题

CAS

比较并交换

CAS 是什么? 比较并交换
AtomicInteger atomicInteger = new AtomicInteger(5);
System.out.println(atomicInteger.compareAndSet(5, 2019) + "  value: " + atomicInteger.get());
System.out.println(atomicInteger.compareAndSet(5, 2022) + "  value: " + atomicInteger.get());

代码分析:
compareAndSet()方法,如果线程期望值 与 物理内存值 相等 ,则进行修改
这样,在理解 使用incrementAndGet()方法,就深刻多了
请添加图片描述

CAS底层原理?如果知道,谈谈对UnSafe的理解

atomicInteger.getAndIncrement()

请添加图片描述
请添加图片描述

UnSafe

  1. Unsafe
    是CAS的核心类,由于Java方法无法直接访问底层系统,需要通过本地(native)方法来访问,Unsafe相当于一个后门,基于该类可以直接访问特定内存数据。Unsafe类存在于sun.misc包中,其内部方法操作可以像C的指针一样直接操作内存,因为Java中CAS操作的执行依赖与Unsafe类的方法
    注意: Unsafe类中的所有方法都是native修饰的,也就是说Unsafe类中的方法都是直接调用操作系统底层资源执行相应任务

  2. 变量valueOffset,表示该变量值在内存中的偏移地址,因为Unsafe就是根据内存偏移地址获取数据的
    public final int getAndIncrement(){
    return unsafe.getAndAddInt(this,valueSet,1)
    }

  3. 变量value用volatile修饰,保证了多线程之间的内存可见性

CAS 是什么

CAS 全称Compare-And-Swap,它是一条CPU并发原语
他的功能是判断内存某个位置的值是否为预期值,如果是则更改为新的值,这个过程是原子的
CAS并发原语体现在JAVA语言中的就是sun.misc.Unsafe类中的各个方法。再次强调,由于CAS是一种系统原语,原语属于操作系统用于范畴,是由若干条指令组成的,用于完成某个功能的一个过程,并且原语的执行必须是连续的,在执行过程中不允许被中断,也就是说CAS是一条CPU原子指令,不会造成所谓的数据不一致问题
请添加图片描述

CAS 缺点

  • 循环时间长开销大
  • 只能保证一个共享变量的原子操作
  • 引出ABA问题?

ABA问题

什么是ABA?

CAS会导致ABA问题?
CAS算法实现了一个重要前提需要取出内存中某时刻的数据并在当下时刻比较并替换,那么这个时间差类会导致数据的变化

比如说一个线程one从内存为V中取出A,这个时候另一个线程two也从内存中取出A,并且线程two进行了一些操作将值变成了B,然后线程two又将V位置的数据变成A,这个时候线程one进行CAS操作发现内存中仍然是A,然后线程one操作成功

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

原子引用 AtomicReference

请添加图片描述

ABA问题规避

使用 AtomicStampedReference 类,定义版本号

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值