java并发编程(5)--CAS是什么 底层原理 缺点

2024-09-03 09:08

本文主要是介绍java并发编程(5)--CAS是什么 底层原理 缺点,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一、CAS是什么?

 

看下⾯代码进⾏思考,此时number前⾯是加了volatile关键字修饰的,volatile不保证原⼦性,那么使 ⽤AtomicInteger是如何保证原⼦性的?

这⾥的原理是什么?CAS

 

class MyData {volatile int number = 0;AtomicInteger atomicInteger = new AtomicInteger();public void addPlusPlus(){number++;}public void addAtomic(){atomicInteger.getAndIncrement();}public void setTo60() {this.number = 60;}}

 

CAS的全称为Compare-And-Swap,⽐较并交换,是⼀种很重要的同步思想。它是⼀条CPU并发原 语。

它的功能是判断主内存某个位置的值是否为跟期望值⼀样,相同就进⾏修改,否则⼀直重试,直到⼀致 为⽌。

这个过程是原⼦的。

 

看下⾯这段代码,思考运⾏结果是

package thread;import java.util.concurrent.atomic.AtomicInteger;public class CASDemo {public static void main(String[] args) {AtomicInteger atomicInteger = new AtomicInteger(5);System.out.println(atomicInteger.compareAndSet(5, 2020) + "\t 当前数据 值 : " + atomicInteger.get());//修改失败System.out.println(atomicInteger.compareAndSet(5, 1024) + "\t 当前数据 值 : " + atomicInteger.get());}
}

第⼀次修改,期望值为5,主内存也为5,修改成功,为2020。

第⼆次修改,期望值为5,主内存为 2020,修改失败,需要重新获取主内存的值 。

 

查看 AtomicInteger.getAndIncrement() ⽅法,发现其没有加synchronized也实现了同步。

这是为什么?

 

CAS并发原语体现在JAVA语⾔中就是sum.misc.Unsafe类中的各个⽅法。

看⽅法源码,调⽤UnSafe类中 的CAS⽅法,JVM会帮我们实现出CAS汇编指令。

这是⼀种完全依赖于硬件的功能,通过它实现了原⼦ 操作。

再次强调,由于CAS是⼀种系统原语,原语属于操作系统⽤语范畴,是由若⼲条指令组成的,⽤于完成某个功能的⼀个过程,并且原语的执⾏执⾏是连续的,在执⾏过程中不允许被中断,也就是说

CAS是⼀条CPU的原⼦指令,不会造成所谓的数据不⼀致问题。

 

二、CAS底层原理

AtomicInteger内部的重要参数

1. Unsafe

是CAS的核⼼类,由于Java⽅法⽆法直接访问底层系统,需要通过本地(native)⽅法来访问,Unsafe 相当于⼀个后⻔,基于该类可以直接操作特定内存的数据。

Unsafe类存在于sum.misc包中,其内部⽅ 法操作可以像C的指针⼀样直接操作内存,因为Java中CAS操作的执⾏依赖于Unsafe类的⽅法。

注意Unsafe类中的所有⽅法都是native修饰的,也就是说Unsafe类中的⽅法都直接调⽤操作系统底层 资源执⾏相应任务

2. 变量valueOffset,

表示该变量值在内存中的偏移地址,因为Unsafe就是根据内存偏移地址获取数 据的。

3. 变量value⽤volatile修饰,

保证了多线程之间的内存可⻅性。

 

AtomicInteger.getAndIncrement() 调⽤了 Unsafe.getAndAddInt() ⽅法。

Unsafe 类的⼤部分⽅法都是 native 的,⽤来像C语⾔⼀样从底层操作内存。

C语句代码JNI,对应java⽅法

public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5)

UNSAFE_ENTRY(jboolean, Unsafe_CompareAndSwapInt(JNIEnv *env, jobject unsafe, jlong obj, jlong offset,jint e, jint x)) UnsafeWrapper("Unsafe_CompareAndSwapInt"); oop p = JNIHandles::resolve(obj); jint* add = (jint *)index_oop_from_field_offset_long(p, offset); return (jint)(Atomic::cmpxchg(x,addr,e))==e; 
UNSAFE_END//先想办法拿到变量value在内存中的地址addr。 
//通过Atomic::cmpxchg实现⽐较替换,其中参数x是即将更新的值,参数e是原内存的值。

这个⽅法的var1和var2,就是根据对象和偏移量得到在主内存的快照值var5。

然 后 compareAndSwapInt ⽅法通过var1和var2得到当前主内存的实际值。

如果这个实际值跟快照值相 等,那么就更新主内存的值为var5+var4。

如果不等,那么就⼀直循环,⼀直获取快照,⼀直对⽐,直 到实际值和快照值相等为⽌。

 

参数介绍

  • var1 AtomicInteger对象本身
  • var2 该对象值的引⽤地址
  • var4 需要变动的数量
  • var5 是通过var1和var2,根据对象和偏移量得到在主内存的快照值var5

 

⽐如有A、B两个线程,⼀开始都从主内存中拷⻉了原值为3,A线程执⾏ 到 var5=this.getIntVolatile ,即var5=3。

