并发复习笔记之第七章(原子类和 CAS)
想看后续请持续关注
以下来源有书籍 深入理解 JVM 虚拟机,java 并发编程的艺术,深入浅出多线程,阿里巴巴技术手册以及一些公众号 CS-Notes,JavaGuide,以及一些大厂高频面试题吐血总结,以及狂神说视频笔记,目的在于通过问题来复习整个多线程,已下是全部章节,觉得不错点个赞评论收藏三连一下,您的鼓励就是我继续创作的最大动力!!!!
一.多线程基础
二.多线程基础之 volatile
三.多线程基础之synchronized
四.多线程使用及线程间的通信
五.多线程进阶之锁
六.多线程并发之容器
七.原子类和 CAS
八.并发工具类
九.线程池
7 原子类和 CAS
7.1介绍一下原子类
并发包 java.util.concurrent
的原子类都存放在java.util.concurrent.atomic
下
7.2里面主要有什么?
基本类型 | 数组类型 | 引用类型 |
---|---|---|
AtomicInteger(其余类似)(Atomic+ 包装类) | AtomicIntegerArray(其余类似) | AtomicStampedReference(解决 CAS 原子更新的ABA 问题) |
7.3讲讲该类的使用
public final int get() //获取当前的值
public final int getAndIncrement()//获取当前的值,并自增
public final int getAndDecrement() //获取当前的值,并自减
boolean compareAndSet(int expect, int update) //如果输入的数值等于预期值,则以原子方式将该值设置为输入值(update)
AtomicInteger atomicInteger = new AtomicInteger(2020);
System.out.println(atomicInteger.compareAndSet(2020, 2021)); System.out.println(atomicInteger.get());
举个例子使用10个线程对某个数进行相加,加到20000,将该数定义为 AtomicInteger 即可准确加到20000,无需锁,也可实现,实现了相加的原子性操作
答题: 简单说一 下这几个类即可
7.4讲一下 CAS 的原理
即compare and swap(比较与交换),是一种有名的无锁算法。无锁编程,即不使用锁的情况下实现多线程之间的变量同步 CAS算法涉及到三个操作数
- 需要读写的内存值 V
- 进行比较的值 A
- 拟写入的新值 B
当且仅当 V 的 值等于 A时,CAS通过原子方式用新值B来更新V的值,否则不会执行任何操作(比较和替换是一个原子操作)。一般情况下是一个自旋操作,即不断的重试。避免 synchronized 这种重量级锁的高开销,执行效率大为提升。
答题:CAS介绍 + CAS实现
7.5 CAS 有哪些问题?⭐️
- ABA 问题
如果一个变量V初次读取的时候是A值,并且在准备赋值的时候检查到它仍然是A值,那我们就能说明它的值没有被其他线程修改过了吗?很明显是不能的,因为在这段时间它的值可能被改为其他值,然后又改回A,那CAS操作就会误认为它从来没有被修改过。这个问题被称为CAS操作的 "ABA"问题。
- 循环时间长开销大
自旋CAS(也就是不成功就一直循环执行直到成功)如果长时间不成功,会给CPU带来非常大的执行开销。
- 只能保证一个共享变量的原子操作
CAS 只对单个共享变量有效,当操作涉及跨多个共享变量时 CAS 无效。AtomicReference类
把多个共享变量合并成一个共享变量来操作。
7.6 如何解决 ABA 问题 ⭐️
package com.kuang.cas;
import java.util.concurrent.atomic.AtomicInteger;
public class CASDemo {
// ============== 捣乱的线程 ================== System.out.println(atomicInteger.compareAndSet(2020, 2021)); System.out.println(atomicInteger.get());
System.out.println(atomicInteger.compareAndSet(2021, 2020)); System.out.println(atomicInteger.get());
// ============== 期望的线程 ==================
System.out.println(atomicInteger.compareAndSet(2020, 6666)); System.out.println(atomicInteger.get());
}
}
解决 ABA 问题的关键就是 : 原子引用也就是上面提到的AtomicStampedReference这个类,引入版本号。ABA问题的解决思路就是使用版本号。在变量前面 追加上版本号,每次变量更新的时候把版本号加1,那么A→B→A就会变成1A→2B→3A。这个 类的compareAndSet方法的作用是首先检查当前引用是否等于预期引用,并且检查当前标志是 否等于预期标志,如果全部相等,则以原子方式将该引用和该标志的值设置为给定的更新值。
答题思路 : ABA 问题, 原子引用,AtomicStampedReference,版本号