什么是CAS

目录

什么是CAS

CAS会导致什么问题

---

什么是CAS

        CAS是(compare and swap/set)的缩写，就是的比较并交换的意思。

        CAS 算法的过程是这样：它包含 3 个参数CAS(V,E,N)。V 表示要更新的变量(内存值)，E 表示预期值(旧的)，N 表示新值。当且仅当 V 值等于 E 值时，才会将 V 的值设为 N，如果 V 值和 E 值不同，则说明已经有其他线程做了更新，则当前线程什么都不做。最后，CAS 返回当前 V 的真实值。CAS是通过无限循环来获取数据的，若果在第一轮循环中，操作E的线程获取地址里面的值被其他线程修改了，即E不等于N，那么操作E的线程需要自旋，到下次循环才有可能机会执行。

        CAS是一种乐观锁，它总是认为自己可以成功完成操作。当多个线程同时使用 CAS 操作一个变量时，只有一个会胜出，并成功更新，其余均会失败。失败的线程不会被挂起，仅是被告知失败，并且允许再次尝试，当然也允许失败的线程放弃操作。基于这样的原理，CAS 操作即使没有锁，也可以发现其他线程对当前线程的干扰，并进行恰当的处理。

PS：乐观锁和悲观锁

        悲观锁是将资源锁住，等一个之前获得锁的线程释放锁之后，下一个线程才可以访问。而乐观锁采取了一种宽泛的态度，通过某种方式不加锁来处理资源，比如通过给记录加version来获取数据，性能较悲观锁有很大的提高。

        java.util.concurrent.atomic 包下的类大多是使用CAS操作来实现的( AtomicInteger,AtomicBoolean,AtomicLong)。

CAS会导致什么问题

1.ABA 问题：

        比如说一个线程1从内存位置 V 中取出 A，这时候另一个线程2也从内存中取出 A，并且线程2进行了一些操作变成了 B，然后线程2又将 V 位置的数据变成 A，这时候线程1进行 CAS 操作发现内存中仍然是 A，然后线程1操作成功。尽管线程1的 CAS 操作成功，但可能存在潜藏的问题。从 Java1.5 开始 JDK 的 atomic 包里提供了一个类 AtomicStampedReference 来解决 ABA 问题。

2.循环时间长开销大：

        对于资源竞争严重（线程冲突严重）的情况，CAS 自旋的概率会比较大，从而浪费更多的 CPU 资源，效率低于 synchronized。

3.只能保证一个共享变量的原子操作：

        当对一个共享变量执行操作时，我们可以使用循环 CAS 的方式来保证原子操作，但是对多个共享变量操作时，循环 CAS 就无法保证操作的原子性，这个时候就可以用锁。

更多消息资讯，请访问昂焱数据（https://www.ayshuju.com）