Java多线程（8）——CAS原理及其问题和解决

最新推荐文章于 2022-09-09 14:31:09 发布

喵的波波鱼

最新推荐文章于 2022-09-09 14:31:09 发布

阅读量680

点赞数 1

分类专栏： # Java多线程

本文链接：https://blog.csdn.net/qq_34805255/article/details/99232549

版权

本文详细介绍了Java并发编程中的CAS（Compare And Swap）原理，包括Unsafe类和自旋锁的使用。讨论了CAS的缺点，如循环时间长、只能保证单个共享变量的原子操作以及ABA问题。同时，提出了使用原子引用如AtomicStampedReference来解决ABA问题，以及在不同场景下选择CAS与synchronized的策略。最后，探讨了处理器如何实现原子操作，并介绍了在高并发下性能更优的LongAdder类。

摘要由CSDN通过智能技术生成

4.CAS与Synchronized的使用场景

5.拓展：处理器底层如何实现原子操作

6.优化 CAS 乐观锁——LongAdder

1.CAS

1.1 CAS是什么

CAS：Compare And Swap，比较并交换，是一条CPU的并发原语（详细见下文的拓展部分）

CAS是一种无锁的原子算法

它的功能是判断内存（即主物理内存）某个位置中的值是否为预期值，如果是则更改为新的值，这个过程是原子的

如果期望的值与主内存中的真实值相同，就交换，将该内存处的值修改为要更新的值
如果期望的值与主内存中的真实值不相同，本次修改失败，该需要重新获得该内存处真实值

示例代码：

说明：代码只用于演示比较和交换，并非CompareAndSet方法可以理解为代码层面的CAS

import java.util.concurrent.atomic.AtomicInteger;

public class CASDemo {
    public static void main(String[] args) {
        AtomicInteger atomicInteger = new AtomicInteger(100);
        //期望值和真实值相同
        System.out.println(atomicInteger.compareAndSet(100,2019)+
                "\t 当前值为："+atomicInteger.get());
        //期望值和真实值不同
        System.out.println(atomicInteger.compareAndSet(100,666)+
                "\t 当前值为："+atomicInteger.get());
        //期望值和真实值相同
        System.out.println(atomicInteger.compareAndSet(2019,2333)+
                "\t 当前值为："+atomicInteger.get());
        
    }
}

1.2 CAS底层原理

（1）Unsafe类

Unsafe类是CAS的核心类，由于Java方法无法直接访问底层系统，需要通过本地（native）方法来访问，Unsafe相当于一个后门，基于该类可以直接操作特定内存的数据，Unsafe类存在于sun.misc包中，其内部方法操作可以像C的指针一样直接操作内存，因为Java中CAS操作的执行依赖于Unsafe类的方法。

注意：Unsafe类中的所有方法都是native修饰的，也就是说Unsafe类中的方法都直接调用操作系统底层资源执行相应任务

CAS并发原语体现在Java语言中就是sun.misc.Unsafe类中的各个方法，

调用Unsafe类中的CAS方法，JVM会帮我们实现出CAS汇编指令。这是一种完全依赖于硬件的功能，通过它实现了原子操作

由于CAS是一种系统原语，原语属于操作系统用语范畴，是由若干条指令组成，用于完成某个功能的一个过程，并且原语的执行必须是连续的，在执行过程中不允许被中断，也就是说CAS是一条CPU的原子指令，不会造成所谓的数据不一致问题

AtomicInteger能解决i++的原子性问题的原因：