编程「锁」事｜详解乐观锁 CAS 的技术原理

上一节我们以java语言为例，通过特性将锁分组归类，主要讲了悲观锁和乐观锁，我们以一张图来回顾一下上节的两个锁，加强知识点理解和的巩固。

如上图所示，发现悲观锁基本都是先加锁之后再操作同步资源，而乐观锁就直接去操作同步资源。那么，为什么乐观锁能够做到事先不加锁也可以正确的实现线程并发呢？我们这一节介绍乐观锁的主要实现方式 “CAS” 的技术原理。

1. 什么是“CAS”

CAS全称 Compare And Swap（比较与交换），是一种用于在多线程环境下实现同步功能的机制。在不使用锁（没有线程被阻塞）的情况下实现多线程之间的变量同步。java.util.concurrent包中的原子类就是通过CAS来实现了乐观锁。

2. CAS 具体是怎么实现的呢

字面意思，就是先进行比较，再进行交换，CAS 操作包含三个操作数：需要更新的内存值 V、进行比较的预期数值A和要写入的值B。

CAS 的实现逻辑是将需要更新的内存值V和预期值A进行比较，当且仅当 V 的值等于 A 时，CAS通过原子方式用新值B来更新V的值（“比较+更新”整体是一个原子操作），否则不会执行任何操作。一般情况下，“更新”是一个不断重试的操作。

我们以java.util.concurrent.atomic 并发包下AtomicInteger 原子整型类为例，一起来分析下 CAS 底层实现机制。

atomicData.incrementAndGet()

// 提供自增易用的方法，返回增加1后的值
    public final int incrementAndGet() {
   
        return unsafe.getAndAddInt(this, valueOffset, 1) + 1;
    }

    // 额外提供的compareAndSet方法