Java中CAS算法的集中体现:Atomic原子类库,你了解吗?
一、写在开头
在前面的博文中我们学习了volatile关键字,知道了它可以保证有序性和可见性,但无法保障原子性,结局原子性问题推荐使用synchronized、Lock或者AtomicInteger;我们还学习过CAS算法,在那篇博文中我们同样也提及atomic。那么今天,我们就来好好学一学Atomic原子库,一个基于CAS算法实现的高效并发工具库!
并发包 java.util.concurrent 的原子类都存放在java.util.concurrent.atomic中,如下图所示:

1.1 Atomic释义
Atomic翻译为“原子”,何为原子?在化学领域的原子被认为是构成化学反应的最小微观粒子,是不可分割的最小单位(当然后面又发现了更小的粒子,咱们不杠哈),伟大的Doug Lea大师,将并发的一些类以此单词开头命名,一语中的!
- 原子性在程序中所表达的意思是:一个或者多个操作在 CPU 执行的过程中不被中断的特性!
- 原子操作在程序中表达的意思是:即最小不可拆分的操作,也就是说操作一旦开始,就不能被打断,直到操作完成!
二、四大原子分类
我们根据操作的数据类型可以将JUC包中的原子类做如下的4种划分:
2.1 基本类型
原子操作的基本类型主要可分为:
- AtomicBoolean:布尔型原子类;
- AtomicInteger:整型原子类;
- AtomicLong:长整型原子类;
这三种方式用法几乎相同,都是以原子更新的方式操作基本类型,我们在这里以AtomicInteger为例看一下它的使用与原理。
1)AtomicInteger的常用方法
public final int get() //获取当前的值
public final int getAndSet(int newValue)//获取当前的值,并设置为newValue
public final int getAndIncrement()//获取当前的值,并自增
public final int incrementAndGet()//增加 1,并获取新值,注意与上面方法区分
public final int getAndDecrement() //获取当前的值,并自减
public final int getAndAdd(int delta) //获取当前的值,并加上预期的值delta
boolean compareAndSet(int expect, int update) //如果输入的数值等于预期值,则以原子方式将该值设置为输入值(update)
public final void lazySet(int newValue)//最终设置为newValue,使用 lazySet 设置之后可能导致其他线程在之后的一小段时间内还是可以读到旧的值。
2)AtomicInteger的使用案例
public class Test {
public static void main(String[] args) {
//临时值
int temvalue = 0;
AtomicInteger i = new AtomicInteger(0);
temvalue = i.getAndSet(3);
System.out.println("temvalue:" + temvalue + "; i:" + i); //temvalue:0; i:3
temvalue = i.getAndIncrement();
System.out.println("temvalue:" + temvalue + "; i:" + i); //temvalue:3; i:4
temvalue = i.getAndAdd(5);
System.out.println("temvalue:" + temvalue + "; i:" + i); //temvalue:4; i:9
temvalue = i.incrementAndGet();
System.out.println("temvalue:" + temvalue + "; i:" + i); //temvalue:10; i:10
}
}
这里面需要注意的一点是getAndIncrement()方法与incrementAndGet(),一个先获值后自增,一个先自增后获值。
3)AtomicInteger的底层原理
我们以getAndIncrement()为例,去跟入它的底层代码会发现,其内部是同调佣UnSafe类的静态方法 getUnsafe 实现的,UnSafe类我们在讲解CAS算法的时候有提及,后面找个时间再单独学一下它,其底层是通过CAS,原子性的进行增加值。
public final int getAndIncrement() {
// 使用Unsafe类中的getAndAddInt方法原子地增加AtomicInteger的当前值
// 第一个参数this是AtomicInteger的当前实例
// 第二个参数valueOffset是一个偏移量,它指示在AtomicInteger对象中的哪个位置可以找到实际的int值
// 第三个参数1表示要加到当前值上的值(即增加的值)
// 此方法返回的是增加前的原始值
return unsafe.getAndAddInt(this, valueOffset, 1);
}
Unsafe类是 Java 中的一个特殊类,用于执行低级、不安全的操作。getAndIncrement 方法就是利用了 Unsafe 类提供的 CAS(Compare-And-Swap)操作来实现原子的 increment 操作。CAS 是一种常用的无锁技术,允许在多线程环境中原子地更新值。
2.2 数组类型
原子操作根据数组类型,可以分为如下几种:
- AtomicIntegerArray:整形数组原子类
- AtomicLongArray:长整形数组原子类
- AtomicReferenceArray:引用类型数组原子类
这三种同样很类似,我们以AtomicIntegerArray为例来介绍一下。
1)AtomicIntegerArray的常用方法
public final int get(int i) //获取 index=i 位置元素的值
public final int getAndSet(int i, int newValue)//返回 index=i 位置的当前的值,并将其设置为新值:newValue
public final int getAndIncrement(int i)//获取 index=i 位置元素的值,并让该位置的元素自增
public final int getAndDecrement(int i) //获取 index=i 位置元素的值,并让该位置的元素自减
public final int getAndAdd(int i, int delta) //获取 index=i 位置元素的值,并加上预期的值
boolean compareAndSet(int i, int expect, int update) //如果输入的数值等于预期值,则以原子方式将 index=i 位置的元素值设置为输入值(update)
public final void lazySet(int i, int newValue)//最终 将index=i 位置的元素设置为newValue,使用 lazySet 设置之后可能导致其他线程在之后的一小段时间内还是可以读到旧的值。
2)AtomicIntegerArray的使用案例
public class Test {
public static void main(String[] args) {
int temvalue = 0;
int[] nums = { 1, 2, 3, 4, 5, 6 };
AtomicIntegerArray i = new AtomicIntegerArray(nums);
for (int j = 0; j < nums.length; j++) {
System.out.print(i.get(j));
}
System.out.println();
temvalue = i.getAndSet(0, 2);
System.out.println("temvalue:" + temvalue + "; i:" + i);
temvalue = i.getAndIncrement(0);
System.out.println("temvalue:" + temvalue + "; i:" + i);
temvalue = i.getAndAdd(0, 5);
System.out.println("temvalue:" + temvalue + "; i:" + i);
}
}
输出:
123456
temvalue:1; i:[2, 2, 3, 4, 5, 6]
temvalue:2; i:[3, 2, 3, 4, 5, 6]
temvalue:3; i:[8, 2, 3, 4, 5, 6]
2.3 引用类型
除了如上的2种原子类外,atomic包中还提供了引用类型原子类。大概为如下几种:
- AtomicReference:原子更新引用类型,使用AtomicReference类保证对象之间的原子性,把多个变量放到一个对象里面进行 CAS 操作;
- AtomicStampedReference:原子更新带有版本号的引用类型。该类将整数值与引用关联起来,可用于解决原子的更新数据和数据的版本号,可以解决使用 CAS 进行原子更新时可能出现的 ABA 问题;
- AtomicMarkableReference:原子更新带有标记的引用类型,该类将 boolean 标记与引用关联起来。
常用方法又上述两种类型一致,这里不再赘述,我们直接写一个demo感受一下它的使用吧
public class TestAtomicReference {
private static AtomicReference<User> reference = new AtomicReference<>();
public static void main(String[] args) {
User user1 = new User("小明", 18);
reference.set(user1);
User user2 = new User("小华",20);
User user = reference.getAndSet(user2);
System.out.println(user);
System.out.println(reference.get());
}
static class User {
private String userName;
private int age;
public User(String userName, int age) {
this.userName = userName;
this.age = age;
}
@Override
public String toString() {
return "User{" +
"userName='" + userName + '\'' +
", age=" + age +
'}';
}
}
}
输出:
User{userName='小明', age=18}
User{userName='小华', age=20}
通过结果我们可以看出先给该reference引用对象set一个user1,再通过getAndSet()方法进行赋值,先输出当前对象数据,紧接着引用指向最新的对象地址,也就是“User{userName='小华', age=20}”。
2.4 对象的属性修改类型
除了原子更新对象(引用类型)外,atomic中还提供了更新对象的属性字段的原子类:
- AtomicIntegerFieldUpdater:原子更新整形字段的更新器;
- AtomicLongFieldUpdater:原子更新长整形字段的更新器;
- AtomicReferenceFieldUpdater:原子更新引用类型里的字段的更新器。
如果想要原子的更新对象的属性,实现起来较上面几种类型略微复杂一下,大概分为两步;
步骤1️⃣
通过静态方法newUpdater创建一个更新器,并且设置想要更新的类和字段;
步骤2️⃣
字段必须使用public volatile进行修饰;
以 AtomicIntegerFieldUpdater为例,我们写一个测试类感受一下。
public class TestAtomicIntegerFieldUpdater {
//创建一个age的更新器
private static AtomicIntegerFieldUpdater updater = AtomicIntegerFieldUpdater.newUpdater(User.class,"age");
public static void main(String[] args) {
User user = new User("小明", 17);
int oldValue = updater.getAndAdd(user, 1);
System.out.println(oldValue);//17
System.out.println(updater.get(user));//18
}
static class User {
private String userName;
public volatile int age;
public User(String userName, int age) {
this.userName = userName;
this.age = age;
}
@Override
public String toString() {
return "User{" +
"userName='" + userName + '\'' +
", age=" + age +
'}';
}
}
通过AtomicIntegerFieldUpdater.newUpdater(User.class,"age")创建一个age的更新器,然后调用getAndAdd(user, 1)进行年龄加1操作,从17岁变为18岁。
Java中CAS算法的集中体现:Atomic原子类库,你了解吗?的更多相关文章
- Java中CAS原理详解
在JDK 5之前Java语言是靠synchronized关键字保证同步的,这会导致有锁 锁机制存在以下问题: (1)在多线程竞争下,加锁.释放锁会导致比较多的上下文切换和调度延时,引起性能问题. (2 ...
- Java中CAS详解
在JDK 5之前Java语言是靠synchronized关键字保证同步的,这会导致有锁 锁机制存在以下问题: (1)在多线程竞争下,加锁.释放锁会导致比较多的上下文切换和调度延时,引起性能问题. (2 ...
- Java中CAS 基本实现原理
一.前言 了解CAS,首先要清楚JUC,那么什么是JUC呢?JUC就是java.util.concurrent包的简称.它有核心就是CAS与AQS.CAS是java.util.concurrent.a ...
- Java中CAS 基本实现原理 和 AQS 原理
一.前言了解CAS,首先要清楚JUC,那么什么是JUC呢?JUC就是java.util.concurrent包的简称.它有核心就是CAS与AQS.CAS是java.util.concurrent.at ...
- Java中CAS原理分析(volatile和synchronized浅析)
CAS是什么? CAS英文解释是比较和交换,是cpu底层的源语,是解决共享变量原子性实现方案,它定义了三个变量,内存地址值对应V,期待值E和要修改的值U,如下图所示,这些变量都是在高速缓存中的,如果两 ...
- 详解java中CAS机制所导致的问题以及解决——内存顺序冲突
[CAS机制] 指的是CompareAndSwap或CompareAndSet,是一个原子操作,实现此机制的原子类记录着当前值的在内存中存储的偏移地址,将内存中的真实值V与旧的预期值A做比较,如果不一 ...
- Java 中 CAS
一.CAS 概念 CAS ,全称 Compare And Swap(比较与交换),解决多线程并行情况下使用锁造成性能损耗的一种机制. 实现思想 CAS(V.A.B) ,V为内存地址,A为预期原值,B ...
- java中int算法的有趣现象
今天无意中发现一个怪事,当时没理解,后来跟网友讨论了才知道原理,是关于int值的加法算法,两段代码如下: 代码1: @Test public void test1() { ; ; try { whil ...
- JAVA中的算法
线性排序 冒泡排序 package com.jiedada.creat; public class maopao { public static void main(String[] args) { ...
- java中的多态是怎么体现的
多态是父类的引用指向了自己的子类对象. 当调用方法时,会根据对象去调用方法,先在子类中找,没有就去父类中找 总结:成员变量是在编译阶段绑定的,方法时在运行阶段绑定的.属性不能重写,方法可以重写. pu ...
随机推荐
- C# 介绍、应用领域、入门、语法、输出和注释详解
什么是 C#? C#(发音为"C-Sharp")是一种由 Microsoft 创建的面向对象的编程语言,运行在 .NET Framework 上.源于 C 家族,与流行的语言如 C ...
- 【FAQ】调用应用内支付SDK时报错,如何用tag对问题进行排查和分析
华为应用内支付服务(In-App Purchases,IAP)为开发者提供便捷的应用内支付体验和简便的接入流程.开发者的应用集成IAP SDK后,调用IAP SDK接口,启动IAP收银台,即可实现应用 ...
- Avalonia 中的样式和控件主题
在 Avalonia 中,样式是定义控件外观的一种方式,而控件主题则是一组样式和资源,用于定义应用程序的整体外观和感觉.本文将深入探讨这些概念,并提供示例代码以帮助您更好地理解它们. 样式是什么? 样 ...
- mongodb基础整理篇————设计[四]
前言 简单整理一下mongodb的设计. 正文 设计三步曲: 第一步:建立基础文档模型 例子: 1对1建模: 1 对多建模: N对N模型: 第二步: 根据读写况细化 遇到的问题: 解决: 查询连表: ...
- 重新点亮linux 命令树————守护进程[二十三]
前言 简单整理一下守护进程. 正文 守护进程一般是开机启动的. 使用nohup 与 & 符号配合运行一个命令 nohup命令使进程忽略hangup(挂起)信号 使用tail 查看log文件. ...
- MMdeploy TensorRT 模型实时监控桌面,PyQt5实现
本项目遵从:GNU General Public License v3.0 个人博客『 gy77 』: GitHub仓库 :代码源码详见仓库 demo_qt.py 我的CSDN博客 我的博客园 简介: ...
- szfpga 高云gowin国产开发板GW2AR-18核心板fpga cpld测试板
1. 概述 国产FPGA是最近几年起来的产品,具有性价比高特点.而GOWIN属于国产FPGA成员,在服务和芯片都是比较大的优势,很多用户都用在LED控制,电机控制,PLC设备上,以及用于替换Latti ...
- 力扣165(java)-比较版本号(中等)
题目: 给你两个版本号 version1 和 version2 ,请你比较它们. 版本号由一个或多个修订号组成,各修订号由一个 '.' 连接.每个修订号由 多位数字 组成,可能包含 前导零 .每个版本 ...
- 力扣231(java)-2的幂(简单)
题目: 给你一个整数 n,请你判断该整数是否是 2 的幂次方.如果是,返回 true :否则,返回 false . 如果存在一个整数 x 使得 n == 2x ,则认为 n 是 2 的幂次方. 示例 ...
- 真正的HTAP对用户和开发者意味着什么?
简介: Gartner 2016 年首次提出 HTAP(Hybrid Transaction / Analytical Processing,混合事务分析处理)并给出明确的定义:即同时支持 OLTP ...