Java集合--线程安全(CopyOnWrite机制)
5 Java并发集合
5.1 引言
在前几章中，我们介绍了Java集合的内容，具体包括ArrayList、HashSet、HashMap、ArrayQueue等实现类。
不知道各位有没有发现，上述集合都有一个共同的特点，那就是线程不安全性，在并发情况下都不能保证数据的一致性。（当然，这个集合必须是共享了，所以才会有数据不一致）
所以，当我们在进行并发任务时候，共享了一个不适用于并发的数据结构，也就是将此数据结构变成了程序中的成员变量，那么我们将会遇到数据的不一致，进而影响到我们程序的运行。
为了应对并发场景的出现，Java在后续迭代过程中（具体应该是JDK1.5版本），推出了java.util.concurrent包。该包的出现，让Java并发编程变得更加轻松，帮助开发者编写更加高效、易维护、结构清晰的程序。
在java.util.concurrent包中，不但包含了我们本篇要说的线程安全的集合，还涉及到了多线程、CAS、线程锁等相关内容，可以说是完整覆盖了Java并发的知识栈。
对于Java开发人员来说，学好java.util.concurrent包下的内容，是一个必备的功课，也是逐渐提升自己的一个重要阶段。
5.2 并发集合实现1
JDK1.5的出现，对于集合并发编程来说，java developer有了更多的选择。不过，在JDK1.5之前，Java也还是提供了一些解决方案。
（1）最为简单直接的就是在程序中我们自己对共享变量进行加锁。不过，缺点也显而易见，手动实现线程安全间接增加了程序的复杂度，以及代码出错的概率---例如：线程死锁的产生；
（2）我们还可以使用Java集合框架中的Vector、Hashtable实现类，这两个类都是线程安全的。不过，Java已不提倡使用。
（3）此外，我们还可以使用集合工具类--Collections，通过调用其中的静态方法，来得到线程安全的集合。具体方法，包括：Collections.synchronizedCollection(Collection<T> c)、Collections.synchronizedSet(Set<T> s)、Collections.synchronizedList(List<T>)、Collections.synchronizedMap(Map<K, V>)。
究其原理，他们都是通过在方法中加synchronized同步锁来实现的。我们知道synchronized锁的开销较大，在程序中不建议使用。
虽然，这三种方式可以实现线程安全的集合，但是都有显而易见的缺点，而且也不是我们今天所关注的重点。
接下来，就来具体看下java.util.concurrent包中的实现；
5.2 并发集合实现2
在java.util.concurrent包中，提供了两种类型的并发集合：一种是阻塞式，另一种是非阻塞式。
阻塞式集合：当集合已满或为空时，被调用的添加（满）、移除（空）方法就不能立即被执行，调用这个方法的线程将被阻塞，一直等到该方法可以被成功执行。
非阻塞式集合：当集合已满或为空时，被调用的添加（满）、移除（空）方法就不能立即被执行，调用这个方法的线程不会被阻塞，而是直接则返回null或抛出异常。
下面，就来看下concurrent包下，到底存在了哪些线程安全的集合：
Collection集合：
List：
CopyOnWriteArrayList
Set：
CopyOnWriteArraySet
ConcurrentSkipListSet
Queue：
BlockingQueue:
LinkedBlockingQueue
DelayQueue
PriorityBlockingQueue
ConcurrentLinkedQueue
TransferQueue:
LinkedTransferQueue
BlockingDeque:
LinkedBlockingDeque
ConcurrentLinkedDeque
Map集合：
Map:
ConcurrentMap:
ConcurrentHashMap
ConcurrentSkipListMap
ConcurrentNavigableMap
通过以上可以看出，java.util.concurrent包为每一类集合都提供了线程安全的实现。
接下来，我们做具体分析！
5.3 List并发集合（CopyOnWrite机制）
CopyOnWrite机制
CopyOnWrite（简称COW），是计算机程序设计领域中的一种优化策略，也是一种思想--即写入时复制思想。
那么，什么是写入时复制思想呢？就是当有多个调用者同时去请求一个资源时(可以是内存中的一个数据)，当其中一个调用者要对资源进行修改，系统会copy一个副本给该调用者，让其进行修改；而其他调用者所拥有资源并不会由于该调用者对资源的改动而发生改变。这就是写入时复制思想；
如果用代码来描述的话，就是创建多个线程，在每个线程中如果修改共享变量，那么就将此变量进行一次拷贝操作，每次的修改都是对副本进行。
代码如下：
public class CopyOnWriteThread implements Runnable {
private List<String> list = new ArrayList<String>(); public void run() {
List<String> newList = new ArrayList<String>();
newList.add("hello");
Collections.copy(newList,list);
}
//创建线程：
public static void main(String[] agrs){
Thread thread1 = new Thread(new CopyOnWriteThread());
thread1.start();
Thread thread2 = new Thread(new CopyOnWriteThread());
thread2.start();
}
}
从JDK1.5开始，java.util.concurrent包中提供了两个CopyOnWrite机制容器，分别为CopyOnWriteArrayList和CopyOnWriteArraySet。
CopyOnWriteArrayList，直白翻译过来就是“当写入时复制ArrayList集合”。
简单的理解，就是当我们往CopyOnWrite容器中添加元素时，不直接操作当前容器，而是先将容器进行Copy，然后对Copy出的新容器进行修改，修改后，再将原容器的引用指向新的容器，即完成了整个修改操作；
CopyOnWriteArrayList的实现原理
CopyOnWriteArrayList，线程安全的集合，这一点主要区别与ArrayList。
通常来说，线程安全都是通过加锁实现的，那么CopyOnWriteArrayList是如何实现？
CopyOnWriteArrayList通过使用ReentrantLock锁来实现线程安全：
public class CopyOnWriteArrayList<E> implements List<E>, RandomAccess, Cloneable, java.io.Serializable { private static final long serialVersionUID = 8673264195747942595L; //ReentrantLock锁，没有使用Synchronized
transient final ReentrantLock lock = new ReentrantLock(); //集合底层数据结构：数组（volatile修饰共享可见）
private volatile transient Object[] array;
}
CopyOnWriteArrayList在添加、获取元素时，使用getArray（）获取底层数组对象，获取此时集合中的数组对象；使用setArray（）设置底层数组，将原有数组对象指针指向新的数组对象----实以此来实现CopyOnWrite副本概念：
//CopyOnWrite容器中重要方法：获取底层数组。final Object[] getArray() { return array;
}//CopyOnWrite容器中重要方法：设置底层数组final void setArray(Object[] a) { array = a;
}
CopyOnWriteArrayList添加元素：在添加元素之前进行加锁操作，保证数据的原子性。在添加过程中，进行数组复制，修改操作，再将新生成的数组复制给集合中的array属性。最后，释放锁；
由于array属性被volatile修饰，所以当添加完成后，其他线程就可以立刻查看到被修改的内容。
public boolean add(E e) { final ReentrantLock lock = this.lock; //加锁：
lock.lock(); try { //获取集合中的数组：
Object[] elements = getArray(); int len = elements.length;
//数组复制：将此线程与其他线程对集合的操作区分开来，无论底层结构如何改变，本线程中的数据不受影响
Object[] newElements = Arrays.copyOf(elements, len + 1);
//对新的数组进行操作：
newElements[len] = e; //将原有数组指针指向新的数组对象：
setArray(newElements); return true;
} finally { //释放锁：
lock.unlock();
}
}
CopyOnWriteArrayList获取元素：在获取元素时，由于array属性被volatile修饰，所以每当获取线程执行时，都会拿到最新的数据。此外，添加线程在进行添加元素时，会将新的数组赋值给array属性，所以在获取线程中并不会因为元素的添加而导致本线程的执行异常。因为获取线程中的array和被添加后的array指向了不同的内存区域。
//根据角标，获取对应的数组元素:public E get(int index) { return get(getArray(), index);
}@SuppressWarnings("unchecked")private E get(Object[] a, int index) { return (E) a[index];
}
看到这，不知道你是不是跟我一样，突然有个疑惑，在add（）方法时已经加了锁，为什么还要进行数组复制呢，难道不是多此一举吗？
其实不然，为了能让get（）方法得到最大的性能，CopyOnWriteArrayList并没有进行加锁处理，而且也不需要加锁处理。
因为，在add（）时候加了锁，首先不会有多个线程同时进到add中去，这一点保证了数组的安全。当在一个线程执行add时，又进行了数组的复制操作，生成了一个新的数组对象，在add后又将新数组对象的指针指向了旧的数组对象指针，注意此时是指针的替换，原来旧的数组对象还存在。这样就实现了，添加方法无论如何操作数组对象，获取方法在获取到集合后，都不会受到其他线程添加元素的影响。
这也就是在执行add()时，为什么还要在加锁的同时又copy了一分新的数组对象！！！
模拟CopyOnWriteArrayList：
public class CopyOnWriteThread{
private static CopyOnWriteTestList copyOnWriteTestList = new CopyOnWriteTestList(); static class CopyOnWriteTestList{
private Object[] array; public CopyOnWriteTestList(){ this.array=new Object[0];
} //获取底层数组：
public Object[] getArray(){ return array;
} //设置底层数组：
public void setArray(Object[] array) { this.array = array;
} //添加元素：
public void add(String element){ int len = array.length;
Object[] newElements = Arrays.copyOf(array, len + 1);
newElements[len] = element;
setArray(newElements);
} public void get(int index){
Object[] array = getArray();
get(array,index);
} //此步骤，就是为了验证在获取元素时，array是否会随着元素的添加而改变；
public void get(Object[] array,int index){ for(;;){
System.out.println("获取方法："+array.length);
}
}
} //创建线程：
public static void main(String[] agrs) throws InterruptedException { //启动异步线程，一直添加元素
new ThreadPoolExecutor(10,10,10, TimeUnit.MINUTES, new ArrayBlockingQueue(11), new ThreadPoolExecutor.AbortPolicy()).execute(new Runnable() { public void run() { for(;;){ int x=0;;
copyOnWriteTestList.add("jiaboyan"+x);
++x;
}
}
});
Thread.sleep(1000);
System.out.println(copyOnWriteTestList.getArray().length); //启动线程：获取元素
new Runnable() { public void run() {
copyOnWriteTestList.get(0);
}
}.run();
}
}
CopyOnWrite机制的优缺点
CopyOnWriteArrayList保证了数据在多线程操作时的最终一致性。
缺点也同样显著，那就是内存空间的浪费：因为在写操作时，进行数组复制，在内存中产生了两份相同的数组。如果数组对象比较大，那么就会造成频繁的GC操作，进而影响到系统的性能；
刚才说了，CopyOnWriteArrayList只能保证最终的数据一致性，而不能保证实时的数据一致性。这一点也是我们在使用的过程中，必须要考虑到的因素。
仔细思考下，其实CopyOnWrite容器也是一种读写分离，读和写是不同的容器。
作者：贾博岩
链接：https://www.jianshu.com/p/4f594a84f2dd
Java集合--线程安全(CopyOnWrite机制)的更多相关文章
- java集合 线程安全
1.快速失败(fail-fast)和安全失败(fail-safe)? 一:快速失败(fail—fast) 在用迭代器遍历一个集合对象时,如果遍历过程中对集合对象的内容进行了修改(增加.删除.修改),则 ...
- Java 集合 线程安全
Java中常用的集合框架中的实现类HashSet.TreeSet.ArrayList.ArrayDeque.LinkedList.HashMap.TreeMap都是线程不安全的,如果多个线程同时访问它 ...
- java集合线程安全测试
package com.cxy; import java.util.HashMap; import java.util.Hashtable; import java.util.Map; import ...
- 恶补Java Swing线程刷新UI机制（由浅到深的参考大佬博文）
1. java中进度条不能更新问题的研究 感谢大佬:https://blog.csdn.net/smartcat86/article/details/2226681 为什么进度条在事件处理过程中不更新 ...
- Java集合必会14问（精选面试题整理）
前言:把这段时间复习的关于集合类的东西整理出来,特别是HashMap相关的一些东西,之前都没有很注意1.7 ->> 1.8的变化问题,但后来发现这其实变化挺大的,而且很多整理的面试资料都没 ...
- Java集合框架相关知识整理
1.常见的集合有哪些? Collection接口和Map接口是所有集合框架的父接口 Collection接口的子接口包括:Set接口和List接口 Map接口的实现类主要有:HashMap ...
- 一文搞懂所有Java集合面试题
Java集合 刚刚经历过秋招,看了大量的面经,顺便将常见的Java集合常考知识点总结了一下,并根据被问到的频率大致做了一个标注.一颗星表示知识点需要了解,被问到的频率不高,面试时起码能说个差不多.两颗 ...
- Java 集合 fail-fast机制 [ 转载 ]
Java 集合 fail-fast机制 [转载] @author chenssy 摘要:fail-fast产生原因.解决办法 在JDK的Collection中我们时常会看到类似于这样的话: 例如,Ar ...
- 线程安全的集合类、CopyOnWrite机制介绍（转）
看过并发编程的书,这两种机制都有所了解,但不扎实其实.看到别人的博客描述的很精辟,于是转过来,感谢! 原文链接:https://blog.csdn.net/yen_csdn/article/detai ...
随机推荐
- php源码加密--screw plus
screw plus是一个开源的php扩展,作用是对php文件进行加密,网络上提供php加密的服务很多,但大多都只是混淆级别的加密,被人拿到加密文件问只要有足够耐心就能破解,与之不同的是,screw ...
- IDEA自动部署WEB工程至远程服务器（学习笔记）
一.部署Web工程的几种方式 ①本地打war,上传至远程服务器tomcat容器即可 优点:简单粗暴 缺点:浪费时间 ②IDEA自动部署至远程服务器 优点:节省大量时间 缺点:配置稍多(第一次) 二.I ...
- Fluent_Python_Part3函数即对象，06-dp-1class-func，一等函数与设计模式
使用一等函数实现设计模式 中文电子书P278 合理利用作为一等对象的函数,把模式中涉及的某些类的实例替换成简单的函数,从而简化代码. 1. 重构"策略"模式 中文电子书P282 P ...
- 数据库的小案例（三）：用递归实现TreeView层级显示
从这个小案例我学到了不少知识.这些无论如何无法从书里得来.正所谓实践出真知,学习编程需要大量实践这句话永不过时. 首先:好的代码和坏的代码带来的性能上的差异很明显.好的策略可以让你的程序运行速度大大加 ...
- POJ2516 Minimum Cost
亲爱的,一个货物销售者,现在遇到了一个大问题,他需要你的帮助.在他的销售区域有 N 个店主(从 1 到 N)向他储存货物,Dearboy 有M 个供应点(从 1 到 M),每个供应点提供 K 种不同的 ...
- PTA的Python练习题（十三）
第4章-8 求分数序列前N项和 a=eval(input()) b=2 c=1 d=0 count=0 for i in range(a): count+=b/c d=b b=b+c c=d prin ...
- Spring Boot 2.0 新特性
这是一篇总结文章,主要收集 Spring Boot 2.0 相对于 Spring Boot 1.x 的新特性,本章节并不提供实践性质的源代码.在 Spring Boot 系列文章中会持续退出实践章节. ...
- 进程的用户ID
进程创建时,系统会在进程上设置几个用户相关的ID 实际用户ID,实际用户组ID,系统根据当前会话登陆的用户信息设置 有效用户ID,有效用户组ID,系统根据所打开的执行文件的模式位,进行设置.set_u ...
- Spring学习(八）
AOP的重要概念 1.切面 : 切点(Pointcut) + Advice[ 在哪里 .加什么 ] 2.Advice: 在 切点 选中的 连接点 "加入" 的 代码 就是 Advi ...
- pip源、搭建虚拟环境、git
一.pip源 1.1 介绍 1.采用国内源,加速下载模块的速度2.常用pip源:-- 豆瓣:https://pypi.douban.com/simple-- 阿里:https://mirrors.al ...