Java CAS与Atomic原子操作核心原理详解

 更新时间:2023年04月19日 11:06:21   作者:胡尚  
CAS(Compare and Swap)和Atomic原子操作是保证多线程并发安全的常用机制,能够高效地实现对共享变量的安全访问和修改,避免线程竞争导致的数据不一致和死锁等问题。它们的应用可以提高程序的并发性能和可维护性,是多线程编程中的重要工具

什么是原子操作

Mysql事务中的原子性就是一个事务中执行的多条sql,要么同时成功,要么同时失败,他们不可拆分。并发中的原子操作也一样,多个线程中,站在线程A的角度看线程B的操作,线程B的操作就是一个原子的;站在线程B的角度看线程A,线程A的操作是原子的。一整个操作要么全部执行完了,要么就没有执行,中间不能拆分。

那么要怎么实现原子性嘞?可以使用synchronized锁来保证一段代码的原子性,但是加锁影响性能,甚至还有死锁方面的问题需要考虑。

所以锁机制是比较重量级的,粒度较大的一种机制,比如对于计数器方面的操作来说,可能加锁的耗时都比整个计算的耗时还要高。Java 就提供了 Atomic 系列的原子操作类,在java.util.concurrent.atomic包下

这些原子操作类是基于处理器的CAS指令来实现原子性的,Compare and swap。比较并且交换

CAS

每个CAS操作过程基本上都包含三个部分:内存地址V、期望值A、新值B

期望值就是旧值,首先会去内存地址中进行比较,我期望当前这个内存地址中的值是我期望的旧值,如果是则把新值赋值到这个内存地址中,如果不是则不做任何事。在一般的使用中我们会不断尝试去进行CAS操作,直到成功为止。

Java 中的 Atomic 系列的原子操作类的实现则是利用了循环 CAS 来实现。

使用CAS实现原子操作的几个问题

ABA问题

ABA问题在大多数场景下,不解决其实也没什么影响。

解决思路:添加版本戳,在变量前面追加上版本号,每次变量更新的时候把版本号加 1,那么 A-->B-->A 就会变成 1A-->2B-->3A

循环时间长,对于cpu来说开销较大

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

对于多个共享变量操作时就无法使用CAS来保证原子性了,这个时候还是需要用锁。

还有一个取巧的办法,就是把多个共享变量合并成一个共享变量来操作。比如,有两个共享变量 i=2,j=a,合并一下 ij=2a,然后用 CAS 来操作 ij。

从 Java 1.5开始,JDK 提供了AtomicReference类来保证引用对象之间的原子性,就可以把多个变量放在一个对象里来进行 CAS 操作。

相关原子操作类的使用

这些类的用户都大同小异,这里就拿几个典型来举例

AtomicInteger

// 以原子方式将给定值添加到当前值,然后将相加后的结果返回
public final int addAndGet(int delta){}
// 指定期望值与修改后的值,如果期望值和当前值相同则进行更新操作
public final boolean compareAndSet(int expect, int update) {}
// 先返回当前值,然后再进行原子自增1
public final int getAndIncrement() {}
// 先返回当前值,然后进行原子更新操作
public final int getAndSet(int newValue) {}

案例:

public class UseAtomicInt {
    static AtomicInteger ai = new AtomicInteger(10);
    public static void main(String[] args) {
        ai.getAndIncrement();
        ai.incrementAndGet();
        //ai.compareAndSet();
        ai.addAndGet(24);
    }
}

AtomicIntegerArray

提供原子的方式更新数据中的整形,常用方法如下:

// 以原子方式将给定值添加到索引 i 处的元素。然后返回更新后的值
public final int addAndGet(int i, int delta){}
// 先比较,期望值和当前值相同再执行更新操作
public final boolean compareAndSet(int i, int expect, int update) {}

案例:

public class AtomicArray {
    static int[] value = new int[] { 1, 2 };
    static AtomicIntegerArray ai = new AtomicIntegerArray(value);
    public static void main(String[] args) {
        ai.getAndSet(0, 3);
        System.out.println(ai.get(0));
        //原数组不会变化
        System.out.println(value[0]);
        }
}
Process finished with exit code 0

// 输出结果
3
1

需要注意的是,数组 value 通过构造方法传递进去,然后 AtomicIntegerArray会将当前数组复制一份,所以当 AtomicIntegerArray 对内部的数组元素进行修改 时,不会影响传入的数组。

