【多线程】CAS详解

目录

一、什么是CAS

二、CAS 是怎么实现的

三、CAS 应用

实现原子类

实现自旋锁

四、CAS 的 ABA 问题

什么是 ABA 问题

ABA问题引来的BUG

解决方案

一、什么是CAS

CAS: 全称Compare and swap，字面意思:”比较并交换“，一个 CAS 涉及到以下操作：

我们假设内存中的原数据V，旧的预期值A，需要修改的新值B。

1. 比较 A 与 V 是否相等。（比较）

2. 如果比较相等，将 B 写入 V。（交换）

3. 返回操作是否成功。

int i = 0;
i++;

线程不安全，如果需要多线程并发的i++，就需要加锁，加锁操作比较低效，因此可以使用CAS就可以完成自增，同时保证线程安全

二、CAS 是怎么实现的

针对不同的操作系统，JVM 用到了不同的 CAS 实现原理，简单来讲：

java 的 CAS 利用的的是 unsafe 这个类提供的 CAS 操作；

unsafe 的 CAS 依赖了的是 jvm 针对不同的操作系统实现的 Atomic::cmpxchg；

Atomic::cmpxchg 的实现使用了汇编的 CAS 操作，并使用 cpu 硬件提供的 lock 机制保证其原子 性。

简而言之，是因为硬件予以了支持，软件层