什么是 CAS?
- CAS 是 compare and awap 的缩写,即我们所说的比较和交换。
- CAS 是一种基于锁的操作,而且是乐观锁。
- java 中锁分为乐观锁和悲观锁(此专题下62篇有详细分析)。悲观锁是将资源锁住,等一个之前获得锁的线程释放锁之后,下一个线程才可以访问。而乐观锁采取了一种宽泛的态度,通过某种方式不加锁来处理资源,比如通过记录加 version 来获取资源,性能较悲观锁有很大的提高。
- CAS 操作包含三个操作数 —— 内存位置(V)、预期原值(A)、新值(B)。如果内存地址里的值和 A 的值是相同的,那么就将内存里面的值更新成 B。CAS 是通过无线循环来获取数据的,如果在第一轮循环中,a 线程获取地址里面的值被 b 线程修改了,那么,线程 a 需要自旋,到下次循环才有机会执行。
- java.util.concurrent.atomic 包下的类大多是使用 CAS 操作来实现的(AtomicInteger,AtomicBoolean,AtomicLong)
那么,CAS 会引起什么问题呢?
ABA 问题
比如说一个线程 one 从内存位置 V 中取出 A ,这时另外一个线程 two 也从内存中取出 A ,并且 two 进行了一些操作变成了 B ,然后 two 又将 V 位置的数据变成 A,这时线程 one 进行 CAS 操作发现内存中仍然是 A,然后 one 操作成功,但是,A 已经不再是原来的 A ,可能存在一些潜在的问题。
从Java1.5 开始 JDK 的 atomic 包里提供一个类:AtomicStampedReference 来解决 ABA 问题。
循环时间长开销大
对于资源竞争严重(线程冲突严重)的情况,CAS 自旋的概率比较大,从而浪费更多的 CPU 资源,效率低于 synchronized。
只能保证一个共享变量的原子操作
当对一个共享变量执行操作时,我们可以使用循环 CAS 的发方式来保证原子操作,但是对于多个共享变量操作时,循环 CAS j就无法保证操作的原子性,这个时候就可以用锁。