CAS是什么？AtomicInteger如何利用它？ABA问题如何解决？

DebugYourCareer
162 阅读4分钟

引言

在多线程并发编程中，保证数据操作的原子性是核心挑战之一。传统的锁机制（如synchronized）虽然能解决问题，但存在性能瓶颈和死锁风险。CAS（Compare And Swap）  作为一种无锁并发控制技术，因其高性能和简洁性成为现代高并发系统的基石。本文将从底层原理、应用场景到实战陷阱，全方位解析CAS机制。

一、什么是CAS？

1.1 核心思想

CAS是一种无锁原子操作机制，其核心逻辑可概括为：

在修改共享变量前，先检查当前值是否等于预期值：

  • 如果相等，说明未被其他线程修改，直接更新为新值；
  • 如果不等，说明数据已被其他线程修改，操作失败（通常重试或终止）。

1.2 底层实现

CAS依赖硬件指令实现原子性（如x86的CMPXCHG指令），操作系统和JVM通过调用这些指令保证操作的不可分割性。例如，Java中的sun.misc.Unsafe类提供了CAS的本地方法：

public final native boolean compareAndSwapInt(
    Object obj, long offset, int expected, int newValue
);

1.3 操作伪代码

def cas(address, expected_value, new_value):
    if *address == expected_value:
        *address = new_value
        return True
    else:
        return False

二、CAS的典型应用

2.1 Java中的原子类

Java通过java.util.concurrent.atomic包提供了一系列原子类（如AtomicInteger），其底层均依赖CAS实现。以AtomicInteger.incrementAndGet()为例：

public final int incrementAndGet() {
    return unsafe.getAndAddInt(this, VALUE_OFFSET, 1) + 1;
}

底层Unsafe.getAndAddInt()通过循环CAS实现原子自增：

do {
    int current = getIntVolatile(obj, offset);
} while (!compareAndSwapInt(obj, offset, current, current + delta));

2.2 数据库乐观锁

在数据库领域，CAS体现为乐观锁机制。例如更新用户余额时，通过版本号校验：

UPDATE accounts 
SET balance = new_balance, version = version + 1 
WHERE id = 123 AND version = old_version;

2.3 分布式锁

Redis的SETNX命令（或RedLock算法）本质是CAS思想在分布式场景的延伸：

SET lock_key random_value NX EX 30  # 仅当key不存在时设置成功

三、CAS的优缺点分析

3.1 核心优势

优点说明
无锁设计避免线程阻塞，减少上下文切换开销
高性能在低竞争场景下效率远超锁机制（如AtomicInteger吞吐量比synchronized高5倍+）
避免死锁无锁自然规避死锁问题

3.2 主要缺陷与解决方案

缺陷问题描述解决方案
ABA问题值从A→B→A，CAS无法感知中间变化（如线程1读取A后被线程2修改多次回到A）使用版本号（AtomicStampedReference）
自旋开销高竞争场景下频繁重试导致CPU空转退化为锁机制或限制自旋次数（如LongAdder）
单变量局限性只能保证单个共享变量的原子性合并变量或使用锁

ABA问题代码示例

AtomicStampedReference<Integer> atomicRef = 
    new AtomicStampedReference<>(100, 0);

// 线程1尝试修改
int stamp = atomicRef.getStamp();
atomicRef.compareAndSet(100, 200, stamp, stamp + 1);

// 线程2恶意修改后恢复
atomicRef.set(100, atomicRef.getStamp() + 1); 

// 线程1的CAS因版本号变化失败

四、CAS实战场景与优化

4.1 适用场景

  1. 计数器
    如网站PV统计，使用LongAdder（分段CAS优化）比AtomicLong更高效。

  2. 状态标记
    如服务开关状态切换：

    AtomicBoolean isRunning = new AtomicBoolean(true);
public void shutdown() {
    isRunning.compareAndSet(true, false);
}

  3. 无锁数据结构

    • ConcurrentLinkedQueue（无锁队列）
    • Disruptor（无锁环形队列）

4.2 性能优化技巧

  • 降低竞争粒度
    使用分段锁思想（如LongAdder将单个变量拆分为多个Cell）。

  • 退避策略
    在CAS失败后增加随机延迟（Exponential Backoff）：

    int retries = 0;
while (!cas()) {
    if (retries++ > MAX_RETRY) break;
    Thread.sleep(ThreadLocalRandom.current().nextInt(100));
}

  • 结合volatile
    通过volatile变量快速失败：

    private volatile int status;
public void update() {
    int local = status;
    if (cas(local, local + 1)) {
        // 成功
    }
}

五、CAS与锁的对比

维度CAS锁（如ReentrantLock）
性能低竞争场景极快上下文切换开销大
公平性无法保证公平可配置公平锁
适用场景简单原子操作复杂临界区保护
可扩展性高竞争下性能骤降通过队列缓解竞争

六、总结与展望

CAS作为无锁编程的基石，在Java并发包、数据库、中间件等领域广泛应用。理解其原理和陷阱是构建高性能系统的必备技能。随着硬件发展（如ARM的LSE指令集优化CAS性能），无锁编程将持续释放潜力。然而，对于复杂业务场景，开发者仍需在CAS的简洁性与锁的可控性之间权衡取舍。

最后思考：
如果你的系统需要实现一个全局ID生成器，你会选择CAS还是锁？为什么？（提示：考虑Snowflake算法的实现）

avatar
文章
阅读
粉丝