Segment段

CurrentHashMap和HashMap相比支持并发操作，整个CurrentHashMap是由一个个的Segment组成的，也是就是常说的分段锁

Segment继承了重入锁ReentrantLock来进行加锁，   可以简单的把CurrentHashMap理解为一个Segment数组，每次加锁，锁住的是一个Segment，这样只要保证每个Segment是线程安全的，也就实现了全局的线程安全。

 

CurrentHashMap的并行度默认是16，既有16个Segment，这个时候最多可以支持16个并发写，他们的操作分布在不同的Segment上。  并行度可以在初始化的时候设置为其它值，但是一旦设置成功是不可以扩容的。

 

这个时候我们再来理解每个Segment里面的线程安全，每个Segment很像我们的HashMap，不过他要保证线程安全所以处理起来有些麻烦。

ConcurrentHashMap的get操作实现非常简单和高效。先经过一次再哈希，然后使用这个哈希值通过哈希运算定位到segment，再通过哈希算法定位到元素

	public V get(Object key) {2	 
	       int hash = hash(key.hashCode());
	 
	       return segmentFor(hash).get(key, hash);
	 
	   }

 

ConcurrentHashMap的get操作

get操作的高效之处在于整个get过程不需要加锁，除非读到的值是空的才会加锁重读，我们知道HashTable容器的get方法是需要加锁的，那么ConcurrentHashMap的get操作是如何做到不加锁的呢？原因是它的get方法里将要使用的共享变量都定义成volatile，如用于统计当前Segement大小的count字段和用于存储值的HashEntry的value ，这样就能够在线程之间保持可见性，能够被多线程同时读，并且保证不会读到过期的值。

 

 

ConcurrentHashMap的Put操作

由于put方法里需要对共享变量进行写入操作，所以为了线程安全，在操作共享变量时必须得加锁。Put方法首先定位到Segment，然后在Segment里进行插入操作。插入操作需要经历两个步骤，第一步判断是否需要对Segment里的HashEntry数组进行扩容，第二步定位添加元素的位置然后放在HashEntry数组里。

是否需要扩容。在插入元素前会先判断Segment里的HashEntry数组是否超过容量（threshold），如果超过阀值，数组进行扩容。值得一提的是，Segment的扩容判断比HashMap更恰当，因为HashMap是在插入元素后判断元素是否已经到达容量的，如果到达了就进行扩容，但是很有可能扩容之后没有新元素插入，这时HashMap就进行了一次无效的扩容。

如何扩容。扩容的时候首先会创建一个两倍于原容量的数组，然后将原数组里的元素进行再hash后插入到新的数组里。为了高效ConcurrentHashMap不会对整个容器进行扩容，而只对某个segment进行扩容。

 

ConcurrentHashMap的size操作

如果我们要统计整个ConcurrentHashMap里元素的大小，就必须统计所有Segment里元素的大小后求和。Segment里的全局变量count是一个volatile变量，那么在多线程场景下，我们是不是直接把所有Segment的count相加就可以得到整个ConcurrentHashMap大小了呢？不是的，虽然相加时可以获取每个Segment的count的最新值，但是拿到之后可能累加前使用的count发生了变化，那么统计结果就不准了。所以最安全的做法，是在统计size的时候把所有Segment的put，remove和clean方法全部锁住，但是这种做法显然非常低效。

因为在累加count操作过程中，之前累加过的count发生变化的几率非常小，所以ConcurrentHashMap的做法是先尝试2次通过不锁住Segment的方式来统计各个Segment大小，如果统计的过程中，容器的count发生了变化，则再采用加锁的方式来统计所有Segment的大小。

那么ConcurrentHashMap是如何判断在统计的时候容器是否发生了变化呢？使用modCount变量，在put , remove和clean方法里操作元素前都会将变量modCount（可以看做自增的版本号）进行加1，那么在统计size前后比较modCount是否发生变化，从而得知容器的大小是否发生变化。

 

 

 

 

 

转载于:https://my.oschina.net/fusublog/blog/3064375