面试官: 有了解过CAS和原子操作吗?说说看

简介: 面试官: 有了解过CAS和原子操作吗?说说看

前言

目前正在出一个Java多线程专题长期系列教程,从入门到进阶含源码解读, 篇幅会较多, 喜欢的话,给个关注❤️ ~


乐观锁 & 悲观锁

在正式讲解之前,我们先了解一下这两个概念


悲观锁

顾名思义,假使情况是最糟糕的,在程序中的提现就是对资源的抢夺。对于悲观锁来说,它总是认为每次访问共享资源时会发生冲突,所以必须对每次数据操作加上锁,以保证临界区的程序同一时间只能有一个线程在执行。


乐观锁

与其相反,乐观锁总是假设对共享资源的访问没有冲突,线程可以不停地执行,无需加锁也无需等待。而一旦多个线程发生冲突,乐观锁通常是使用一种称为CAS的技术来保证线程执行的安全性。


因为没有锁,所以就不存在死锁的情况。大家不放试想一下,他们分别适合什么样的场景

  • 乐观锁多用于读多写少的环境,避免频繁加锁影响性能
  • 悲观锁多用于写多读少的环境,避免频繁失败和重试影响性能


CAS

概述

CAS的全称是:比较并交换(Compare And Swap)。在CAS中,有这样三个值

  • V:要更新的变量(var)
  • E:预期值(expected) (也称为旧值)
  • N:新值(new)


有没有很熟悉,上节我们讲源码的时候有提到过~ 大致过程如下:

判断更新的变量是否等于预期值,如果等于,将该值设置为新的值;如果不等,说明已经有其它线程更新了变量,则当前线程放弃更新,什么都不做。


那么会不会出现我即将要更新的值被其它线程更新了呢❓

不会的,原因在于CAS是一种原子操作。


原子操作

原子操作(atomic operation)是指不被线程调度打断的操作,通常有一系列操作组合而成,该操作开始到执行结束,期间不会有任何线程切换,从而保证了cpu资源不会被其它线程争夺。简单的来说这种操作不会中断,要么成功,要么失败,可以保证线程的安全性。


当多个线程同时使用CAS操作一个变量时,只有一个成功更新,其余都失败,但失败的线程并不会被挂起,仅是被告知失败,并且允许再次尝


Java中的CAS操作具体实现

在Java中,通常使用sun.misc.Unsafe类,该类下的方法都是native方法,所以Java本身不负责具体实现,通常由底层的jvm,c,c++来实现

public final native boolean compareAndSwapObject(Object o, long offset,
                                                     Object expected,
                                                     Object x);
public final native boolean compareAndSwapInt(Object o, long offset,
                                                  int expected,
                                                  int x);        
public final native boolean compareAndSwapInt(Object o, long offset,
                                                  int expected,
                                                  int x);                                                                                          
复制代码


这些操作都是和底层cpu以及操作系统有关的,所以不同的操作系统下,它们的底层实现可能不太一样。在之前的学习中,我们遇到的一些源码,底层也是都有调用它的,这个大家了解一下就行。


既然它不是Java来实现,那么Java本身有没有借助它们实现一些好用的CAS操作呢❓下面我们一起看一下


原子操作类

有时候大家可能注意到了,在java.util.concurrent.atomic包下,JDK提供了一些好用的原子操作类,包名展开下面都是Atomic开头的类名,从字面意思可以大致知道它们是操作不同类型,这里以比较常用的类AtomicInteger为例

public final int getAndAdd(int delta) {
        return unsafe.getAndAddInt(this, valueOffset, delta);
    }
复制代码


这个方法可以用原子方式将给定值添加到当前值。我们可以看到调用了unsafe下的一个方法

private static final Unsafe unsafe = Unsafe.getUnsafe();
复制代码


下面我们接着看 unsafe.getAndAddInt(this, valueOffset, delta);

public final int getAndAddInt(Object o, long offset, int delta) {
        int v;
        do {
            v = getIntVolatile(o, offset);
            // 以原子方式更新
        } while (!compareAndSwapInt(o, offset, v, v + delta));
        return v;
    }
复制代码


