大厂之路一由浅入深、并行基础、源码分析一 “J.U.C”之collections框架:综述

• 参考博客：点击！！！
• 写这一篇文章的目的，是为了让自己更好的把握框架，来更好的整理自己所学的知识，基本来源于上面这篇文章，也可以说成转载吧，大家可以去那位大神的博客进一步观看，谢谢！

Java集合包之整体框架

• 在我们了解学习collections之前，我们先理清java集合的总体框架；
  • Java集合是java提供的工具包，包含了常用的数据结构：集合、链表、映射、队列、栈、数组等；
  • Java集合工具包位置是java.util.*；
  • Java集合主要可以划分为4个部分：
    1️⃣、List链表；
    2️⃣、Set集合；
    3️⃣、Map映射；
    4️⃣、工具类(Iterator迭代器、Enumeration枚举类、Arrays和Collections)；
• Java集合工具包框架图(如下)：
  
• 我们对上面的框架图进行分析：
  • 首先占据这个框架图大部分的就两个类：Collection和Map；
  • Collection： ☪☪
    • Collection是一个接口，是高度抽象出来的集合，它包含了集合的基本操作和属性；
    • Collection包含了List、Set两大分支；
      • List： 是一个有序的队列，每一个元素都有它的索引，List的实现类有LinkedList, ArrayList, Vector, Stack；
      • Set： 是一个不允许有重复元素的集合；Set的实现类有 HastSet和TreeSet；HashSet依赖于HashMap，它实际上是通过HashMap实现的；TreeSet依赖于TreeMap，它实际上是通过TreeMap实现的；
  • Map： ☪☪
    • Map是一个映射接口，即key-value键值对；
    • Map中的每一个元素包含 “一个key”和“key对应的value”；
      • AbstractMap是个抽象类，它实现了Map接口中的大部分API；
      • HashMap，TreeMap，WeakHashMap 都是继承于AbstractMap；
      • 另外，Hashtable 虽然继承于Dictionary，但它实现了Map接口；
  • Iterator： ☸☸
    • 它是遍历集合的工具，即我们通常通过Iterator迭代器来遍历集合。；
    • 我们说Collection依赖于Iterator，是因为Collection的实现类都要实现iterator()函数，返回一个Iterator对象；
      • ListIterator： 是专门为遍历List而存在的；
  • Enumeration： ☸☸
    • 它是JDK 1.0引入的抽象类；
    • 作用和Iterator一样，也是遍历集合；但是Enumeration的功能要比Iterator少；
    • 在上面的框图中，Enumeration只能在Hashtable, Vector, Stack中使用；
  • Arrays： 💦💦
    • 操作数组的工具类;
  • Collections： 💦💦💦
    • 操作集合的工具类;
• Collections就是我们接下来的主角！

Collections的由来

• 在上文我们已经介绍了java集合包的架构，主体内容包括Collection集合和Map类；而Collection集合又可以划分为List(队列)和Set(集合)。
• List的实现类主要有: LinkedList, ArrayList, Vector, Stack ⭕
  • LinkedList：
    • 是双向链表实现的双端队列，它不是线程安全的，只适用于单线程；
  • ArrayList：
    • 是数组实现的队列，它是一个动态数组；它也不是线程安全的，只适用于单线程；
  • Vector：
    • 是数组实现的矢量队列，它也一个动态数组；不过和ArrayList不同的是，Vector是线程安全的，它支持并发；
  • Stack:
    • 是Vector实现的栈；和Vector一样，它也是线程安全的;
• Set的实现类主要有: HastSet和TreeSet ⭕
  • HashSet:
    • 是一个没有重复元素的集合，它是通过HashMap实现的；HashSet不是线程安全的，只适用于单线程；
  • TreeSet：
    • 是一个没有重复元素的集合，它是通过TreeMap实现的；TreeSet也不是线程安全的，只适用于单线程，不过和HashSet不同的是，TreeSet中的元素是有序的；
