CAS 的实现与原理

目录

《CAS 的实现与原理》

一、CAS 在 Java 中的实现

二、CAS 的原理

三、CAS 的优势和问题

（一）优势

（二）问题

---

在多线程编程中，CAS（Compare and Swap）是一个经常被问到的问题。CAS 全程是 compare and swap，是一种用于多线程编程中的原子操作，底层通过硬件指令实现，是一种乐观锁的实现方式，可以避免锁机制带来的一些开销。

一、CAS 在 Java 中的实现

在 Java 中，CAS 主要通过java.util.concurrent.atomic包下面的一些类来实现，比如AtomicInteger、AtomicBoolean、AtomicReference等。以AtomicInteger为例，它有一个方法叫compareAndSet，这个方法实际上就是 CAS 的核心实现。

以下是一个使用AtomicInteger的示例代码：

import java.util.concurrent.atomic.AtomicInteger;

public class CASExample {
    public static void main(String[] args) {
        AtomicInteger atomicInteger = new AtomicInteger(0);
        increment(atomicInteger);
        System.out.println(atomicInteger.get());
    }

    public static void increment(AtomicInteger atomicInteger) {
        int expectedValue;
        do {
            expectedValue = atomicInteger.get();
            int newValue = expectedValue + 1;
            // compareAndSet 方法实现了 CAS 操作
            if (!atomicInteger.compareAndSet(expectedValue, newValue)) {
                System.out.println("CAS 操作失败，重新尝试。");
            }
        } while (!atomicInteger.compareAndSet(expectedValue, expectedValue + 1));
    }
}

在这个例子中，increment方法使用了do-while循环来不断尝试使用 CAS 操作对AtomicInteger进行加一操作。首先，获取当前的值并赋值给expectedValue，然后计算出新的值。接着，调用compareAndSet方法，如果当前内存中的值与expectedValue相等，则将新值设置回AtomicInteger，并返回true，跳出循环；如果不相等，则返回false，继续循环。

二、CAS 的原理

CAS 操作有三个值：内存位置的值、预期值和新值。比较过程是比较现在AtomicInteger内存中最真实的值和当前预期值是否相等。如果相等，意味着可以用新的值去更新内存中的值；如果不相等，就不能更新这个值，因为这个值被别的线程更新过。

例如，一开始拿到期望的值是 0，在计算过程中，如果其他线程修改了AtomicInteger的值，那么在真正更新内存值的时候，就需要判断一下内存中的值是否还是期望的值。如果不是，就不能更新。

三、CAS 的优势和问题

（一）优势

1. 无锁：可以减少锁竞争，提升性能，特别适合高并发场景。

（二）问题

1. ABA 问题：一个值从 A 变为 B，又变回 A，CAS 无法识别这种情况。例如，一开始期望的值是 0，加一之后变为 1，在计算过程中，AtomicInteger的值可能被其他线程从 0 改为 1，然后又改为 0，看上去值没有变，但实际上已经有线程对它做了操作，CAS 无法判断这种情况。
   解决 ABA 问题可以使用AtomicStampedReference，带一个版本号或者时间戳。每个线程去修改AtomicInteger的时候，把版本号加一。这样，在比较的时候，除了比较值之外，还要比较版本号。

2. 循环开销：在高并发情况下，可能有其他线程不断地进行更新操作，导致某个线程一直抢不到资源，会一直循环尝试，可能会导致 CPU 使用率较高。

CAS 是一种在多线程编程中非常有用的技术，但也需要注意它的问题，根据实际情况选择合适的同步方式。