资讯专栏INFORMATION COLUMN

Java多线程进阶(十五)—— J.U.C之atomic框架:Atomic数组

lunaticf / 454人阅读

摘要:注意原子数组并不是说可以让线程以原子方式一次性地操作数组中所有元素的数组。类的方法返回指定类型数组的元素所占用的字节数。,是将转换为进制,然后从左往右数连续的个数。

本文首发于一世流云的专栏:https://segmentfault.com/blog...
一、Atomic数组简介

Atomic数组,顾名思义,就是能以原子的方式,操作数组中的元素。

JDK提供了三种类型的原子数组:AtomicIntegerArrayAtomicLongArrayAtomicReferenceArray

这三种类型大同小异,AtomicIntegerArray对应AtomicInteger,AtomicLongArray对应AtomicLong,AtomicReferenceArray对应AtomicReference。

其实阅读源码也可以发现,这些数组原子类与对应的普通原子类相比,只是多了通过索引找到内存中元素地址的操作而已。

注意:原子数组并不是说可以让线程以原子方式一次性地操作数组中所有元素的数组。
而是指对于数组中的每个元素,可以以原子方式进行操作。

说得简单点,原子数组类型其实可以看成原子类型组成的数组

比如:

AtomicIntegerArray  array = new AtomicIntegerArray(10);
array.getAndIncrement(0);   // 将第0个元素原子地增加1

等同于

AtomicInteger[]  array = new AtomicInteger[10];
array[0].getAndIncrement();  // 将第0个元素原子地增加1
二、AtomicIntegerArray原理

本节将以AtomicIntegerArray为例,介绍下原子数组的原理,AtomicLongArrayAtomicReferenceArray的使用和源码与AtomicIntegerArray大同小异,读者可以自己查看Oracle官方文档和源码。

AtomicIntegerArray其实和其它原子类区别并不大,只不过构造的时候传入的是一个int[]数组,然后底层通过Unsafe类操作数组:

可以看到,AtomicIntegerArray提供了两种构造器,本质都是内部利用array变量保存一个int[]数组引用。

另外,AtomicIntegerArray利用Unsafe类直接操作int[]对象的内存地址,以达到操作数组元素的目的,几个关键的变量解释如下:

int base = unsafe.arrayBaseOffset(int[].class);
Unsafe类的arraBaseOffset方法:返回指定类型数组的第一个元素地址相对于数组起始地址的偏移值。

int scale = unsafe.arrayIndexScale(int[].class);
Unsafe类的arrayIndexScale方法:返回指定类型数组的元素所占用的字节数。比如int[]数组中的每个int元素占用4个字节,就返回4。

那么,通过base + i * sacle 其实就可以知道 索引i的元素在数组中的内存起始地址。
但是,观察AtomicIntegerArraybyteOffset方法,是通过i << shift + base 的公式计算元素的起始地址的:
$$ i << shift + base = i * 2^{shift} + base $$

这里,$$ 2^{shift} $$其实就等于scale

shift = 31 - Integer.numberOfLeadingZeros(scale)Integer.numberOfLeadingZeros(scale)是将scale转换为2进制,然后从左往右数连续0的个数。

读者可以自己计算下:
shift = 31 - Integer.numberOfLeadingZeros(4) = 31 - 29 =2

之所以要这么绕一圈,其实是处于性能的考虑,通过移位计算乘法的效率往往更高。

三、AtomicIntegerArray接口声明


文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。

转载请注明本文地址:https://www.ucloud.cn/yun/76577.html

相关文章

  • Java线程进阶(一)—— J.U.C并发包概述

    摘要:整个包,按照功能可以大致划分如下锁框架原子类框架同步器框架集合框架执行器框架本系列将按上述顺序分析,分析所基于的源码为。后,根据一系列常见的多线程设计模式,设计了并发包,其中包下提供了一系列基础的锁工具,用以对等进行补充增强。 showImg(https://segmentfault.com/img/remote/1460000016012623); 本文首发于一世流云专栏:https...

    anonymoussf 评论0 收藏0
  • Java线程进阶(十七)—— J.U.Catomic框架:LongAdder

    摘要:在并发量较低的环境下,线程冲突的概率比较小,自旋的次数不会很多。比如有三个,每个线程对增加。的核心方法还是通过例子来看假设现在有一个对象,四个线程同时对进行累加操作。 showImg(https://segmentfault.com/img/remote/1460000016012084); 本文首发于一世流云的专栏:https://segmentfault.com/blog... ...

    fengxiuping 评论0 收藏0
  • Java线程进阶(十二)—— J.U.Catomic框架:Unsafe类

    摘要:本身不直接支持指针的操作,所以这也是该类命名为的原因之一。中的许多方法,内部其实都是类在操作。 showImg(https://segmentfault.com/img/remote/1460000016012251); 本文首发于一世流云的专栏:https://segmentfault.com/blog... 一、Unsafe简介 在正式的开讲 juc-atomic框架系列之前,有...

    赵连江 评论0 收藏0
  • Java线程进阶(十六)—— J.U.Catomic框架:FieldUpdater

    摘要:所谓,就是可以以一种线程安全的方式操作非线程安全对象的某些字段。我们来对上述代码进行改造账户类改造引入通过操作字段调用方,并未做任何改变上述代码,无论执行多少次,最终结果都是,因为这回是线程安全的。这也是整个包的设计理念之一。 showImg(https://segmentfault.com/img/remote/1460000016012109); 本文首发于一世流云的专栏:http...

    darcrand 评论0 收藏0
  • Java线程进阶(十三)—— J.U.Catomic框架AtomicInteger

    摘要:顾名思义,是类型的线程安全原子类,可以在应用程序中以原子的方式更新值。创建对象先来看下对象的创建。也就是说当一个线程修改一个共享变量时,其它线程能立即读到这个修改的值。 showImg(https://segmentfault.com/img/remote/1460000016012210); 本文首发于一世流云的专栏:https://segmentfault.com/blog... ...

    darkbug 评论0 收藏0

发表评论

0条评论

lunaticf

|高级讲师

TA的文章

阅读更多
最新活动
阅读需要支付1元查看
<