由来:HashMap不是并发安全的(会出现循环链表),为了解决HashMap不安全的问题,Hashtable为每一个方法加了synchronized,然而导致效率变慢!这样ConcurrentHashMap就来了。
ConcurrentHashMap采用分段锁,有一个Segment[]数组(容量为2的幂次方),每一个Segment对象里面又有一个HashEnrty[]数组(容量为2的幂次方),将key和value放到segment对象里,segment对象实际上是个小的hashMap。存入时,先找到是哪个segment对象,然后再找是segment的哪个位置。
ConcurrentHashMap的key和value不能为null。
ConcurrentHashMap默认的构造方法会调用有参的构造方法,并传入默认值:默认初始化容量16、默认的加载因子0.75和默认并发级别。执行构造方法,会new一个Segment数组,生成一个s0对象,把s0放到Segment数组的第0个位置,初始化Segment[]数组和HashEntry[]数组,Segment长度第一次就确定了,后面扩容也不会改变Segment长度了
ConcurrentHashMap构造方法的时候就会在第一个位置生成s0对象,这样当执行put方法的时候,在其他位置生成segment对象的时候能更快一点,直接取s0对象的属性拿来用就行了,不需要再去计算数组初始化的大小是多少。
使用segment对象的put方法,会先尝试获取锁,根据key、value生成hashEntry对象,采用头插法放到segment对象内部的数组或链表中去,然后解锁。
put方法初始化segment对象里面的hashEntry数组,根据数组长度和传来的hash值得出数组下标index,然后获取这个位置上的第一个元素(即链表的头结点),判断是否为空。不为空,遍历这个链表,如果发现key相等,记下oldValue,最终返回oldValue;不为空或key不等,则生成一个hashEntry,类似hashMap采用头插法放到数组中链表的头位置。
Segment继承ReentrantLock,有tryLock()和lock()方法,两者区别如下:
- tryLock会判断当前这把锁能不能获取到,如能返回true,不能返回false,不会阻塞
- lock 如果不能获取到锁会阻塞,直到能获取到锁,阻塞才会解开。
rehash()扩容,扩容segment里的数组:
oldCapacity长度左移一位翻倍扩容,再重新算阈值,然后new一个新数组,将原数组元素转到新数组。