CAS

最新推荐文章于 2024-03-08 07:38:37 发布

Daria_

最新推荐文章于 2024-03-08 07:38:37 发布

阅读量210

点赞数 1

分类专栏： Java多线程

本文链接：https://blog.csdn.net/Daria_/article/details/89422059

版权

Java多线程专栏收录该内容

17 篇文章 0 订阅

订阅专栏

CAS（compare and swap）：Java中通过循环CAS的方式来实现原子操作

一、乐观锁和悲观锁

1. 悲观锁：

总假设是最坏的情况，每次对数据的操作都会担心数据被其他线程修改（不一定会被修改），所以在每次操作时都需要加锁操作，只有获取锁的线程才能操作该数据，当其他线程想要，操作该数据就会被阻塞（synchronized锁是悲观锁的体现）点击synchronized关键字；

使用场景：读少写多
缺点：悲观锁的使用需要加锁、释放锁，引起线程上下文切换和延时调度，会影响系统的性能，未获取锁的线程会被阻塞

2. 乐观锁：

总认为不会产生并发问题，每次对数据的操作都不会担心数据被其他线程修改，当对数据进行读取操作，不需要进行加锁，但更新数据时需要判断数据是否被修改，未被修改时则可以直接更新（CAS是乐观锁的体现）；

使用场景：读多写少

二、CAS原理

CAS是项乐观锁技术，当多个线程尝试使用CAS同时更新同一个变量时，只有其中一个线程能更新变量的值，而其它线程都失败，失败的线程并不会被挂起，而是被告知这次竞争中失败，并可以再次尝试；

CAS有3个操作数，内存值V，旧的预期值A，要修改的新值B；

1）当且仅当预期值A和内存值V相同时，将内存值V修改为B，否则什么都不做；
2）两步操作

读取内存的值为V
当内存值V和预期值A相等时，将内存V的值修改为B，否则循环第一步

应用：源自操作类

例如，i++,这里采用CAS操作，每次从内存中读取到数据后将此数据+1后的结果，如果成功就返回结果，否则重试直到成功；

public final int getAndIncrement() {
    for(;;) {
        int current = get();
        int next = current + 1;
        if (compareAndSet(current,next)) 
            return current;
    }
}

优缺点

优点： 不需要使用传统的锁机制来保证线程安全,CAS是一种基于忙等待的算法,依赖底层硬件的实现,相对于锁它没有线程切换和阻塞的额外消耗,可以支持较大的并行度；

劣势： CAS虽然很高效的解决了原子操作，但是CAS仍然存在三大问题；

ABA问题；
循环时间长开销大；
只能保证一个共享变量的原子操作；

三、CAS的三大问题

1. ABA问题：

因为CAS需要在操作值的时候，检查值有没有发生变化，如果没有发生变化则更新，但是如果一个值原来是A，变成了B，又变成了A，即A→B→A，那么使用CAS进行检查时会发现它的值没有发生变化，但是实际上却变化了；

解决：
ABA问题的解决思路就是使用版本号。在变量前面追加上版本号，每次变量更新的时候把版本号加1，那么A→B→A就会变成1A→2B→3A；
从Java 1.5开始，JDK的Atomic包里提供了一个类AtomicStampedReference来解决ABA问题。这个类的compareAndSet方法的作用是首先检查当前引用是否等于预期引用，并且检查当前标志是否等于预期标志，如果全部相等，则以原子方式将该引用和该标志的值设置为给定的更新值；

2. 循环时间长开销大。

自旋CAS如果长时间不成功一直处于忙等状态，会给CPU带来非常大的执行开销；

如果JVM能支持处理器提供的pause指令，那么效率会有一定的提升；

pause指令有两个作用：

第一，它可以延迟流水线执行指令（de-pipeline），使CPU不会消耗过多的执行资源，延迟的时间取决于具体实现的版本，在一些处理器上延迟时间是零；
第二，它可以避免在退出循环的时候因内存顺序冲突（Memory Order Violation）而引起CPU流水线被清空（CPU Pipeline Flush），从而提高CPU的执行效率；

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

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

解决：
可以把多个共享变量合并成一个共享变量来操作。比如，有两个共享变量i＝2，j=a，合并一下ij=2a，然后用CAS来操作ij；
从Java 1.5开始，JDK提供了AtomicReference类来保证引用对象之间的原子性，就可以把多个变量放在一个对象里来进行CAS操作；

4. CAS的优化：

多线程访问一个对象时，线程不停的发起CAS操作获取值，但是发现已经被修改过了，CAS失败，进入下一个循环，这样重复失败效率很低；
java8引进 LongAdder类，提供了原子累计值的方法，核心思想就是热点分离，将对象value分离成一个数组，对访问的多线程通过hash算法映射到其中一个数字进行计算，最终进行数组的累加求和，这样等同于减小的锁的粒度，增大了吞吐量；