原子变量与CAS算法(二)
一、锁机制存在的问题
(1)在多线程竞争下,加锁、释放锁会导致比较多的上下文切换和调度延时,引起性能问题。
(2)一个线程持有锁会导致其它所有需要此锁的线程挂起。
(3)如果一个优先级高的线程等待一个优先级低的线程释放锁会导致优先级倒置,引起性能风险。
volatile是不错的机制,但是volatile不能保证原子性。因此对于同步最终还是要回到锁机制上来。
独占锁是一种悲观锁,synchronized就是一种独占锁,会导致其它所有需要锁的线程挂起,等待持有锁的线程释放锁。而另一个更加有效的锁就是乐观锁。所谓乐观锁就是,每次不加锁而是假设没有冲突而去完成某项操作,如果因为冲突失败就重试,直到成功为止。
二、原子操作
在说明原子操作之前,我们先看下面这段Java代码:
public static void main(String[] args) {
int i = 10;
i = i++; // i = 10
}
上述,i++的原子性问题,i++实际上分为三个步骤"读->改->写",等价于下面的三条语句。
int tmp = i;
i = i+1;
i = tmp;
我们针对i++,做一个小测试:
实现功能:开了2个线程,对同一个共享整型变量分别执行一亿次加1操作。
public class AtomicTest {
private static final int COUNT_TIMES = 10000 * 10000;
private static volatile int counter = 0;
public static void main(String[] args) {
Runnable r = () -> {
for (int i = 0; i < COUNT_TIMES; i++) {
counter++;
}
};
Thread t1 = new Thread(r);
Thread t2 = new Thread(r);
t1.start();
t2.start();
try {
t1.join();
t2.join();
System.out.printf("counter = %d\n", counter);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
程序执行结果:
开了2个线程对同一个共享整型变量分别执行一亿次加1操作,我们期望最后打印出来counter的值为200000000(2亿),但事与愿违,运行上面的代码,counter的值是极有可能不等于2亿的,而且每次运行结果都不一样,总是小于2亿。为什么会出现这个情况呢?从Java内存模型的角度来看,简单的counter++的执行过程其实分为如下三步:
第一步,从主内存中加载counter的值到线程工作内存
第二步,执行加1运算
第三步,把第二步的执行结果从工作内存写入到主内存
那么现在假设主内存中counter的值是100,两个线程现在都同时执行counter++,则可能出现如下情况:
线程 1 从主内存中加载counter的值100到线程 1 到工作内存 // 100
线程 2 从主内存中加载counter的值100到线程 2 到工作内存 // 100
线程 1 执行加1运算得到结果101
线程 2 执行加1运算得到结果101
线程 1 把101写入主内存中的counter变量
线程 2 把101写入主内存中的counter变量
线程1和2都执行了+1运算,本来我们期望得到102,但却错误的得到了101这个值。
从上面这个引起错误的流程可以看出,之所以结果错误,其本质是两个线程同时操作了同一个对象,线程1执行++运算的过程中插入了线程2的++操作,也就是说从另外一个线程的角度看++操作并不是一个原子操作。
现在我们已经知道多线程并发执行counter++其结果并不正确的原因了,但怎么解决这个问题呢?既然错误是因为++不是一个原子操作,那么我们想办法使其成为原子操作就可以了,所以我们可以:1,加锁,2,使用原子变量。
解决办法:
方法一、加锁,
伪码如下:
for (int i = 0; i < COUNT_TIMES; i++) {
lock();
counter++;
unlock();
}
就是在执行counter++之前加锁,防止其它线程同时执行这一句,这一句执行完之后解锁让其它线程有机会执行这一句。虽然这个方法可以解决问题,但大家可以自己试一下,你会发现加锁之后性能急剧下降,主要原因是锁冲突会造成线程等待别人解锁而造成线程切换,这种上下文切换开销很大。
方法二、原子变量
public class AtomicTest {
private static final int COUNT_TIMES = 10000 * 10000;
private static volatile int counter = 0;
private static volatile AtomicInteger atomCounter = new AtomicInteger(0); //Java提供的int型原子变量
public static void main(String[] args) {
Runnable r = () -> {
for (int i = 0; i < COUNT_TIMES; i++) {
atomCounter.addAndGet(1); //原子变量的加法
}
};
Thread t1 = new Thread(r);
Thread t2 = new Thread(r);
t1.start();;
t2.start();
try {
t1.join();
t2.join();
System.out.printf("atomCounter = %d\n", atomCounter.get());
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
代码中使用的AtomicInteger类,其addAndGet()方法执行加法运算,这个方法执行加法操作时是原子的,所以不需要我们在代码中加锁。如果我们运行这段代码,会发现它比前面提到的加锁方法效率高很多,加锁方法执行1亿次加法所用时间是使用原子变量的好几倍。为什么使用原子变量效率会高出这么多呢?要想找到答案,就得分析原子变量提供的原子操作是怎么实现的。
三、原子变量的实现原理
如何保证i++这种操作的原子性的原理呢?
int i = 0;
for (;;) {
v = i;
//lock cmpxchg指令的的逻辑 ---START---
lock总线
if (i == v) {
i = i + 1;
break;
}
unlock总线
//lock cmpxchg指令的的逻辑 ---END---
}
我们可以清楚的看到原子变量的原子操作也是用到了锁,只不过这个是硬件指令级别的锁,比我们软件实现的锁高效很多,更重要的是从上面的伪码可以看出,如果出现了冲突,只是不停的循环重试,而不会切换线程。
Java中使用的是循环调用CAS操作实现的原子变量的原子操作.
四、CAS (Compare and Swap)
乐观锁用到的机制就是CAS,Compare and Swap。
CAS的思想很简单:三个参数,一个当前内存值V、旧的预期值A、即将更新的值B,当且仅当预期值A和内存值V相同时,将内存值修改为B并返回true,否则什么都不做,并返回false。
下面以AtomicInteger的实现为例,分析一下CAS是如何实现的。
public class AtomicInteger extends Number implements java.io.Serializable {
// setup to use Unsafe.compareAndSwapInt for updates
// 基于该类可以直接操作特定内存的数据
private static final Unsafe unsafe = Unsafe.getUnsafe();
// 表示该变量值在内存中的偏移地址
private static final long valueOffset;
static {
try {
valueOffset = unsafe.objectFieldOffset
(AtomicInteger.class.getDeclaredField("value"));
} catch (Exception ex) { throw new Error(ex); }
}
// 用volatile修饰,保证了多线程之间的内存可见性
private volatile int value;
public final int get() {return value;}
}
Unsafe,是CAS的核心类,由于Java方法无法直接访问底层系统,需要通过本地(native)方法来访问,Unsafe相当于一个后门,基于该类可以直接操作特定内存的数据。
变量valueOffset,表示该变量值在内存中的偏移地址,因为Unsafe就是根据内存偏移地址获取数据的。
变量value用volatile修饰,保证了多线程之间的内存可见性。
看看AtomicInteger如何实现并发下的累加操作:
public final int getAndAdd(int delta) {
return unsafe.getAndAddInt(this, valueOffset, delta);
}
//unsafe.getAndAddInt
public final int getAndAddInt(Object var1, long var2, int var4) {
int var5;
do {
var5 = this.getIntVolatile(var1, var2);
} while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));
return var5;
}
假设线程A和线程B同时执行getAndAdd操作(分别跑在不同CPU上):
- AtomicInteger里面的value原始值为3,即主内存中AtomicInteger的value为3,根据Java内存模型,线程A和线程B各自持有一份value的副本,值为3。
- 线程A通过getIntVolatile(var1, var2)拿到value值3,这时线程A被挂起。
- 线程B也通过getIntVolatile(var1, var2)方法获取到value值3,运气好,线程B没有被挂起,并执行compareAndSwapInt方法比较内存值也为3,成功修改内存值为2。
- 这时线程A恢复,执行compareAndSwapInt方法比较,发现自己手里的值(3)和内存的值(2)不一致,说明该值已经被其它线程提前修改过了,那只能重新来一遍了。
- 重新获取value值,因为变量value被volatile修饰,所以其它线程对它的修改,线程A总是能够看到,线程A继续执行compareAndSwapInt进行比较替换,直到成功。
整个过程中,利用CAS保证了对于value的修改的并发安全,继续深入看看Unsafe类中的compareAndSwapInt方法实现。
五、模拟CAS
实例一:新建了10个线程去数数。
public class AtomicDemo {
public static void main(String[] args) {
Jack jack = new Jack();
for (int i = 0; i < 10; i++) {
new Thread(jack).start();
}
}
}
class Jack implements Runnable {
// private volatile int num = 1;
private int num = 1;
@Override
public void run() {
try {
Thread.sleep(200);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.print(getNum() + " ");
}
public int getNum() {
return num++;
}
}
程序运行结果分析:结果是,少数情况下出现正儿八经的从1数到10,大多数情况下都是有重复数字,然后数到8或者9。无论有没有volatile都是这样,也就说明了volatile在这里并没有保证线程安全。这是为什么呢?因为volatile只是保证操作都是在主存中进行,可是并不保证线程的互斥和原子性。
实例二:使用原子类实现上述功能
public class AtomicDemo {
public static void main(String[] args) {
Jack jack = new Jack();
for (int i = 0; i < 10; i++) {
new Thread(jack).start();
}
}
}
class Jack implements Runnable {
// private volatile int num = 1;
private AtomicInteger num = new AtomicInteger();
@Override
public void run() {
try {
Thread.sleep(200);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.print(getNum() + " ");
}
public int getNum() {
return num.getAndIncrement();
}
}
然后运行多几次,发现没问题.
用java模拟一下CAS算法的实现,但实际上是jvm底层硬件实现cas的.
public class TestCompareAndSwap {
public static void main(String[] args) {
final CompareAndSwap compareAndSwap = new CompareAndSwap(0);
for (int i = 0; i < 50; i++){
new Thread(new Runnable() {
@Override
public void run() {
int expected = compareAndSwap.get(); System.out.println(compareAndSwap.compareAndSet(expected, (int)(Math.random()*50)));
}
}).start();
}
}
}
class CompareAndSwap{
// 这里不需要加volatile修饰 内存值V
// 因为compareAndSwap方法中加了synchronized,保证了内存的可见性
// 所以在compareAndSwap中获取value时会自动去主存中取,而不会取线程缓存
private int value;
public CompareAndSwap(int value){
this.value = value;
}
// 获取内存值
// 加锁,表示刷新,和volatile是相同的作用,用于获取预期原值A
public synchronized int get(){
return this.value;
}
/**
* compareAndSwap函数主要就是一个CAS的操作。
* 当多个线程尝试使用CAS同时更新一个变量时,只有一个线程能够更新成功,其余线程都将失败。
* 但是,失败的线程并不会被挂起(这个地方就是与获取锁的不同之处,当获取锁失败时,线程会被挂起),
* 而是被告知在这次竞争中失败,并可以再次尝试。(这里可以决定是否再次尝试或则执行恢复操作或则不执行任何操作)
* @param expectedValue
* @param newValue
* @return
*/
// 比较
// expectedValue : 当前内存值V
// oldValue == value :旧的预期值A,也就是当前线程的value副本
// newValue : 即将更新的值
public synchronized int compareAndSwap(int expectedValue, int newValue){
//获取旧值
int oldValue = this.value;
//如果期望值与当前V位置的值相同就给予新值
if (expectedValue == oldValue){
this.value = newValue;
}
//返回V位置原有的值
return oldValue;
}
// 在这里再进行一次比较是为了方便后面的显示
public synchronized boolean compareAndSet(int expectedValue, int newValue){
// 比较并交换
return expectedValue == compareAndSwap(expectedValue, newValue);
}
}
记住,实际的CAS是没有锁的,即没有synchronized的,它是由硬件保证了比较-更新操作的原子性的,即上面的compareAndSwap方法的原子性。
六、CAS缺点
CAS虽然很高效地解决了原子操作,但是CAS仍然存在三大问题。ABA问题,循环时间长开销大,以及只能保证一个共享变量的原子操作。
1)ABA问题。因为CAS需要在操作值的时候,检查值有没有发生变化,如果没有发生变化则更新,但是如果一个值原来是A,变成了B,又变成了A,那么使用CAS进行检查时会发现它的值没有发生变化,但是实际上却变化了。ABA问题的解决思路就是使用版本号。在变量前面追加上版本号,每次变量更新的时候把版本号加1,那么A→B→A就会变成1A→2B→3A。从Java 1.5开始,JDK的Atomic包里提供了一个类AtomicStampedReference来解决ABA问题。这个类的compareAndSet方法的作用是首先检查当前引用是否等于预期引用,并且检查当前标志是否等于预期标志,如果全部相等,则以原子方式将该引用和该标志的值设置为给定的更新值。
public boolean compareAndSet(
V expectedReference, // 预期引用
V newReference, // 更新后的引用
int expectedStamp, // 预期标志
int newStamp // 更新后的标志
)
2)循环时间长开销大。自旋CAS如果长时间不成功,会给CPU带来非常大的执行开销。如果JVM能支持处理器提供的pause指令,那么效率会有一定的提升。pause指令有两个作用:第一,它可以延迟流水线执行指令(de-pipeline),使CPU不会消耗过多的执行资源,延迟的时间取决于具体实现的版本,在一些处理器上延迟时间是零;第二,它可以避免在退出循环的时候因内存顺序冲突(Memory Order Violation)而引起CPU流水线被清空(CPU Pipeline Flush),从而提高CPU的执行效率。
3)只能保证一个共享变量的原子操作。当对一个共享变量执行操作时,我们可以使用循环CAS的方式来保证原子操作,但是对多个共享变量操作时,循环CAS就无法保证操作的原子性,这个时候就可以用锁。还有一个取巧的办法,就是把多个共享变量合并成一个共享变量来操作。比如,有两个共享变量i=2,j=a,合并一下ij=2a,然后用CAS来操作ij。从Java 1.5开始,JDK提供了AtomicReference类来保证引用对象之间的原子性,就可以把多个变量放在一个对象里来进行CAS操作。
参考资料
本片文章,主要整理自互联网,便于自己复习知识所用,以下为参考链接!
【1】并发基础之原子操作与原子变量
【2】占小狼
【3】[并发编程--CAS自旋锁 - 井底之蛙 - CSDN博客](
原子变量与CAS算法(二)的更多相关文章
- 原子变量与CAS算法小结
CAS算法 CAS(compare-and-swap)是一种硬件对并发的支持,针对多处理器操作而设计的处理器中的一种特殊指令,用于管理对共享数据的并发访问. CAS是一种无锁非阻塞算法的实现. CAS ...
- 三、原子变量与CAS算法
原子变量:jdk1.5 后 java.util.concurrent.atomic 包下提供了常用的原子变量: - AtomicBoolean - AtomicInteger - AtomicLong ...
- Java多线程-----原子变量和CAS算法
原子变量 原子变量保证了该变量的所有操作都是原子的,不会因为多线程的同时访问而导致脏数据的读取问题 Java给我们提供了以下几种原子类型: AtomicInteger和Ato ...
- 原子变量与CAS算法
原子变量 为了引出原子变量这个概念,我们先看一个例子. package com.ccfdod.juc; public class TestAtomicDemo { public static void ...
- volatile关键字与内存可见性&原子变量与CAS算法
1 .volatile 关键字:当多个线程进行操作共享数据时, 可以保证内存中的数据可见 2 .原子变量:jdk1.5后java.util.concurrent.atomic 包下提供常用的原子变量 ...
- 计算机程序的思维逻辑 (70) - 原子变量和CAS
从本节开始,我们探讨Java并发工具包java.util.concurrent中的内容,本节先介绍最基本的原子变量及其背后的原理和思维. 原子变量 什么是原子变量?为什么需要它们呢? 在理解synch ...
- Java-JUC(三):原子性变量与CAS算法
原子性 并发程序正确地执行,必须要保证原子性.可见性以及有序性.只要有一个没有被保证,就有可能会导致程序运行不正确. 原子性:一个操作或多个操作要么全部执行完成且执行过程不被中断,要么就不执行. 可见 ...
- Java编程的逻辑 (70) - 原子变量和CAS
本系列文章经补充和完善,已修订整理成书<Java编程的逻辑>,由机械工业出版社华章分社出版,于2018年1月上市热销,读者好评如潮!各大网店和书店有售,欢迎购买,京东自营链接:http: ...
- juc-2-原子变量与CAS算法
i++的原子性问题 例子 int i=10; i++; 结果 i=10 分析过程 在计算机 底层 会有生成一个临时变量 tem ...
随机推荐
- Mybatis学习总结(九)——查询缓存
一.什么是查询缓存 mybatis提供查询缓存,用于减轻数据压力,提高数据库性能.mybaits提供一级缓存和二级缓存. 1.一级缓存是sqlSession级别的缓存.在操作数据库时需要构造sqlSe ...
- React-记connect的几种写法
第一种 最普通,最常见,delllee和官网第写法. import React, { Component } from 'react'; import {connect} from 'react-re ...
- numpy.loadtxt()
简介 np.loadtxt()用于从文本加载数据. 文本文件中的每一行必须含有相同的数据. loadtxt(fname, dtype=<class 'float'>, comments=' ...
- MFC 坦克定位
最近学习MFC,写了个用键盘上下左右移动的坦克界面,效果图: 先用VC++新建一个最简单的MFC项目,基于Dialog的 1. 添加坦克图片资源:略 2. 添加3个变量:x, y, m_bitmap ...
- [翻译] 初看 ASP.NET Core 3.0 即将到来的变化
[翻译] 初看 ASP.NET Core 3.0 即将到来的变化 原文: A first look at changes coming in ASP.NET Core 3.0 在我们努力完成下一个 m ...
- 分布式事务框架Seata及EasyTransaction架构的比对思考
本文将会对比Seata与EasyTransaction两个分布式事务的一些高层设计,相信大家会有收获. Seata的概述 Seata(曾用名Fescar,开源版本GTS)是阿里的开源分布式事务框架,其 ...
- Git 使用vi或vim命令打开、关闭、保存文件
1 vi & vim 有两种工作模式: (1)命令模式:接受.执行 vi & vim 操作命令的模式,打开文件后的默认模式: (2)编辑模式:对打开的文件内容进行 增.删.改 操作模式 ...
- 序列化与ArrayList 的elementData的修饰关键字transient
transient用来表示一个域不是该对象序行化的一部分,当一个对象被序行化的时候,transient修饰的变量不会被序列化 ArrayList的动态数组elementData被transient ...
- .net Core 调用微信Jsapi接口,H5解析二维码
项目里需要用到扫描二维码,自己实现,不会. 找到了两种解决方案: 通过reqrcode.js,这是一个前端解析二维码内容的js库.如果二维码比较清晰,用这种效果也不错 调用微信扫一扫功能,这种效果很好 ...
- 第八次oo作业
作业五 作业五是当前最后一次电梯作业,也是我们第一次接触到多线程编程,输入方式也由之前的一次性输入变为了实时输入,其中涉及到大量的同步和冲突,其中学习多线程的使用也花了大量的时间,但总的来说为以后的作 ...