ConcurrentHashMap底层实现原理

ConcurrentHashMap是内部线程安全的Map，但外部并非线程安全，比如多个线程同时put去使得某个key的value累加时，得到的结果通常不会相同，所以该加锁时还得加锁

ConcurrentHashMap在jdk1.7是基于分段锁实现，但我们重点讨论jdk1.8的版本，也就是使用数组加链表加红黑树，分段锁改为基于cas和Synchronized实现
当hash冲突造成链表长度等于8，且nodes数组长度大于64时，链表结构会转变为红黑树结构，之所以要等于8是基于时间和空间的考量，当链表长度小于6时，红黑树会又会变为链表结构

当调用ConcurrentHashMap的put方法时，如果是第一次put值，则会对ConcurrentHashMap进行初始化，并将SizeCtl的值设为-1，这样做的目的是防止多线程下被多次初始化，初始化一个默认长度为16的Node数组后，SizeCtl的值将会被设为数组长度 * 0.75，表示下一次扩容的阈值，通过hash计算出来索引下标后，如果原索引位置没有数据，则将数据放入数组中，并通过addCount方法为数组元素个数计数，如果在并发量不大的情况下，会直接在baseCount上对元素个数通过cas进行增加，
但如果一次cas操作增加元素个数失败的情况下，ConcurrentHashMap为了保证元素个数计数的原子性，同时为了保证效率，会通过一个名为CounterCell的数组去记录元素个数，默认情况下会去构造一个两个长度的CounterCell数组，当线程调用addCount方法时，会通过随机下标路由到CounterCell的某个索引上，并将该索引上的计数器通过cas操作加1，这其实是一种分段加锁的思想，减少了多个线程通过cas去更新同一个数据时的等待时间，最终当需要获取ConcurrentHashMap的所有元素个数时，会使用求和的方式将CounterCell中各元素中存的元素个数的总和求出，然后累加到baseCount中，即为map中所有元素的个数

如果原索引位置有数据，则会对链表的头节点加锁，同一时间只会有一个线程可以操作数组中某个索引里的那个链表或红黑树，不会影响数组中其他节点的并发访问，锁的粒度更细了，这也是为什么jdk1.8的ConcurrentHashMap性能更好

如果加入元素后，元素个数达到扩容阈值，则会对数组进行扩容，ConcurrentHashMap支持多线程并发扩容，它通过一个扩容标记位实现，实际上是一个二进制数，高16位代表扩容的标记，低16位代表正在参与扩容的线程数

当数组进行扩容时，会先生成一个扩容后的新的数组，数组长度是原数组的两倍，然后将原数组的数据进行迁移，每个线程默认一次负责16个元素的数据迁移，当迁移某个元素的链表时，会将头节点锁住，同时对链表中的节点进行分类，将hash值和原数组长度进行与运算，然后将与运算结果为0和不为0的区分为高位链和低位链为重新散列到新的数组做准备，低位链会放在与之前数组索引一样的位置的新数组中，换一句话说低位链的数据保持索引不变，高位链会用当前索引加上原数组长度的索引存放在新数组中