什么是CAS机制？？？（悲观锁、乐观锁）

最新推荐文章于 2025-07-06 09:45:04 发布

原创最新推荐文章于 2025-07-06 09:45:04 发布 · 2.9k 阅读

13 ·

本内容遵循CC 4.0 BY-SA版权协议

标签

#CAS机制 #ABA问题 #悲观锁 #乐观锁

本文深入探讨了悲观锁和乐观锁的概念，分析了各自的适用场景及优缺点，并详细解析了CAS操作机制，包括其原理、应用及存在的问题。

一、悲观锁

1.基本概念

每次获取数据的时候，都会担心数据被修改，所以每次获取数据的时候都会进行加锁，确保在自己使用的过程中数据不会被别人修改，使用完成后进行数据解锁。
由于数据进行加锁，期间对该数据进行读写的其他线程都会进行等待。（synchronized关键字的实现是悲观锁）

synchronized理解见 synchronized关键字

2.使用场景

写多读少

3.缺点

在多线程竞争下，加锁，释放锁会导致比较多的上下文切换和调度延时，引起性能问题，一个线程持有锁会导致其他所有需要此锁的线程挂起。

二、乐观锁

1.基本概念

每次获取数据的时候，都不会担心数据被修改，所以每次获取数据的时候都不会进行加锁，但是在更新数据的时候需要判断该数据是否被别人修改过。
如果数据被其他线程修改，则不进行数据更新，如果数据没有被其他线程修改，则进行数据更新。
由于数据没有进行加锁，期间该数据可以被其他线程进行读写操作 （乐观锁的一种实现方式CAS实现的）

2.使用场景

读多写少

三、CAS操作（Compare and Swap）

1、原子操作类

在了解CAS操作机制前，我们先了解一下原子操作类。

所谓原子操作类，指的是java.util.concurrent.atomic包下，一系列以Atomic开头的包装类。如AtomicBoolean，AtomicInteger，AtomicLong。它们分别用于Boolean，Integer，Long类型的原子性操作。

先来看一下AtomicInteger.incrementAndGet()方法（自增方法）

public final int incrementAndGet() {
    // 无限循环，即自旋
    for (;;) {
        // 获取主内存中的最新值
        int current = get();
        int next = current + 1;
        // 通过CAS原子更新，若能成功则返回，否则继续自旋
        if (compareAndSet(current, next))
            return next;
    }
}
private volatile int value;
public final int get() {
    return value;
}

incrementAndGet()方法在一个无限循环体内，不断尝试将一个比当前值大1的新值赋给自己，如果失败则说明在执行"获取-设置"操作的时已经被其它线程修改过了，于是便再次进入循环下一次操作，直到成功为止。

继续跟进源码看它的compareAndSet方法:

   public final boolean compareAndSet(int expect, int update) {
        return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
   }

可以看到，compareAndSet()调用的就是Unsafe.compareAndSwapInt()方法，即Unsafe类的CAS操作

2、CAS操作理解

CAS 有 3 个操作数，内存值 V，旧的预期值 A，要修改的新值 B。
当且仅当预期值 A 和内存值 V相同时，将内存值 V 修改为 B，否则什么都不做。

3、CAS的缺点

CPU开销过大
在并发量比较高的情况下，如果许多线程反复尝试更新某一个变量，却又一直更新不成功，循环往复，会给CPU带来很到的压力。
不能保证代码块的原子性
CAS机制所保证的只是一个变量的原子性操作，而不能保证整个代码块的原子性。
比如需要保证3个变量共同进行原子性的更新，就不得不使用synchronized了。
ABA问题
这是CAS机制最大的问题所在。