此时A线程挂起,B修改原值为4,B线程执⾏完毕,由 于加了volatile,所以这个修改是⽴即可⻅的。

A线程被唤醒,执⾏ this.compareAndSwapInt() ⽅法,发现这个时候主内存的值不等于快照值3,所以继续循环,重新从主内存获取。

 

三、CAS缺点

CAS实际上是⼀种⾃旋锁,

  • 1. ⼀直循环,开销⽐较⼤。我们可以看到getAndAddInt⽅法执⾏时,有个do while,如果CAS失 败,会⼀直进⾏尝试。如果CAS⻓时间⼀直不成功,可能会给CPU带来很⼤的开销。
  • 2. 对⼀个共享变量执⾏操作时,我们可以使⽤循环CAS的⽅式来保证原⼦操作,但是,对多个共享变量操作时,循环CAS就⽆法保证操作的原⼦性,这个时候就可以⽤锁来保证原⼦性。
  • 3. 引出了ABA问题。

 

 

 

 

 

这篇关于java并发编程(5)--CAS是什么 底层原理 缺点的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1132586

相关文章

Spring Boot集成Druid实现数据源管理与监控的详细步骤

《SpringBoot集成Druid实现数据源管理与监控的详细步骤》本文介绍如何在SpringBoot项目中集成Druid数据库连接池,包括环境搭建、Maven依赖配置、SpringBoot配置文件... 目录1. 引言1.1 环境准备1.2 Druid介绍2. 配置Druid连接池3. 查看Druid监控

Java中读取YAML文件配置信息常见问题及解决方法

《Java中读取YAML文件配置信息常见问题及解决方法》:本文主要介绍Java中读取YAML文件配置信息常见问题及解决方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要... 目录1 使用Spring Boot的@ConfigurationProperties2. 使用@Valu

创建Java keystore文件的完整指南及详细步骤

《创建Javakeystore文件的完整指南及详细步骤》本文详解Java中keystore的创建与配置,涵盖私钥管理、自签名与CA证书生成、SSL/TLS应用,强调安全存储及验证机制,确保通信加密和... 目录1. 秘密键(私钥)的理解与管理私钥的定义与重要性私钥的管理策略私钥的生成与存储2. 证书的创建与

浅析Spring如何控制Bean的加载顺序

《浅析Spring如何控制Bean的加载顺序》在大多数情况下,我们不需要手动控制Bean的加载顺序,因为Spring的IoC容器足够智能,但在某些特殊场景下,这种隐式的依赖关系可能不存在,下面我们就来... 目录核心原则:依赖驱动加载手动控制 Bean 加载顺序的方法方法 1:使用@DependsOn(最直

SpringBoot中如何使用Assert进行断言校验

《SpringBoot中如何使用Assert进行断言校验》Java提供了内置的assert机制,而Spring框架也提供了更强大的Assert工具类来帮助开发者进行参数校验和状态检查,下... 目录前言一、Java 原生assert简介1.1 使用方式1.2 示例代码1.3 优缺点分析二、Spring Fr

java使用protobuf-maven-plugin的插件编译proto文件详解

《java使用protobuf-maven-plugin的插件编译proto文件详解》:本文主要介绍java使用protobuf-maven-plugin的插件编译proto文件,具有很好的参考价... 目录protobuf文件作为数据传输和存储的协议主要介绍在Java使用maven编译proto文件的插件

Java中的数组与集合基本用法详解

《Java中的数组与集合基本用法详解》本文介绍了Java数组和集合框架的基础知识,数组部分涵盖了一维、二维及多维数组的声明、初始化、访问与遍历方法,以及Arrays类的常用操作,对Java数组与集合相... 目录一、Java数组基础1.1 数组结构概述1.2 一维数组1.2.1 声明与初始化1.2.2 访问

Javaee多线程之进程和线程之间的区别和联系(最新整理)

《Javaee多线程之进程和线程之间的区别和联系(最新整理)》进程是资源分配单位,线程是调度执行单位,共享资源更高效,创建线程五种方式:继承Thread、Runnable接口、匿名类、lambda,r... 目录进程和线程进程线程进程和线程的区别创建线程的五种写法继承Thread,重写run实现Runnab

Java 方法重载Overload常见误区及注意事项

《Java方法重载Overload常见误区及注意事项》Java方法重载允许同一类中同名方法通过参数类型、数量、顺序差异实现功能扩展,提升代码灵活性,核心条件为参数列表不同,不涉及返回类型、访问修饰符... 目录Java 方法重载(Overload)详解一、方法重载的核心条件二、构成方法重载的具体情况三、不构

Java通过驱动包(jar包)连接MySQL数据库的步骤总结及验证方式

《Java通过驱动包(jar包)连接MySQL数据库的步骤总结及验证方式》本文详细介绍如何使用Java通过JDBC连接MySQL数据库,包括下载驱动、配置Eclipse环境、检测数据库连接等关键步骤,... 目录一、下载驱动包二、放jar包三、检测数据库连接JavaJava 如何使用 JDBC 连接 mys