上一节我们以java语言为例,通过特性将锁分组归类,主要讲了悲观锁和乐观锁,我们以一张图来回顾一下上节的两个锁,加强知识点理解和的巩固。
如上图所示,发现悲观锁基本都是先加锁之后再操作同步资源,而乐观锁就直接去操作同步资源。那么,为什么乐观锁能够做到事先不加锁也可以正确的实现线程并发呢?我们这一节介绍乐观锁的主要实现方式 “CAS” 的技术原理。
- 什么是“CAS”
CAS全称 Compare And Swap(比较与交换),是一种用于在多线程环境下实现同步功能的机制。在不使用锁(没有线程被阻塞)的情况下实现多线程之间的变量同步。java.util.concurrent包中的原子类就是通过CAS来实现了乐观锁。
- 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方法