Java中的CAS简述

目录

1、CAS是什么

2、CAS的生活化例子

3、Java中的atomic包

4、unsafe类

5、CAS的缺点及解决方案

小结


1、CAS是什么

CAS(Compare and Swap)是一种并发编程中的原子操作,用于实现多线程环境下的无锁同步。它是一种乐观锁的实现方式,通过基于硬件的原子指令,同时完成“读内存,比较是否相等,修改内存”这三个步骤,本质上需要CPU指令的支持。通过比较内存中的值与预期值是否相等来决定是否进行更新。

在Java中,CAS通常使用java.util.concurrent.atomic包下的原子类来实现,例如AtomicInteger、AtomicLong、AtomicReference等。这些原子类提供了一系列的原子操作方法,保证了操作的原子性和线程安全性。

CAS操作包含三个操作数:内存位置(通常是一个变量)预期值新值

它的执行过程如下:

1. 获取当前内存位置的值(旧值)。

2. 比较内存位置的值与预期值是否相等,如果相等则执行第4步否则(不相等)执行第3步

3. 更新内存位置的值为新值,然后返回到第1步

4. CAS操作成功,更新成功;否则,返回到第1步。

CAS实现流程图:

Java中的CAS简述_第1张图片

图片来源:【Java中的CAS实现原理】_java cas原理_浪打白龙的博客-CSDN博客

2、CAS的生活化例子

例如:常见的修改登录密码操作。我们无论是在各个APP还是网站上修改密码的时候,一般都需要输入用户id、原密码和新密码等诸如此类的方式。那么在这个修改操作过程中,需要的是:数据库存储的原密码信息、用户输入的原密码、以及更新后的新密码。数据存储的原密码信息(主内存),用户输入的原密码(线程副本)。当数据库中存储的和用户输入的原密码对比相同的时候,才可以将原密码更新为新密码,否则就不能更新。

简单理解就是:线程M(工作区值为A),认为主内存V中的共享变量值是(包含)A,如果V的值是A,那么就将新值B替换V。如果不是,就不更新V的值,只要告诉我V的最新值。线程M会一直自旋操作。

3、Java中的atomic包

Java中的java.util.concurrent.atomic包提供了一组原子类,用于支持在多线程环境下进行原子操作。这些原子类提供了一些基本类型的原子操作,如整型、长整型、布尔型等,以及一些引用类型的原子操作。

以下是java.util.concurrent.atomic包中常用的原子类:

AtomicBoolean:提供了对布尔类型的原子操作,支持原子的读取和设置操作。

AtomicInteger:提供了对整型的原子操作,支持原子的读取、设置、自增、自减等操作。

AtomicLong:提供了对长整型的原子操作,支持原子的读取、设置、自增、自减等操作。

AtomicReference:提供了对引用类型的原子操作,支持原子的读取和设置操作。

AtomicIntegerArray:提供了对整型数组的原子操作,支持原子的读取、设置、自增、自减等操作。

AtomicLongArray:提供了对长整型数组的原子操作,支持原子的读取、设置、自增、自减等操作。

AtomicReferenceArray:提供了对引用类型数组的原子操作,支持原子的读取和设置操作。

这些原子类的操作都是线程安全的,可以在多线程环境下进行并发访问而不需要额外的同步措施(如锁)。它们使用了底层的硬件原子指令或其他技术来实现原子性,从而提供了高效且线程安全的操作。 通过使用atomic包中的原子类,可以简化多线程编程的复杂性,并提高程序的性能和可靠性。它们通常用于实现计数器、标志位、状态标记等在多线程环境下的共享变量。

4、unsafe类

(1)CAS的原子性靠的是底层的unsafe类,这个类中文译为“不安全的”,因此对于普通程序员来说是“有风险”的,一般应用开发者不会用到这个类。

(2)unsafe类是CAS的核心类,由于java无法直接访问底层系统,需要通过本地(native)方法访问,通过该类可以直接操作特定的内存数据。unsafe类存在于sun.misc包中,其内部方法操作可以像C的指针一样直接操作内存,因为java中的CAS依赖于unsafe类中的方法。

(3)注意unsafe类中的所有方法都是native修饰的,也就是说unsafe类中的方法都直接调用操作系统底层资源执行相应任务,unsafe类中的native方法是调用底层原语,原语是有原子性的。

5、CAS的缺点及解决方案

ABA问题,即在操作过程中,内存位置的值可能经过多次修改后又恢复成原来的值。

解决方案:可以添加版本号作为标识,在CAS比较数据当前值和旧值的时候,也要比较版本号是否符合预期,从而对应地增加版本号。如果当前版本号和读到的版本号一致,则修改数据,版本号+1; 如果当前版本号高于读到的版本号,就操作失败。

Java提供了AtomicStampedReference和AtomicMarkableReference等类来解决ABA问题。

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

JDK1.5之后,新增了AtomicReference类来保证引用对象之间的原子性,可以将多个变量放到一个对象中。

循环时间长开销大,高并发多个线程同时操作的情况下,可能会导致大量线程CAS失败,CAS保持长时间自旋,加重CPU的执行负担,降低了并发能力。

解决方案: 1. 分散操作热点,使用 LongAdder 替代基础原子类 AtomicLong。2. 使用队列削峰,将发生 CAS 争用的线程加入一个队列中排队,降低 CAS 争用的激烈程度。例如JUC 中非常重要的基础类 AQS(抽象队列同步器)。

小结

总之,CAS是一种无锁同步的机制,通过比较并交换的方式来实现多线程环境下的原子操作。它避免了使用锁的开销,提供了一种高效的并发同步方式。

参考:

【精选】Java中CAS详解_java cas-CSDN博客

https://www.cnblogs.com/Shuuichi/p/10590710.html

并发编程之CAS&Atomic原子操作 - 知乎

【精选】Java多线程 (三)—— CAS机制_java中的cas机制_有你的星空的博客-CSDN博客

https://baijiahao.baidu.com/s?id=1662010083512305225&wfr=spider&for=pc

Java中的CAS_java cas用法-CSDN博客


感谢阅读,码字不易,多谢点赞!如有不当之处,欢迎反馈指出,感谢!

Java中的CAS简述_第2张图片

你可能感兴趣的:(java,1024程序员节,java,学习)