• Map的实现类主要有: HashMap，WeakHashMap, Hashtable和TreeMap ⭕
  • HashMap：
    • 是存储“键值对”的哈希表；它不是线程安全的，只适用于单线程；
  • WeakHashMap：
    • 也是哈希表；
    • 和HashMap不同的是，HashMap的“键”是强引用类型，而WeakHashMap的“键”是弱引用类型，也就是说当WeakHashMap 中的某个键不再正常使用时，会从WeakHashMap中自动移除。WeakHashMap也不是线程安全的，只适用于单线程（在ThreadLocal中就有应用）。
  • Hashtable：
    • 也是哈希表；
    • 和HashMap不同的是，Hashtable是线程安全的，支持并发；
  • TreeMap：
    • 也是哈希表；
    • 不过TreeMap中的“键值对”是 有序 的，它是通过 R-B Tree(红黑树) 实现的；
    • TreeMap不是线程安全的，只适用于单线程；
• 我们可以发现： 💦💦💦💦
  • java集合包大多是“非线程安全”的，虽然可以通过Collections工具类中的方法获取java集合包对应的同步类，但是这些同步类的并发效率并不是很高。为了更好的支持高并发任务，并发大师Doug Lea在JUC(java.util.concurrent)包中添加了java集合包中单线程类的对应的支持高并发的类。例如，ArrayList对应的高并发类是CopyOnWriteArrayList，HashMap对应的高并发类是ConcurrentHashMap，等等；
  • JUC包在添加”java集合包“对应的高并发类时，为了保持API接口的一致性，使用了”Java集合包“中的框架。例如，CopyOnWriteArrayList实现了“Java集合包”中的List接口，HashMap继承了“java集合包”中的AbstractMap类，等等。
  • 得益于“JUC包使用了Java集合包中的类”，如果我们了解了Java集合包中的类的思想之后，理解JUC包中的类也相对容易；理解时，最大的难点是，对JUC包是如何添加对“高并发”的支持的！

JUC中的集合类

• 接下来，我们通过三个部分来分别了解JUC包中集合类的框架，当然在本篇文章中只是简单介绍，后面的几篇文章会对应着有详细的讲解：
• List、Set： 💦💦💦

  • JUC集合包中的List和Set实现类包括：

    • CopyOnWriteArrayList, CopyOnWriteArraySet和ConcurrentSkipListSet；
      • ConcurrentSkipListSet稍后在说明Map时再说明；
      • CopyOnWriteArrayList 和 CopyOnWriteArraySet的框架如下图所示：
        

  • CopyOnWriteArrayList：相当于线程安全的ArrayList，它实现了List接口，CopyOnWriteArrayList是支持高并发的；

  • CopyOnWriteArraySet：相当于线程安全的HashSet，它继承于AbstractSet类，CopyOnWriteArraySet内部包含一个CopyOnWriteArrayList对象，它是通过CopyOnWriteArrayList实现的；

• Map： 💦💦💦
  • JUC集合包中Map的实现类包括：
    • ConcurrentHashMap和ConcurrentSkipListMap，它们的框架如下图所示：
      
  • ConcurrentHashMap： 是线程安全的哈希表(相当于线程安全的HashMap)； 它继承于AbstractMap类，并且实现ConcurrentMap接口。ConcurrentHashMap是通过“锁分段”来实现的，它支持并发；
  • ConcurrentSkipListMap： 是线程安全的有序的哈希表(相当于线程安全的TreeMap); 它继承于AbstractMap类，并且实现ConcurrentNavigableMap接口。ConcurrentSkipListMap是通过“跳表”来实现的，它支持并发；
  • ConcurrentSkipListSet： 是线程安全的有序的集合(相当于线程安全的TreeSet)；它继承于AbstractSet，并实现了NavigableSet接口。ConcurrentSkipListSet是通过ConcurrentSkipListMap实现的，它也支持并发；
• Queue： 💦💦💦
  • JUC集合包中Queue的实现类包括:
    • ArrayBlockingQueue, LinkedBlockingQueue, LinkedBlockingDeque, ConcurrentLinkedQueue和ConcurrentLinkedDeque，它们的框架如下图所示：
      
• ArrayBlockingQueue：是数组实现的线程安全的有界的阻塞队列；
• LinkedBlockingQueue：是单向链表实现的(指定大小)阻塞队列，该队列按 FIFO（先进先出）排序元素；
• ConcurrentLinkedQueue：是单向链表实现的无界队列，该队列按 FIFO（先进先出）排序元素；
• ConcurrentLinkedDeque：是双向链表实现的无界队列，该队列同时支持FIFO和FILO两种操作方式；