更新引用类型

如果要同时更新多个原子变量就需要使用更新引用类型提供的类了。Atomic提供了三个类:

AtomicReference

原子更新引用类型

案例:

public class UseAtomicReference {
    public static AtomicReference<UserInfo> atomicUserRef;
    public static void main(String[] args) {
        //要修改的实体的实例
        UserInfo user = new UserInfo("Mark", 15);
        atomicUserRef = new AtomicReference(user);
        // 再创建一个对象
        UserInfo updateUser = new UserInfo("Bill",17);
        // 期望值和当前值相同就进行修改
        atomicUserRef.compareAndSet(user,updateUser);
        System.out.println(atomicUserRef.get());
        System.out.println(user);
        /*
        	输出结果:
            UserInfo{name='Bill', age=17}
            UserInfo{name='Mark', age=15}
		*/
    }
    /**
     * 定义一个实体类
     */
    static class UserInfo {
        private volatile String name;
        private int age;
        public UserInfo(String name, int age) {
            this.name = name;
            this.age = age;
        }
        public String getName() {
            return name;
        }
        public int getAge() {
            return age;
        }
        @Override
        public String toString() {
            return "UserInfo{" +
                    "name='" + name + '\'' +
                    ", age=" + age +
                    '}';
        }
    }
}

AtomicStampedReference

利用版本戳的形式记录了每次改变以后的版本号,这样的话就不会存在 ABA问题了

AtomicMarkableReference

原子更新带有标记位的引用类型。可以原子更新一个布尔类型的标记位和引 用类型。

构造方法是 AtomicMarkableReference(V initialRef,booleaninitialMark)。

AtomicMarkableReference跟 AtomicStampedReference 差不多,

AtomicStampedReference 是使用 pair 的 int stamp 作为计数器使用

AtomicMarkableReference 的使用pair 的boolean mark。

AtomicStampedReference 可能关心的是动过几次,AtomicMarkableReference 关心的是有没有被人动过。

案例:

// 第二个线程,期望的时间戳和当前时间戳不同,所以更新不成功
public class UseAtomicStampedReference {
    static AtomicStampedReference<String> asr = new AtomicStampedReference("mark", 0);
    public static void main(String[] args) throws InterruptedException {
        //拿到当前的版本号(旧)
        final int oldStamp = asr.getStamp();
        final String oldReference = asr.getReference();
        System.out.println(oldReference + "============" + oldStamp);
        Thread rightStampThread = new Thread(new Runnable() {
            @Override
            public void run() {
                System.out.println(Thread.currentThread().getName() + ":当前变量值:"
                        + oldReference + "-当前版本戳:" + oldStamp + "\n"
                        + asr.compareAndSet(oldReference, oldReference + "+Java", oldStamp, oldStamp + 1));
            }
        });
        Thread errorStampThread = new Thread(new Runnable() {
            @Override
            public void run() {
                String reference = asr.getReference();
                System.out.println(Thread.currentThread().getName() + ":当前变量值:"
                        + reference + "-当前版本戳:" + asr.getStamp() + "\n"
                        + asr.compareAndSet(reference, reference + "+C", oldStamp, oldStamp + 1));
            }
        });
        rightStampThread.start();
        rightStampThread.join();
        errorStampThread.start();
        errorStampThread.join();
        System.out.println(asr.getReference() + "============" + asr.getStamp());
    }
}

输出结果

mark============0
Thread-0:当前变量值:mark-当前版本戳:0
true
Thread-1:当前变量值:mark+Java-当前版本戳:1
false
mark+Java============1

原子更新字段类

如果需原子地更新某个类里的某个字段时,就需要使用原子更新字段类

Atomic 包提供了以下 3 个类进行原子字段更新。 要想原子地更新字段类需要两步。

因为原子更新字段类都是抽象类, 每次使用的时候必须使用静态方法 newUpdater()创建一个更新器,并且需要设置想要更新的类和属性。

更新类的字段(属性)必须使用 public volatile修饰符。

  • AtomicIntegerFieldUpdater:原子更新整型的字段的更新器。
  • AtomicLongFieldUpdater:原子更新长整型字段的更新器。
  • AtomicReferenceFieldUpdater:原子更新引用类型里的字段。

LongAdder

