本文内容

  1. 了解 JUC 常见集合,学会使用
  2. ConcurrentHashMap
  3. ConcurrentSkipListMap
  4. ConcurrentSkipListSet
  5. CopyOnWriteArraySet
  6. 介绍 Queue 接口
  7. ConcurrentLinkedQueue
  8. CopyOnWriteArrayList
  9. 介绍 Deque 接口
  10. ConcurrentLinkedDeque

    JUC 集合框架图

    并发集合详解 - 图1
    图可以看到,JUC 的集合框架也是从 Map、List、Set、Queue、Collection 等超级接口中继承而来的。所以,大概可以知道 JUC 下的集合包含了一一些基本操作,并且变得线程安全。

    Map

    ConcurrentHashMap

    功能和 HashMap 基本一致,内部使用红黑树实现的。
    特性:

  11. 迭代结果和存入顺序不一致

  12. key 和 value 都不能为空
  13. 线程安全的

    ConcurrentSkipListMap

    内部使用跳表实现的,放入的元素会进行排序,排序算法支持 2 种方式来指定:

  14. 通过构造方法传入一个Comparator

  15. 放入的元素实现Comparable接口

上面 2 种方式必选一个,如果 2 种都有,走规则 1。
特性:

  1. 迭代结果和存入顺序不一致
  2. 放入的元素会排序
  3. key 和 value 都不能为空
  4. 线程安全的

    List

    CopyOnWriteArrayList

    实现 List 的接口的,一般我们使用ArrayList、LinkedList、Vector,其中只有 Vector 是线程安全的,可以使用 Collections 静态类的 synchronizedList 方法对 ArrayList、LinkedList 包装为线程安全的 List,不过这些方式在保证线程安全的情况下性能都不高。
    CopyOnWriteArrayList 是线程安全的 List,内部使用数组存储数据,集合中多线程并行操作一般存在4种情况:读读、读写、写写、写读,这个只有在写写操作过程中会导致其他线程阻塞,其他3种情况均不会阻塞,所以读取的效率非常高。
    可以看一下这个类的名称:CopyOnWrite,意思是在写入操作的时候,进行一次自我复制,换句话说,当这个 List 需要修改时,并不修改原有内容(这对于保证当前在读线程的数据一致性非常重要),而是在原有存放数据的数组上产生一个副本,在副本上修改数据,修改完毕之后,用副本替换原来的数组,这样也保证了写操作不会影响读。
    特性:

  5. 迭代结果和存入顺序一致

  6. 元素不重复
  7. 元素可以为空
  8. 线程安全的
  9. 读读、读写、写读 3 种情况不会阻塞;写写会阻塞
  10. 无界的

    Set

    ConcurrentSkipListSet

    有序的 Set,内部基于 ConcurrentSkipListMap 实现的,放入的元素会进行排序,排序算法支持 2 种方式来指定:

  11. 通过构造方法传入一个Comparator

  12. 放入的元素实现Comparable接口

上面 2 种方式需要实现一个,如果 2 种都有,走规则 1
特性:

  1. 迭代结果和存入顺序不一致
  2. 放入的元素会排序
  3. 元素不重复
  4. 元素不能为空
  5. 线程安全的
  6. 无界的

    CopyOnWriteArraySet

    内部使用 CopyOnWriteArrayList 实现的,将所有的操作都会转发给 CopyOnWriteArrayList。
    特性:

  7. 迭代结果和存入顺序不一致

  8. 元素不重复
  9. 元素可以为空
  10. 线程安全的
  11. 读读、读写、写读 不会阻塞;写写会阻塞
  12. 无界的

    Queue

    Queue 接口中的方法,我们再回顾一下:
操作类型 抛出异常 返回特殊值
插入 add(e) offer(e)
移除 remove() poll()
检查 element() peek()

3 种操作,每种操作有 2 个方法,不同点是队列为空或者满载时,调用方法是抛出异常还是返回特殊值,大家按照表格中的多看几遍,加深记忆。

ConcurrentLinkedQueue

高效并发队列,内部使用链表实现的。
特性:

  1. 线程安全的
  2. 迭代结果和存入顺序一致
  3. 元素可以重复
  4. 元素不能为空
  5. 线程安全的
  6. 无界队列

    Deque

    先介绍一下 Deque 接口,双向队列(Deque)是 Queue 的一个子接口,双向队列是指该队列两端的元素既能入队(offer)也能出队(poll),如果将 Deque 限制为只能从一端入队和出队,则可实现栈的数据结构。对于栈而言,有入栈(push)和出栈(pop),遵循先进后出原则。
    一个线性 collection,支持在两端插入和移除元素。名称 deque 是“double ended queue(双端队列)”的缩写,通常读为“deck”。大多数 Deque 实现对于它们能够包含的元素数没有固定限制,但此接口既支持有容量限制的双端队列,也支持没有固定大小限制的双端队列。
    此接口定义在双端队列两端访问元素的方法。提供插入、移除和检查元素的方法。每种方法都存在两种形式:一种形式在操作失败时抛出异常,另一种形式返回一个特殊值(null 或 false,具体取决于操作)。插入操作的后一种形式是专为使用有容量限制的 Deque 实现设计的;在大多数实现中,插入操作不能失败。
    下表总结了上述 12 种方法:

|

第一个元素(头部) 第一个元素(头部) 最后一个元素(尾部) 最后一个元素(尾部)

| 抛出异常 | 特殊值 | 抛出异常 | 特殊值 | | 插入 | addFirst(e) | offerFirst(e) | addLast(e) | offerLast(e) | | 移除 | removeFirst() | pollFirst() | removeLast() | pollLast() | | 检查 | getFirst() | peekFirst() | getLast() | peekLast() |

此接口扩展了 Queue接口。在将双端队列用作队列时,将得到 FIFO(先进先出)行为。将元素添加到双端队列的末尾,从双端队列的开头移除元素。从 Queue 接口继承的方法完全等效于 Deque 方法,如下表所示:
此接口扩展了 Queue接口。在将双端队列用作队列时,将得到 FIFO(先进先出)行为。将元素添加到双端队列的末尾,从双端队列的开头移除元素。从 Queue 接口继承的方法完全等效于 Deque 方法,如下表所示:

Queue 方法 等效 Deque 方法
add(e) addLast(e)
offer(e) offerLast(e)
remove() removeFirst()
poll() pollFirst()
element() getFirst()
peek() peekFirst()

ConcurrentLinkedDeque

实现了 Deque 接口,内部使用链表实现的高效的并发双端队列。
特性:

  1. 线程安全的
  2. 迭代结果和存入顺序一致
  3. 元素可以重复
  4. 元素不能为空
  5. 线程安全的
  6. 无界队列

    BlockingQueue

    关于阻塞队列,上一篇有详细介绍,可以看看:吃透各种阻塞队列