笔记_ConcurrentHashMap

ConcurrentHashMap

• 并发安全

jdk1.7的ConcurrentHashMap：分段锁

• ConcurrentHashMap中的数组

  • Segment[] table

• Segment，相当于HashMap中的Entry

  • HashEntry[] table

• 首先计算出segment数组的大小和每一个segment下面的entry数组的大小，这两个数组的大小都是2的幂次方

• 然后生成一个空的segment对象放入到segment数组中的第一个位置

  • 保留一个原型

  • 方便以后再生成新的segment时直接从s0拿到初始化的属性

• 当插入元素时，进行两次index的计算

• 在数组扩容时，实际上是对segment下的entry进行扩容

• UnSafe.CAS：直接修改内存的值而不是cpu的缓存，并且这个操作是原子性的，不会被其他线程干扰

• key不能为null

• 在插入元素时：

  • 先拿到要插入的下标所指的segment对象

    • 如果segment为null，则会创建对象，新对象的属性从之前存放在初始化的s0的对象中取出来，然后将新对象插入到Segment[]数组中

    • 这一系列过程都要通过UnSafe的检查，如果在插入的过程中已经被其他线程插入值，则放弃插入并直接返回里面的值

    • 最终插入时会进入一个while循环并且通过UnSafe的CAS（比较再交换操作）进行新对象的插入，这个cas插入保证在插入时只有一个线程在操作并且保证这个操作的原子性

  • 拿到segment对象后，再对segment对象里面的HashEntry数组进行第二阶段的插入

    • 先获取锁：tryLock，不会阻塞，而lock会阻塞

    • 使用tryLock的时候他可以先对接下来要插入的节点做准备工作，并且一边进行一边尝试tryLock，而这个尝试的次数是有限制的

    • 达到一定限制之后他还是会使用lock直接获取锁并且被阻塞直到拿到锁后才跳出循环

jdk1.8 的ConcurrentHashMap：对数组的中链表或者红黑树的首节点使用synchronize加锁， CAS + synchronized 来保证并发安全性

• 只有一个数组而不是像1.7那样嵌套数组

• TreeBin直接代表是一个红黑树，转化为红黑树的时候对转化过程单独加锁

• 数组中存储的是红黑树的对象，而不是树的根节点，因此加锁之后不管树的结构如何变化，锁都不会变

• 扩容的时候使用CounterCell分散线程的竞争，最后进行统计

• put的时候通过addCount使size+1