并发量较少,自旋的冲突也就较少。但如果并发很多的情况下,CAS机制就不如synchronized了,因为很多个线程都集中判断一个变量的值,不断的自旋,对cpu的消耗也较大,同一时刻又只会一个线程更新成功。

在JDK1.8就引入了LongAdder类,它在处理上面问题的时候是采用的一种热点数据的分散写

LongAdder中有两个成员变量

// 当为非空时,大小为 2 的幂。
// 如果并发很高就使用cell数组做写热点的分散,其中某些线程共同操作某一个数组中的元素
transient volatile Cell[] cells;
// 当争抢较少时使用这个变量来进行cas,就类似于AtomicInteger类中的value变量
transient volatile long base;

然后调用sum()方法将数组cells和base变量的中做一个汇总,返回当前总和。在没有并发更新的情况下调用将返回准确的结果,但在计算总和时发生的并发更新可能不会合并,所以sum()方法并不能保证强一致性,它返回的只是一个近似值

// 可以看到 sum()方法没有任何加锁的逻辑
public long sum() {
    Cell[] as = cells;
    Cell a;
    long sum = base;
    if (as != null) {
        for (int i = 0; i < as.length; ++i) {
            if ((a = as[i]) != null)
                sum += a.value;
        }
    }
    return sum;
}

到此这篇关于Java CAS与Atomic原子操作核心原理详解的文章就介绍到这了,更多相关Java CAS与Atomic原子操作内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

相关文章

  • Spring框架基于AOP实现简单日志管理步骤解析

    Spring框架基于AOP实现简单日志管理步骤解析

    这篇文章主要介绍了Spring框架基于AOP实现简单日志管理步骤解析,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下
    2020-06-06
  • Spring Boot 配置文件(application.yml、application-dev.yml、application-test.yml)

    Spring Boot 配置文件(application.yml、application-dev.y

    本文主要介绍了Spring Boot 配置文件,主要包含application.yml、application-dev.yml、application-test.yml,具有一定的参考价值,感兴趣的可以了解一下
    2024-03-03
  • Java面向对象之内部类详解

    Java面向对象之内部类详解

    在 Java 中,允许一个类的定义位于另一个类的内部,前者称为内部类,后者称为外部类。这篇文章将总结一下内部类的使用,感兴趣的可以了解一下
    2022-10-10
  • Java Floyd算法求有权图(非负权)的最短路径并打印

    Java Floyd算法求有权图(非负权)的最短路径并打印

    这篇文章主要介绍了Java Floyd算法求有权图(非负权)的最短路径并打印,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2019-07-07
  • JavaWeb Spring依赖注入深入学习

    JavaWeb Spring依赖注入深入学习

    这篇文章主要为大家详细介绍了JavaWeb Spring依赖注入,深入学习Spring依赖注入,感兴趣的小伙伴们可以参考一下
    2016-09-09
  • Java发送http请求的示例(get与post方法请求)

    Java发送http请求的示例(get与post方法请求)

    这篇文章主要介绍了Java发送http请求的示例(get与post方法请求),帮助大家更好的理解和使用Java,感兴趣的朋友可以了解下
    2021-01-01
  • Java序列化和反序列化示例介绍

    Java序列化和反序列化示例介绍

    大家好,本篇文章主要讲的是Java序列化和反序列化示例介绍,感兴趣的同学赶快来看一看吧,对你有帮助的话记得收藏一下,方便下次浏览
    2022-01-01
  • Java实现Excel导入导出数据库的方法示例

    Java实现Excel导入导出数据库的方法示例

    这篇文章主要介绍了Java实现Excel导入导出数据库的方法,结合实例形式分析了java针对Excel的读写及数据库操作相关实现技巧,需要的朋友可以参考下
    2017-08-08
  • 一文带你了解SpringBoot的停机方式

    一文带你了解SpringBoot的停机方式

    停机简单的说,就是向应用进程发出停止指令之后,能保证正在执行的业务操作不受影响,直到操作运行完毕之后再停止服务。本文就来和大家聊聊Springboot的停机方式与停机处理
    2023-02-02
  • elasticsearch集群cluster主要功能详细分析

    elasticsearch集群cluster主要功能详细分析

    这篇文章主要为大家介绍了elasticsearch集群cluster主要功能详细分析,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2022-04-04

最新评论