摘要:原子类的作用多线程操作,性能开销太大并不是原子操作。每次比较的是两个对象性能比要好使用时,在高并发下大量线程会同时去竞争更新同一个原子变量,但是由于同时只有一个线程的会成功,所以其他线程会不断尝试自旋尝试操作,这会浪费不少的资源。
AtomicInteger 原子类的作用
多线程操作,Synchronized 性能开销太大count++并不是原子操作。因为count++需要经过读取-修改-写入三个步骤。
count++并不是原子操作。因为count++需要经过读取-修改-写入三个步骤。
可以这样做:
public synchronized void increase() { count++; }
Synchronized锁是独占的,意味着如果有别的线程在执行,当前线程只能是等待!
用CAS操作
CAS有3个操作数:
内存值V
旧的预期值A
要修改的新值B
当多个线程尝试使用CAS同时更新同一个变量时,只有其中一个线程能更新变量的值(A和内存值V相同时,将内存值V修改为B),而其它线程都失败,失败的线程并不会被挂起,而是被告知这次竞争中失败,并可以再次尝试(或者什么都不做)。
我们可以发现CAS有两种情况:
如果内存值V和我们的预期值A相等,则将内存值修改为B,操作成功!
如果内存值V和我们的预期值A不相等,一般也有两种情况:
重试(自旋)
什么都不做
理解CAS的核心就是:
CAS是原子性的,虽然你可能看到比较后再修改(compare and swap)觉得会有两个操作,但终究是原子性的!
原子变量类在java.util.concurrent.atomic包下,总体来看有这么多个
基本类型:
AtomicBoolean:布尔型
AtomicInteger:整型
AtomicLong:长整型
数组:
AtomicIntegerArray:数组里的整型
AtomicLongArray:数组里的长整型
AtomicReferenceArray:数组里的引用类型
引用类型:
AtomicReference:引用类型
AtomicStampedReference:带有版本号的引用类型
AtomicMarkableReference:带有标记位的引用类型
对象的属性
AtomicIntegerFieldUpdater:对象的属性是整型
AtomicLongFieldUpdater:对象的属性是长整型
AtomicReferenceFieldUpdater:对象的属性是引用类型
JDK8新增DoubleAccumulator、LongAccumulator、DoubleAdder、LongAdder
是对AtomicLong等类的改进。比如LongAccumulator与LongAdder在高并发环境下比AtomicLong更高效。
Atomic包里的类基本都是使用Unsafe实现的包装类
Unsafe里边有几个我们喜欢的方法(CAS):
// 第一和第二个参数代表对象的实例以及地址,第三个参数代表期望值,第四个参数代表更新值 public final native boolean compareAndSwapObject(Object var1, long var2, Object var4, Object var5); public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5); public final native boolean compareAndSwapLong(Object var1, long var2, long var4, long var6);
原子变量类使用
class Count{ // 共享变量(使用AtomicInteger来替代Synchronized锁) private AtomicInteger count = new AtomicInteger(0); public Integer getCount() { return count.get(); } public void increase() { count.incrementAndGet(); } }
原子类的ABA问题
下面的操作都可以正常执行完的,这样会发生什么问题呢??线程C无法得知线程A和线程B修改过的count值,这样是有风险的。
现在我有一个变量count=10,现在有三个线程,分别为A、B、C
线程A和线程C同时读到count变量,所以线程A和线程C的内存值和预期值都为10
此时线程A使用CAS将count值修改成100
修改完后,就在这时,线程B进来了,读取得到count的值为100(内存值和预期值都是100),将count值修改成10
线程C拿到执行权,发现内存值是10,预期值也是10,将count值修改成11
解决ABA问题
要解决ABA的问题,我们可以使用JDK给我们提供的AtomicStampedReference和AtomicMarkableReference类。简单来说就是在给为这个对象提供了一个版本,并且这个版本如果被修改了,是自动更新的。
原理大概就是:维护了一个Pair对象,Pair对象存储我们的对象引用和一个stamp值。每次CAS比较的是两个Pair对象
LongAdder 性能比 AtomicLong 要好
使用AtomicLong时,在高并发下大量线程会同时去竞争更新同一个原子变量,但是由于同时只有一个线程的CAS会成功,所以其他线程会不断尝试自旋尝试CAS操作,这会浪费不少的CPU资源。
而LongAdder可以概括成这样:内部核心数据value分离成一个数组(Cell),每个线程访问时,通过哈希等算法映射到其中一个数字进行计数,而最终的计数结果,则为这个数组的求和累加。
简单来说就是将一个值分散成多个值,在并发的时候就可以分散压力,性能有所提高。
文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。
转载请注明本文地址:https://www.ucloud.cn/yun/73487.html
摘要:提供这些原子类的目的就是为了解决基本类型操作的非原子性导致在多线程并发情况下引发的问题。测试代码引发的线程问题最终的值为如果是原子操作,那么结果应该就是,反复运行几次发现结果大部分情况下都不是,这也证明了的非原子性在多线程下产生的问题。 AtomicInteger的原理 java的并发原子包里面提供了很多可以进行原子操作的类,比如: AtomicInteger AtomicBoole...
摘要:即使是在多个线程一起执行的时候,一个操作一旦开始,就不会被其他线程干扰。另外是一个变量,在内存中可见,因此可以保证任何时刻任何线程总能拿到该变量的最新值。 个人觉得这一节掌握基本的使用即可! 本节思维导图: showImg(https://segmentfault.com/img/remote/1460000016855442?w=1244&h=657); 1 Atomic 原子类介绍...
摘要:今天给大家总结一下,面试中出镜率很高的几个多线程面试题,希望对大家学习和面试都能有所帮助。指令重排在单线程环境下不会出先问题,但是在多线程环境下会导致一个线程获得还没有初始化的实例。使用可以禁止的指令重排,保证在多线程环境下也能正常运行。 下面最近发的一些并发编程的文章汇总,通过阅读这些文章大家再看大厂面试中的并发编程问题就没有那么头疼了。今天给大家总结一下,面试中出镜率很高的几个多线...
摘要:顾名思义,是类型的线程安全原子类,可以在应用程序中以原子的方式更新值。创建对象先来看下对象的创建。也就是说当一个线程修改一个共享变量时,其它线程能立即读到这个修改的值。 showImg(https://segmentfault.com/img/remote/1460000016012210); 本文首发于一世流云的专栏:https://segmentfault.com/blog... ...
摘要:关键字总结有个关键字,它们是接下来对其中常用的几个关键字进行概括。而通过关键字,并不能解决非原子操作的线程安全性。为了在一个特定对象的一个域上关闭,可以在这个域前加上关键字。是语言的关键字,用来表示一个域不是该对象串行化的一部分。 java 关键字总结 Java有50个关键字,它们是: abstract do implements private ...
阅读 2545·2021-09-06 15:02
阅读 3146·2021-09-02 10:18
阅读 2780·2019-08-30 15:44
阅读 664·2019-08-30 15:43
阅读 1923·2019-08-30 14:08
阅读 2740·2019-08-30 13:16
阅读 1353·2019-08-26 13:52
阅读 914·2019-08-26 12:21