原子类(Atomicxxx)和原子集合(CopyOnWritexxx,Concurrentxxx)

最新推荐文章于 2021-02-17 03:14:39 发布

乘风破BUG

最新推荐文章于 2021-02-17 03:14:39 发布

阅读量803

点赞数

分类专栏：并发编程与锁文章标签： java 多线程

本文链接：https://blog.csdn.net/weixin_39387961/article/details/111660954

版权

并发编程与锁专栏收录该内容

8 篇文章 0 订阅

订阅专栏

原子操作类简介

在并发编程中很容易出现并发安全的问题，有一个很简单的例子就是多线程更新变量i=1,比如多个线程执行i++操作，就有可能获取不到正确的值，而这个问题，最常用的方法是通过Synchronized进行控制来达到线程安全的目的（关于synchronized可以看这篇文章）。但是由于synchronized是采用的是悲观锁策略，并不是特别高效的一种解决方案。实际上，在J.U.C下的atomic包提供了一系列的操作简单，性能高效，并能保证线程安全的类去更新基本类型变量，数组元素，引用类型以及更新对象中的字段类型。atomic包下的这些类都是采用的是乐观锁策略去原子更新数据，在java中则是使用CAS操作具体实现。

什么是CAS?

使用锁时，线程获取锁是一种悲观锁策略，即假设每一次执行临界区代码都会产生冲突，所以当前线程获取到锁的时候同时也会阻塞其他线程获取该锁。而CAS操作（又称为无锁操作）是一种乐观锁策略，它假设所有线程访问共享资源的时候不会出现冲突，既然不会出现冲突自然而然就不会阻塞其他线程的操作。因此，线程就不会出现阻塞停顿的状态。那么，如果出现冲突了怎么办？无锁操作是使用CAS(compare and swap)又叫做比较交换来鉴别线程是否出现冲突，出现冲突就重试当前操作直到没有冲突为止。

CAS的操作过程

CAS比较交换的过程可以通俗的理解为CAS(V,O,N)，包含三个值分别为：V 内存地址存放的实际值；O 预期的值（旧值）；N 更新的新值。当V和O相同时，也就是说旧值和内存中实际的值相同表明该值没有被其他线程更改过，即该旧值O就是目前来说最新的值了，自然而然可以将新值N赋值给V。反之，V和O不相同，表明该值已经被其他线程改过了，则该旧值O不是最新版本的值了，所以不能将新值N赋给V，返回V即可。当多个线程使用CAS操作一个变量时，只有一个线程会成功，并成功更新，其余会失败。失败的线程会重新尝试，当然也可以选择挂起线程。
CAS的实现需要硬件指令集的支撑，在JDK1.5后虚拟机才可以使用处理器提供的CMPXCHG指令实现。

Synchronized VS CAS

元老级的Synchronized(未优化前)最主要的问题是：在存在线程竞争的情况下会出现线程阻塞和唤醒锁带来的性能问题，因为这是一种互斥同步（阻塞同步）。而CAS并不是武断的将线程挂起，当CAS操作失败后会进行一定的尝试，而非进行耗时的挂起唤醒的操作，因此也叫做非阻塞同步。这是两者主要的区别。

CAS的问题

ABA问题
因为CAS会检查旧值有没有变化，这里存在这样一个有意思的问题。比如一个旧值A变为了成B，然后再变成A，刚好在做CAS时检查发现旧值并没有变化依然为A，但是实际上的确发生了变化。解决方案可以沿袭数据库中常用的乐观锁方式，添加一个版本号可以解决。原来的变化路径A->B->A就变成了1A->2B->3C。
自旋时间过长
使用CAS时非阻塞同步，也就是说不会将线程挂起，会自旋（无非就是一个死循环）进行下一次尝试，如果这里自旋时间过长对性能是很大的消耗。如果JVM能支持处理器提供的pause指令，那么在效率上会有一定的提升。

原子类

AtomicLong

AtomicInteger,AtomicLong和AtomicBoolean这3个基本类型的源自类的原理和用法相似。

