学习记录：ConcurrentHashMap

HashMap 在并发情况下写数据可能会发生环形列表，数据丢失、覆盖问题，所以在并发使用map结构的时候建议使用ConcurrentHashMap。

在JDK1.7中ConcurrentHashMap采用了数组+Segment+分段锁的方式实现。

Segment(分段锁)：ConcurrentHashMap中的分段锁称为Segment，它即类似于HashMap的结构，即内部拥有一个Entry数组，数组中的每个元素又是一个链表,同时又是一个ReentrantLock（Segment继承了ReentrantLock）。

内部结构：ConcurrentHashMap使用分段锁技术，将数据分成一段一段的存储，然后给每一段数据配一把锁，当一个线程占用锁访问其中一个段数据的时候，其他段的数据也能被其他线程访问，能够实现真正的并发访问。如下图是ConcurrentHashMap的内部结构图：

ConcurrentHashMap 在最上层添加了Segment 每一段Segement中储存着一组HashEntry。写操作会加锁，不影响别的段的读写操；读操作不加锁，先通过hashcode定位到segment 在通过hashcode定位到HashEntry。

在JDK1.8中,ConcurrentHashMap不在使用segment 分段锁，但还是保留了segment 兼容以前的版本 。1.8只有链表和红黑树才会加锁，使用synchronized和cas操作，理论上只要不发生hash冲突就不会产生并发；node节点中的value 和next 使用volatilex修饰保证并发可见性。

这里主要剖析一下1.8下的put源码：

/** Implementation for put and putIfAbsent */
    final V putVal(K key, V value, boolean onlyIfAbsent) {
    	//非空判断
        if (key == null || value == null) throw new NullPointerException();
        //获取hash值
        int hash = spread(key.hashCode());
        int binCount = 0;
        // 死循环，直到插入成功 
        for (Node<K,V>[] tab = table;;) {
            Node<K,V> f; int n, i, fh;
            //判断是否需要初始化
            if (tab == null || (n = tab.length) == 0)
                tab = initTable();
             //f位当前key定位到的节点
            else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) {
            	// 如果节点为空则cas尝试写入数据
                if (casTabAt(tab, i, null,
                             new Node<K,V>(hash, key, value, null)))
                    break;                   // no lock when adding to empty bin
            }
            //如果f.hash==-1，说明当前f是ForwardingNode节点，意味有其它线程正在扩容，则一起进行扩容操作
            else if ((fh = f.hash) == MOVED)
                tab = helpTransfer(tab, f);
            else {
                V oldVal = null;
                //节点上锁（hash值相同的链表的头节点）
                synchronized (f) {
                	//再次判断，防止被其它线程修改
                    if (tabAt(tab, i) == f) {
                    	//链表 覆盖操作与hashmap中的操作类似就不再做注释
                        if (fh >= 0) {
                            binCount = 1;
                            for (Node<K,V> e = f;; ++binCount) {
                                K ek;
                                if (e.hash == hash &&
                                    ((ek = e.key) == key ||
                                     (ek != null && key.equals(ek)))) {
                                    oldVal = e.val;
                                    if (!onlyIfAbsent)
                                        e.val = value;
                                    break;
                                }
                                Node<K,V> pred = e;
                                if ((e = e.next) == null) {
                                    pred.next = new Node<K,V>(hash, key,
                                                              value, null);
                                    break;
                                }
                            }
                        }
                        //红黑树
                        else if (f instanceof TreeBin) {
                            Node<K,V> p;
                            binCount = 2;
                            if ((p = ((TreeBin<K,V>)f).putTreeVal(hash, key,
                                                           value)) != null) {
                                oldVal = p.val;
                                if (!onlyIfAbsent)
                                    p.val = value;
                            }
                        }
                    }
                }
                //树化
                if (binCount != 0) {
                    if (binCount >= TREEIFY_THRESHOLD)
                        treeifyBin(tab, i);
                    if (oldVal != null)
                        return oldVal;
                    break;
                }
            }
        }
        addCount(1L, binCount);
        return null;
    }