这里可以看到,如果CAS操作失败,会自旋,直到成功,最后返回。猜一下,这里为什么用do❓这个也很好理解,我们需要返回的是被其他线程改变之后的旧值了,因此放在了do循环体内。


CAS产生的问题

同样的,CAS操作也会产生问题,下面一起看下有哪些问题


ABA问题

ABA问题,就是一个值原来是A,变成了B,又变回了A。这个时候使用CAS是检查不出变化的,但实际上却被更新了两次。


ABA问题的解决思路是在变量前面追加上版本号或者时间戳。从JDK 1.5开始,JDK的atomic包里提供了一个类AtomicStampedReference类来解决ABA问题。


这个类的compareAndSet方法的作用是首先检查当前引用是否等于预期引用,并且检查当前标志是否等于预期标志,如果二者都相等,才使用CAS设置为新的值和标志。

public boolean compareAndSet(V   expectedReference,
                             V   newReference,
                             int expectedStamp,
                             int newStamp) {
    Pair<V> current = pair;
    return
        expectedReference == current.reference &&
        expectedStamp == current.stamp &&
        ((newReference == current.reference &&
          newStamp == current.stamp) ||
         casPair(current, Pair.of(newReference, newStamp)));
}
复制代码


循环时间长开销大

CAS多与自旋结合。如果自旋CAS长时间不成功,会占用大量的CPU资源。


我们可以通过JVM支持处理器提供的pause指令, 能让自旋失败时cpu睡眠一小段时间再继续自旋,从而使得读操作的频率低很多


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

给大家介绍两种方式:

  • 使用提供的AtomicReference
  • 使用锁


结束语

本节主要给大家介绍了CAS和原子操作,有些部分大家了解一下就好。下一节,带大家学习线程池的基本使用 ~

相关文章
|
4天前
|
安全 Java 程序员
【Java多线程】面试常考——锁策略、synchronized的锁升级优化过程以及CAS(Compare and swap)
【Java多线程】面试常考——锁策略、synchronized的锁升级优化过程以及CAS(Compare and swap)
12 0
|
4天前
|
存储 安全 Java
多线程编程常见面试题讲解(锁策略,CAS策略,synchronized原理,JUC组件,集合类)(下)
多线程编程常见面试题讲解(锁策略,CAS策略,synchronized原理,JUC组件,集合类)(下)
44 0
|
4天前
|
存储 安全 Java
多线程编程常见面试题讲解(锁策略,CAS策略,synchronized原理,JUC组件,集合类)(上)
多线程编程常见面试题讲解(锁策略,CAS策略,synchronized原理,JUC组件,集合类)
38 0
|
6月前
|
Java
面试java并发~(lock、volatile、cas)
面试java并发~(lock、volatile、cas)
44 0
|
存储 安全 Java
阿里二面,面试官:说说 Java CAS 原理?
阿里二面,面试官:说说 Java CAS 原理?
阿里二面,面试官:说说 Java CAS 原理?
|
安全 Java 测试技术
Java面试题之CAS和ABA问题
原子操作可以是一个步骤,也可以是多个操作步骤,但是其顺序不能被打乱,也不可以被切割而只执行其中的一部分(不可中断性)。将整个操作视为一个整体,资源在该次操作中保持一致,这是原子性的核心特征。
Java面试题之CAS和ABA问题
|
安全 算法 Java
面试:为了进阿里,又把并发CAS(Compare and Swap)实现重新精读一遍
在面试中,并发线程安全提问必然是不会缺少的,那基础的CAS原理也必须了解,这样在面试中才能加分,
6132 1
面试:为了进阿里,又把并发CAS(Compare and Swap)实现重新精读一遍
|
缓存 监控 算法
面试必问的CAS,你懂了吗?
面试必问的CAS,你懂了吗?
184 0
面试必问的CAS,你懂了吗?
|
安全 Java 关系型数据库
【高频面试】锁与CAS详解(⭐建议收藏)
【高频面试】锁与CAS详解(⭐建议收藏)
114 0
【高频面试】锁与CAS详解(⭐建议收藏)
|
3天前
|
Java 程序员
Java this关键字详解(3种用法),Java程序员面试必备的知识点
Java this关键字详解(3种用法),Java程序员面试必备的知识点