HashMap与ConcurrentHashMap原理

一、HashMap基本原理

HashMap的底层是一些Entry<K,V> 键值对，他们被存放在一个数组里，这个数组的初始长度是16。

不管是最常见的get 还是put操作，首先要做的是对K进行Hash运算，得到K所对应的数组的坐标，计算的规则是用 K的HashCode值对数组的长度减1进行位运算,求得他要寻找或存储的数组的坐标，数组长度是16或或扩容到的2的整数次幂的原因是这样使得K经过Hash运算后得到的坐标可以比较均匀的分布在数组中。

因为数组长度有限，所以在数组中会出现index冲突的情况，HashMap用链表存储这种结构，用Next指针指向下一个Entry，后插入的Entry在链表的头部方向，因为HashMap的发明者认为后插入的数据被查找的可能性更大一些。

当进行get操作时会先Hash运算得到index坐标，然后的从上往下遍历这个链表，当K相匹配时取出该值。

二、HashMap是否线程安全

HashMap是非线程安全的，不安全的的根本原因是HashMap的resize操作，当元素的个数>=数组的长度*LoadFactor（负载因子,默认是 0.75f）时，HashMap会自动进行resize操作，会先创建一个长度为之前两倍的数组，然后遍历利旧数组的Entry，将K的Hashcode重新对新的数组长度-1进位运算，存到新的HashMap中，当高并发插入时，index冲突问题严重，而插入时并没有使用锁，有可能出现环状链表，从而产生死循环。

三、ConcurrentHashMap是线程安全的

ConcurrentHashMap是由一个个Segement构成的， Segment是什么呢？Segment本身就相当于一个HashMap对象。同HashMap一样，Segment包含一个HashEntry数组，数组中的每一个HashEntry既是一个键值对，也是一个链表的头节点。

可以说，ConcurrentHashMap是一个二级哈希表。在一个总的哈希表下面，有若干个子哈希表。

以下是ConcurrentHashMap的Get、put、size等操作的流程。

Get方法：

1.为输入的Key做Hash运算，得到hash值。

2.通过hash值，定位到对应的Segment对象

3.再次通过hash值，定位到Segment当中数组的具体位置。

Put方法：

1.为输入的Key做Hash运算，得到hash值。

2.通过hash值，定位到对应的Segment对象

3.获取可重入锁

4.再次通过hash值，定位到Segment当中数组的具体位置。

5.插入或覆盖HashEntry对象。

6.释放锁。

ConcurrentHashMap的Size方法是一个嵌套循环，大体逻辑如下：

1.遍历所有的Segment。

2.把Segment的元素数量累加起来。

3.把Segment的修改次数累加起来。

4.判断所有Segment的总修改次数是否大于上一次的总修改次数。如果大于，说明统计过程中有修改，重新统计，尝试次数+1；如果不是。说明没有修改，统计结束。

5.如果尝试次数超过阈值，则对每一个Segment加锁，再重新统计。

6.再次判断所有Segment的总修改次数是否大于上一次的总修改次数。由于已经加锁，次数一定和上次相等。

7.释放锁，统计结束。

为什么这样设计呢？这种思想和乐观锁悲观锁的思想一致，

为了尽量不锁住所有Segment，首先乐观地假设Size过程中不会有修改。当尝试一定次数，才无奈转为悲观锁，锁住所有Segment保证强一致性。