ConcurrentHashMap:数组加链表,ConcurrentHashMap 包含一个Segment数组,而Segment是ConcurrentHashMap的内部类,在Segment中柏含一个HashEntry的数组,而HashEntry是ConcurrentHashMap的内部类,HashEntry中包含key和value以及next指针,所以HashEntry可以构成一个链表,通俗的讲,ConcurrentHashMap数据结构包含一个Segment数组,Segment的数据结构为HashEntry数组,而HashEntry存的键值对,可以构成链表。HashEntry用散列映射表中的键值对,在HashEntry类中,key,hash都被声明为final型,value和next被声明为volatile型,HashEntry类比HashMap的Entry
Segment类定义为static final class Segment<k,v> extends Reentrantlock implements Serializable 继承自Reentrantlock类,使得Segment可以充当锁的角色,Segment包含HashEntry数组,其可以守护其包含的若干桶,Segment有点类似HashMap,
count变量是计数器,表示Segment对象管理的table数组的个数,在ConcurrentHashMap中,当执行put方法的时候,会加锁来完成,加锁操作是针对hash值对应的Segment完成,并不需要对整个Concurrent加锁,此时其他的线程可以对其他的segment进行put操作。同时读线程不会因为本线程加锁而阻塞,通过HashEntry对象的不变性和用volatile变量协调线程的可见性,使得大多数时候,读操作不需要加锁就可以获得正确值。
ConcurrentHashMap的高并发性主要来自于三个方面:
- 使用分离锁实现多个线程间更深层次的共享访问,
- 用HashEntry对象不变性来降低读操作的线程遍历期间加锁需求
- 通过对同一个volatile变量的读写访问协调不同线程读写操作的内存可见性