聊聊CAS - 面试官最喜欢问的并发编程专题

约定不等于承诺〃 2023-07-13 10:39 16阅读 0赞

IT技术研习社 2020-03-10 17:51:51

**什么是CAS**

学习Java并发编程，CAS（Compare And Set）机制都是一个不得不掌握的知识点。除了通过synchronized进行并发控制外，还可以通过CAS的方式控制，大家熟悉的ReentrantLock内部实现大量采用CAS进行控制。

CAS即Compare and Swap，即**比较并交换**。

**CAS有三个操作数：内存值V、预期值A、要修改的值B，当且仅当预期值A和内存值V相同时，才将内存值修改为B，否则什么都不做。最后返回现在的V值。**

CAS在任何一种情况下，都会返回V的真实值。（这个变量称为compare-and-set，无论操作是否成功都会返回。）CAS的意思是：“**我认为V的值应该是A，如果是，那么将其赋值为B，若不是，则不修改，并告诉我应该为多少**”。CAS是一项乐观技术，它抱着成功的希望进行更新，并且如果另一个线程在上次检查后更新了该变量，它能够发现错误。

![聊聊CAS - 面试官最喜欢问的并发编程专题][CAS -]

CAS是由CPU指令来保证的，大多数的处理器都支持都实现了CAS指令。

**CAS的优点**

保证原子性的方式只有加锁，无论是**内置锁(synchronized),**还是**显示锁(ReentrantLock),**加锁意味着线程阻塞，如果竞争激烈，很可能导致频繁的线程上下文切换，从而大大降低了性能。

CAS机制是一种乐观锁，可以避免这些问题，使得执行效率很大的提高。

**CAS典型应用场景**

1、乐观锁思想

CAS解决并发的思路可以在很多场景中借鉴，在数据库使用中，可以采用这种方式来避免加锁操作，比如大家学习Hibernate时候的乐观锁。

2、Java Concurren

Java Concurrent包下大量使用CAS实现并发控制，比如Atomic\*，ReentrantLock等。

比如AtomicInteger中，就使用CAS。

Java无法直接访问底层操作系统，而是通过本地（native）方法来访问。JVM开了一个后门，JDK中有一个类Unsafe，它提供了硬件级别的原子操作。

例如AtomicInteger的**getAndSet**方法：

public final int getAndSet(int newValue) {
         return unsafe.getAndSetInt(this, valueOffset, newValue);
     }

unsafe类的getAndSetInt

public final int getAndSetInt(Object var1, long var2, int var4) {
        int var5;
        do {
            var5 = this.getIntVolatile(var1, var2);//根据地址和偏移量获取数值
        } while(!this.compareAndSwapInt(var1, var2, var5, var4));//重复尝试CAS操作
        return var5;
    }

通过调用unsafe的getlntVolatile（var1，var2），这是个native方法，其实就是获取var1中，var2偏移量处的值。var1就是Atomiclnteger对象本身，var2就是我们前面提到的偏移地址，这样我们就从内存里获取到现在偏移地址处的值了。

再通过compareAndSwapInt操作输入原值var5和目标值var4，如果操作成功返回，操作失败重新读取内存数据再次进行compareAndSwapInt直到成功。

**CAS的缺点**

CAS虽然很高效的解决原子操作，但是CAS仍然存在三大问题。ABA问题，循环时间长开销大和只能保证一个共享变量的原子操作。

1)ABA问题

CAS操作需要检查当前内存的变量值是否和刚刚读取的值相同，假设一个变量是A，变成了B，之后又变成了A，所以在进行CAS操作的时候检查到它的值没有发生变化。ABA的解决方案就是加上版本号1A->2B->3A，类似这种。java先行者们也给我们提供了**AtomicStampedReference**来解决ABA的问题，其中的预期标志也类似于版本号的功能。

2)循环时间长开销大

多线程竞争激烈的情况下进行CAS操作，会导致某些线程长时间空循环，也就是说它什么都没做，只是不停地在浪费处理器的处理时间而已。

3)只能保证一个共享变量的原子操作

一个共享变量的操作可以用CAS保证其原子性，多个共享变量的操作，循环CAS是无法保证其原子性的。有个取巧的办法，java先行者设计的AtomicReference类，我们可以通过将多个变量放到一个对象里面，然后由AtomicReference进行原子性地更新。

[CAS -]: /images/20230529/cfcb2c0b85ef4956b45099ab4d1fce59.png