Java——CAS

本文深入解析了计算机科学中的比较和交换(CAS)机制,探讨了其在Java中的实现方式,尤其是在多线程同步中的应用。文章详细分析了CAS操作在Java的Atomic包下的具体实现,以及在AbstractQueuedSynchronizer类中的运用,同时也提到了CAS操作可能引发的ABA问题及解决方案。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

一、什么是CAS?

    在计算机科学中,比较和交换(Conmpare And Swap)是用于实现多线程同步的原子指令。 它将内存位置的内容与给定值进行比较,只有在相同的情况下,将该内存位置的内容修改为新的给定值。 这是作为单个原子操作完成的。 原子性保证新值基于最新信息计算; 如果该值在同一时间被另一个线程更新,则写入将失败。 操作结果必须说明是否进行替换; 这可以通过一个简单的布尔响应(这个变体通常称为比较和设置),或通过返回从内存位置读取的值来完成(摘自维基本科)

    JAVA1.5开始引入了CAS,主要代码都放在JUC的atomic包下,如下图:

 

二、JAVA中如何实现CAS操作

    以比较简单的AtomicInteger为例,我们看一下都有哪些方法:

 

    从图中可以看出JAVA中的CAS操作都是通过sun包下Unsafe类实现,而Unsafe类中的方法都是native方法,由JVM本地实现,笔者为了弄清楚真正的实现原理,查看了openJDK7的源码,下面就稍作分析:

    Unsafe中对CAS的实现是C++写的,从上图可以看出最后调用的是Atomic:comxchg这个方法,这个方法的实现放在hotspot下的os_cpu包中,说明这个方法的实现和操作系统、CPU都有关系,我们以linux的X86处理器的实现为例来进行分析

 

 

    Linux的X86下主要是通过cmpxchgl这个指令在CPU级完成CAS操作的,但在多处理器情况下必须使用lock指令加锁来完成。从这个例子就可以比较清晰的了解CAS的底层实现了,当然不同的操作系统和处理器的实现会有所不同,大家可以自行了解。

三、CAS在JUC中的运用

    我们看一下JUC中非常重要的一个类AbstractQueuedSynchronizer,作为JAVA中多种锁实现的父类,其中有很多地方使用到了CAS操作以提升并发的效率

上图为同步队列的入队操作,也是一种乐观锁的实现,多线程情况下,操作头节点和尾节点都有可能失败,失败后会再次尝试,直到成功。

四、ABA问题

  CAS可以有效的提升并发的效率,但同时也会引入ABA问题。

  如线程1从内存X中取出A,这时候另一个线程2也从内存X中取出A,并且线程2进行了一些操作将内存X中的值变成了B,然后线程2又将内存X中的数据变成A,这时候线程1进行CAS操作发现内存X中仍然是A,然后线程1操作成功。虽然线程1的CAS操作成功,但是整个过程就是有问题的。比如链表的头在变化了两次后恢复了原值,但是不代表链表就没有变化。

  所以JAVA中提供了AtomicStampedReference/AtomicMarkableReference来处理会发生ABA问题的场景,主要是在对象中额外再增加一个标记来标识对象是否有过变更。

### Java 中的 CAS(Compare-And-Swap)机制及其用法 #### 1. CAS 的基本定义 CAS 是一种无锁算法的核心操作,其全称为 **Compare-And-Swap**。它的作用是在并发环境中实现线程安全的操作而无需显式的锁定机制。具体来说,CAS 涉及三个参数:内存位置 \(V\)、预期原值 \(A\) 和新值 \(B\)。当执行 CAS 操作时,如果内存位置 \(V\) 的当前值等于预期值 \(A\),则将其更新为新值 \(B\) 并返回 `true`;否则保持不变并返回 `false`[^4]。 #### 2. CASJava 中的实现 Java 提供了对 CAS 操作的支持,主要通过以下几个方面实现: ##### (1)底层支持 Java 使用 `sun.misc.Unsafe` 类作为底层工具来调用本地方法(JNI),从而利用 CPU 的原子指令完成 CAS 操作。这些原子指令能够确保即使在多核环境下也能正确处理共享资源的竞争问题[^1]。 ##### (2)高级封装 为了方便开发者使用,JavaCAS 功能进行了抽象和封装,集中体现在 `java.util.concurrent.atomic` 包下的多个类中,比如 `AtomicInteger`、`AtomicLong` 等。其中最常用的 API 方法之一就是 `compareAndSet(expect, update)`,它实现了标准的 CAS 行为[^3]。 以下是基于 `AtomicInteger` 的简单示例代码: ```java import java.util.concurrent.atomic.AtomicInteger; public class CasExample { public static void main(String[] args) { AtomicInteger atomicInt = new AtomicInteger(0); System.out.println("Initial value: " + atomicInt.get()); // Try to increment the value using CAS loop while (!atomicInt.compareAndSet(atomicInt.get(), atomicInt.get() + 1)) { // Do nothing and retry until success } System.out.println("Updated value: " + atomicInt.get()); } } ``` 在这个例子中,我们创建了一个初始值为零的 `AtomicInteger` 对象,并尝试通过循环不断调用 `compareAndSet()` 来增加其数值直到成功为止。 #### 3. 实现原理分析 从硬件层面看,现代处理器都具备专门针对同步访问设计的一系列指令集,其中包括但不限于 Test-and-Set(TAS),Fetch-and-Add(FAA),以及最重要的 Compare-And-Swap(CAS)[^2]。这些低级机器码可以直接由 JVM 映射到对应的 Unsafe 函数里去执行相应的逻辑运算过程。 对于软件开发人员而言,则完全不需要关心具体的汇编细节部分——只需要按照官方文档说明正常使用即可获得高效稳定的性能表现效果。 --- ###
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值