作用
对Long进行原子操作。在32位操作系统中，64位的long和double变量由于会被JVM当作两个分离的32位来进行操作，所以不具备原子性。而使用AtomicLong能让long的操作保持原子性。
实现原理
AtomicLong主要依赖CAS原理实现。以incrementAndGet()为例，其实现原理如下：
（1）incrementAndGet()首先会根据get()获取ActomicLong对应的long值；
（2）incrementAndGet(）接着将current加1，然后通过CAS函数，将新的值赋给value。

AtomicIntegerArray

AtomicIntegerArray,AtomicLongArrat,AtomicReferenceArray这3个数组类型的原子类的原理和用法相似。

作用
AtomicLongArray的作用则是对长整型数组进行原子操作。
实现原理
AtomicLongArray和AtomicLong实现原理类似，也是依赖于CAS原理实现。以addAndGet()为例，其实现原理如下：

1.首先价查数组是否越界
2.若为越界，采取和AtomicitLong一样的方式进行值更新。

AtomicReference

作用
AtomicReference的作用是对“对象”进行原子操作
实现原理
AtomicReference是通过“volatile”和“Unsafe提供的CAS函数实现“原子操作。其实现原理如下：
1.首先AtomicReference类的value是volatile类型。这就保证了：当线程修改value的值时，其他线程看到的value都是最新的value值，即刻修改之后的volatile的值；
2.通过CAS设置value。这保证了，当某线程池通过CAS函数（如compareAndSet函数）设置value时，它的操作是原子的，即线程在操作value时不会被中断。

AtomicIntegerFieldUpdater

AtomicIntegerFieldUpdater,AtomicLongFieldUpdater,AtomicReferenceFieldUpdater这三个修改类的成员的原子类型的原理和用法相似。

作用
AtomicLongFieldUpdater可以对指定”类“的‘volatile long’类型的成员进行原子更新。它属于反射原理实现的。
实现原理
以newUpdater()为例，其实现原理如下：

1.newUpdater()实际上返回的是CASUpdate对象，或者LockedUpdate对象；
2.具体返回哪一个类取决于JVM是否支持long类型的CAS函数；
3.CASUpdater和LockedUpdater都是AtomicIntegerFidldUpdater的子类,它们的实现类似。

原子集合(CopyOnWritexxx,Concurrentxxx)

CopyOnWriteArrayList

copyOnWriteArrayLisy与CopyOnWriteArraySet的作用类似，不过一个是动态数组，一个是散列表，其实先原理类似。

作用
CopyOnWriteArrayList相当于相乘安全的ArrayList。
实现原理
动态数组实现：
1.其内部有个volatile数组（array）来存储数组；
2.在”添加/删除“元素时，都会新建一个数组，并将更新后的数组拷贝到新建的数组中；
3.最后再将该数组赋值给volatile数组；
线程安全实现：
CopyOnWriteArrayWrite的线程安全是通过volatile和互斥锁来实现的。
1.CopyOnWriteArrayList通过互斥锁来保护数据。一个线程读取volatile数组时，总是能看到其他线程对该volatile变量最后的写入；就这样，通过volatile提供了读取的数据总是最新的这个机制的保证。
2.CopyOnWriteArrayWrite通过互斥锁来保护数据，在”添加/修改/删除“数据时，会先”获取互斥锁“，再修改完毕之后，先将数据更新到volatilej数组中，然后再来释放互斥锁；这样，就达到了保护数据的目的。
CopyOnWriteArrayList与ArrayList的区别
CopyOnWriteArrayList是线程安全的；
因为通常需要赋值整个基础数组，所以可变操作（add(),set()和remove()等等）的开销很大；
迭代器支持hasNext(),next()等不可变操作，但不支持可变remove等操作；
使用迭代器进行遍历的速度很快，并且不会与其他线程发生冲突。在构造迭代器时，迭代器依赖不变的数组快照；
适用范围
CopyOnWriteArrayList最适合于具有以下特征的应用
1.List大小通常保持最小；
2.只读操作远多于可变操作；
3.需要在遍历期间防止线程间的冲突；

ConcurrentHashMap

HashMap

特点：

根据key的hashcode存储数据，大多数情况下（hash冲突时除外）可以直接定位到值；
HashCode具有较块的随机读取速度，遍历速度可控；
一个HashCode对象中最对允许一条记录的键为null,允许多条记录的值为null;
HashCode是非线程安全的；
实现

可以看出HashCode其实就是一个数组+单项链表组成的。
容量
capacity:当前数组容量（默认16），始终保持2^n，可以扩容，扩容后数组的大小为当前的2倍；
loadFactor:赋值因子，默认为0.75；
threshold:扩容阈值，等于capacity * loadFactor;

Java8中的实现

在这里插入图片描述
从java8开始，Java对HashMap的实现有了一定的改变，开始引入了红黑树，所以其结构变成了数组+链表+红黑树组成；
原因：当发生hash冲突时，在链表中查询Node的时间复杂度为O（n）,为了降低时间复杂度，引入红黑树，时间复杂度变为O（logN）
**容量：**除了Java7中的容量相关参数外，Java8为了引入红黑树，还引入了另外几个容量相关的变量；

static final int TREEIFY_THRESHOLD = 8; 链表转树的阈值，当链表的长度》该值时，则将链表转成红黑树；
static final int UNTREEIFY_THRESHOLD = 6; 树还原链表阈值。当红黑树内的节点数量<6时，则将红黑树转换成链表；
static final int MIN_TREEIFY_CAPPCITY = 64;最小树化阈值，当哈希表中的容量>该值时，才允许链表转化为红黑树。否则将直接扩容，为了避免进行扩容，树形化选择的冲突，这个值不能小于 4 * TREEIFY_THRESHOLD.

ConcurrentHashMap

特点：

ConcurrentHashMap其实是一个线程安全的HashMap;
ConcurrentHashMap key 和value均不允许null;
网上关于key和value不允许为null的解释是这样描述的：如果map.get(key)return null,则无法检查到该值是否显示映射到null该键。在非并行映射中，你可以通过进行检查map.contains(key)，但在并行映射中，两次调用之间的映射可能已更改。
实现：
ConcurrentHashMap实现和HashMap差不多，但为了支持并发操作，引入了Segment,ConcurrentHashMap由一个Segment数组组成；
Segment通过继承ReentrantLock来进行加锁，Segment数组就相当于是ConcurrentHashMap的分段锁，每次操作只用锁住对应的Segment就行了。
Segment内部由HashMap组成；
concurrencyLevel:并行级别，默认16，其实就是ConcurrentHashMap由长度为16的Segment组成，所以可以理解为ConcurrentHashMap默认可以同时支持最多16个线程并发写。Segment数组在初始化的时候指定，初始化后不可扩容。

ConcurrentHashMap Java8的实现

在这里插入图片描述
和HashMap一样，ConcurrentHashMap在java8中也引入了红黑树机制，原理雷同。

LinkedHashMap

在这里插入图片描述
LinkedHashMap是HashMap的一个子类，它记录了元素录入的顺序，能够保证在使用迭代遍历时，先插入的元素先获取，也可以在构造时带参数，按照访问次序排序。

WeakHashMap

特点：

WeakHashMap键值都可以是null;
WeakHashMap的键是”弱键“。当某个键不再正常使用时，会被从WeakHashMap中被自动移除。
弱键原理：
弱键通过WeakReference和ReferenceQueue实现。
WeakHashMap的key 是WeakReference类型的，ReferenceQueue是一个队列，它会保存被GC回收的弱键；
当某个弱键不再被其他对象引用，并且被GC回收时，这个弱键也同时会被添加到ReferenceQueue队列中；
当再次操作WeakHashMap时，会先同步table和queue。table中保存了全部的键值对，而queue中保存被GC回收的键值对；同步它们，就是删除table中被GC回收的键值对。
主要变量：
table：是一个Entry[]数组类型，用于存储键值对；
size：表示WeakHashMap的大小
threshold：阈值，用于判断是否需要调整参数，threshold的值 = ”容量 * 加载因子“；
loadFactor：加载因子
modCount：用来实现fail-fast机制的
queue：保存的是已被GC清除的弱引用的键

TreeMap

TreeMap实现SortedMap接口，能够把它保存的记录根据键排序；
默认按照键值升序排序，也可指定排序的比较器；
在使用TreeMap时，key必须实现Comparable接口或者在构造TreeMap传入自定义的Comparator，否则会在运行时抛出java.lang.ClassCastException类型的异常。