同步容器(使用的是synchronized,并且不一定是百分百安全)#
本篇续 -- 线程之间的通信 ,介绍java提供的并发集合,既然正确的使用wait和notify比较困难,java平台为我们提供了更高级的并发容器来替代
Vector&ArrayList#
- Vector虽然它的set和get方法都被Synchronized修饰,但是开启两条线程并发访问,一条线程拼命往里写,另一台循环往移除,这样并发访问不一定是百分百的线程安全的,很可能出现数组越界异常,而且现在基本已经不适用它了,它基本被ArrayList替代掉了
- ArrayList是线程不安全的,并多线程并发访问的情况下会报 java.util.ConcurrentModificationException, 并发修改异常( 初始大小10, 每次扩容量都是扩容前的一倍, 使用native方法 Arrays.copyOf()方法)
将ArrayList转换成线程安全的
ArrayList al = new ArrayList(); Connections.syncchronizedList(al);
Map#
- 效率低下的HashTable,同Vector类似,它被HashMap替代掉了
HashTable底层是通过synchronized关键字来实现的,虽然线程安全,但是在高并发的情况下,效率却超级低,因为当一个线程访问HashTable的同步方法时,其他线程拿不到锁,就访问不了它的同步方法,比如线程1使用HashTable的put方法,其他线程不仅不能使用put,就连get()也被阻塞不可以存储null键值 - 线程不安全的HashMap
在高并发访问的情况下,不会使用HashMap,线程不安全,但是可以存储null键值
将HashMap转换成线程安全的
HashMap map = new HashMap<>(); Map map1 = Collections.synchronizedMap(map);
一、并发容器J.U.C
并发List--CopyOnWriteArrayList#
JUC之写时复制技术, 它是ArrayList 的一个线程安全的变体,其中所有可变操作(add、set 等等)都是通过对底层数组进行一次新的复制来实现的。
- 我们着重的关注点是啥呢? 可能会出现线程安全性问题的方法 set() add() remove()
基本的使用;#
同样实现了List接口,那么其实它的使用和ArrayList完全一样的,只是内部的实现不一样
实现原理#
分析add方法
/** * Appends the specified element to the end of this list. * * @param e element to be appended to this list * @return {@code true} (as specified by {@link Collection#add}) */ public boolean add(E e) { final ReentrantLock lock = this.lock; //获取锁ReentrantLock lock.lock(); try { Object[] elements = getArray(); // 获取CopyOnWriteArrayList内部维护的数组 int len = elements.length; Object[] newElements = Arrays.copyOf(elements, len + 1); // 复制该数组到 newElements数组里面 并扩容 newElements[len] = e; //在数组最后添加新的元素 setArray(newElements); //让替换掉原来的数组 return true; //添加成功 } finally { lock.unlock(); } } /** * {@inheritDoc} * * @throws IndexOutOfBoundsException {@inheritDoc} */ public E get(int index) { return get(getArray(), index); }
可以看到,其实类似读写分离, add()可能会出现线程安全问题,因此给它一把锁,get()不会出现线程安全性问题,因此没有锁,如果非要给get也加上锁,那么在add的时候,就不能get了,因为它拿不到锁对象
如果是读取的话,直接在通过原数组的引用找到数组对象的位置进行读取
add()写的时候,其实不是往原array里面写,而是分如下几步
- 加锁
- 拷贝原数组,创建新的数组
- 添加新的元素
- 新数组替换原数组
- 释放锁
此外,CopyOnWriteArrayList底层维护的Object类型的数组被 volatile修饰
分析remove方法
public E remove(int index) { final ReentrantLock lock = this.lock; lock.lock(); try { Object[] elements = getArray(); int len = elements.length; E oldValue = get(elements, index); int numMoved = len - index - 1; if (numMoved == 0) //移除最后一个 setArray(Arrays.copyOf(elements, len - 1)); else { // 移除其它的,当前元素后面的需要往前移动 Object[] newElements = new Object[len - 1]; System.arraycopy(elements, 0, newElements, 0, index); System.arraycopy(elements, index + 1, newElements, index, numMoved); setArray(newElements); } return oldValue; // 移除谁,返回谁 } finally { lock.unlock(); } }
总结一下
- 假如说多线程并发的应用中,绝大部分都是读操作,那么,CopyOnWriteArrayList效率明显高,因为他是读写分离,读没有锁,是在原数组上进行的,写也是线程安全的(加了lock),其中有一点就是它虽然能保证数据的最终是同步的,但是却保证不了实时同步性
- 假如说绝大部分操作是写操作,可以看到,还是挺吃内存的,数组过大,他的效率可能就不一定比同步容器高,在不知道往里面存储多少数据的情况下,慎用.在高并发的互联网环境下这种操作分分钟就导致故障
并发Set#
- 和List步调一致的是,java平台为set集合提供了CopyOnWriteArraySet,它实现了set接口,底层完全依赖CopyOnWriteArrayList因此,它的特性和CopyOnWriteArrayList一致,同样在读多写少的高并发环境下,拥有很高的效率
- 同样,在写多读少的高并发环境下,我们可以考虑下面的转换
Set<Object> set = Collections.synchronizedSet(new HashSet<>());
并发Map#
- 同样可以使用Collections获取到一个同步Map,但是这个Map的性能依然不是最优的
Collections.synchronizedMap();
- jdk同样提供了一个高效同步Map,ConcurrentHashMap 他不允许空值
jdk1.7中ConcurrentHashMap内部实行了锁分离,分段式存储数据,然后每一段数据都会加上不同步的锁,所以当其中一条线程访问其中一段数据的时候,其他数据仍然可以被别的线程访问,同时,它的get()方法也是无锁的
jdk1.8中ConcurrentHashMap内部抛弃了锁分离而使用红黑树实现
并发Queue#
在并发队列上,java提供了两套实现,一个是ConcurrentLinkedQueue的非阻塞型的队列,另一个是BlockingQueue接口,阻塞队列,同样他们继承了Queue接口
ConcurrentLinkedQueue 非阻塞队列#
保证了在高并发的情况下,对link底层维护的链表的增删改各个节点的安全性
- API和LinkedList等完全一样...
实现原理#
它通过无锁的方法,底层使用的是UNSAFE实现(保证线程的安全性)
入队offer
/** * Inserts the specified element at the tail of this queue. * As the queue is unbounded, this method will never return {@code false}. * * @return {@code true} (as specified by {@link Queue#offer}) * @throws NullPointerException if the specified element is null */ public boolean offer(E e) { checkNotNull(e); // 检查新添加的内容是否为空 final Node<E> newNode = new Node<E>(e); // 将其放入新节点 for (Node<E> t = tail, p = t;;) { // 整个一个for循环, 循环遍历链表,寻找适当的位置,插入新节点 Node<E> q = p.next; if (q == null) { // p is last node if (p.casNext(null, newNode)) { // Successful CAS is the linearization point // for e to become an element of this queue, // and for newNode to become "live". if (p != t) // hop two nodes at a time casTail(t, newNode); // Failure is OK. //可以看到,在这种会出现线程安全性问题的地方,使用的是cas进行操作,保证了线程的安全性 return true; } // Lost CAS race to another thread; re-read next } else if (p == q) // We have fallen off list. If tail is unchanged, it // will also be off-list, in which case we need to // jump to head, from which all live nodes are always // reachable. Else the new tail is a better bet. p = (t != (t = tail)) ? t : head; else // Check for tail updates after two hops. p = (p != t && t != (t = tail)) ? t : q; } } // 可以看到,casXXX 底层使用的是UNSAFE实现(保证线程的安全性) private boolean casTail(Node<E> cmp, Node<E> val) { return UNSAFE.compareAndSwapObject(this, tailOffset, cmp, val); } private boolean casHead(Node<E> cmp, Node<E> val) { return UNSAFE.compareAndSwapObject(this, headOffset, cmp, val); }
出队
public E poll() { restartFromHead: for (;;) { for (Node<E> h = head, p = h, q;;) { E item = p.item; if (item != null && p.casItem(item, null)) { // Successful CAS is the linearization point // for item to be removed from this queue. if (p != h) // hop two nodes at a time updateHead(h, ((q = p.next) != null) ? q : p); return item; } else if ((q = p.next) == null) { updateHead(h, p); return null; } else if (p == q) continue restartFromHead; else p = q; } }
阻塞队列BlockingQueue#
阻塞队列的性质#
- 如果阻塞队列为空, 再有新的线程想从阻塞队列里面获取元素就会被阻塞
- 如果队列满了, 再有线程想往里面put元素就会被阻塞
常见的阻塞队列#
- ArrayBlockingQueue : 底层是一个基于数组结果的有界阻塞队列, 有FIFO特性
- LinkedBlockingQeque: 底层是基于链表存储结构实现的阻塞队列, 它有界,但是界限是Integer.MAXVALUE, 故容器产生OOM异常
- PriorityBlockingQueue: 带优先级的阻塞队列
- SynchronousQueue : 是一个不存储元素的阻塞队列, 每次的插入操作都必须等待另一个线程将元素移除出队列
- LinkedBlockingDueue : 是基于一个双向的链表,可以先进先出(队列),也可以先进后出 (栈)不允许插入null,基本原理和方法都和LinkedBlockingQueue差不多
- DelayQueue: 在指定时间才能获取队列元素的功能,队列头元素是最接近过期的元素。没有过期元素的话,使用poll()方法会返回null值,超时判定是通过getDelay(TimeUnit.NANOSECONDS)方法的返回值小于等于0来判断。延时队列不能存放空元素。
核心方法#
方法类型 | 抛出异常 | boolean | 阻塞 | 超时 |
插入 | add(e) | offer(e) | put(e) | offer(e,time,unit) |
移除 | remove() | poll() | take() | poll(time,unit) |
检查 | element() | peek() |
主要应用场景:#
生产者和消费者模式
BlockingQueue是一个接口,因此我们学习ArrayBlockingQueue,它的底层维护着一个数组的阻塞队列
一个由数组支持的有界阻塞队列。此队列按 FIFO(先进先出)原则对元素进行排序。队列的头部 是在队列中存在时间最长的元素。队列的尾部 是在队列中存在时间最短的元素。新元素插入到队列的尾部,队列获取操作则是从队列头部开始获得元素。
此类支持对等待的生产者线程和使用者线进行排序的可选公平策略。默认情况下,不保证是这种排序。然而,通过将公平性 (fairness) 设置为 true 而构造的队列允许按照 FIFO 顺序访问线程。公平性通常会降低吞吐量,但也减少了可变性和避免了“不平衡性”。
此类及其迭代器实现了 Collection 和 Iterator 接口的所有可选 方法。
既然叫阻塞队列,也就是说,他支持在多线程的条件下,多线程并发添加移除数组的元素,会被阻塞等待,而不会抛出空值异常或者报错,且数组的长度不可变
- 两种情况发生阻塞
- 队列满的时候,进行入队操作,也就是说,队列满了,但是有一个线程往队列里面put的时候,他会被阻塞,除非有别的线程做了take的操作
- 队列为空,进行出队操作
可阻塞方法 | 描述 |
put | 将指定元素插入此队列中,将等待可用的空间(如果有必要)。 |
take | 获取并移除此队列的头部,在元素变得可用之前一直等待(如果有必要)。 |
可以直接使用它,实现消费者生产者模式,他的底层是用Condition ReentrantLock实现的--,方法被lock()和unlock()锁住, 数组满就await , 出队后signal
不发生阻塞 | 描述 |
add | 将指定元素插入此队列中(如果立即可行且不会违反容量限制),成功时返回 true,如果当前没有可用的空间,则抛出 IllegalStateException |
remove | 从此队列中移除指定元素的单个实""(如果存在)。同样会抛异常 |
不发生阻塞 | 描述 |
offer | 将指定元素插入此队列中(如果立即可行且不会违反容量限制),成功时返回 true,如果当前没有可用的空间,则返回 false。 |
poll | 获取并移除此队列的头部,在指定的等待时间前等待可用的元素(如果有必要)。没有元素,返回null |
二、并发Deque#
jdk1.6开始java提供的双端队列Deque(Double Ended Queue)允许在队列的头部或者尾部进行入队或者出队的操作.
他是是实现类:
- ArrayDeque
- 使用数组实现了双端队列,拥有更好的随机访问性,但是当队列的增大时,他需要重新分配内存,然后进行数组的复制
- LinkedList
- 使用链表实现了双端队列,因此它相对于ArrayDeque来说,没有了内存调整,数组复制的负担
无论是ListedList还是ArrayDeque,都是线程不安全的
- LinkedBlockingDeque
线程安全,但是它没有进行读写分离,也就说,同一时间,只允许一条线程对其操作,因此在并发中,它的性能,远远底于ConcurrentLinkQueue
参考 博文