在HashMap的基础上ConcurrentHashMap

ConcurrentHashMap与HashMap对比之创新

其实在本质上ConcurrentHashMap与HashMap都是实现Map接口，而且可以这么说ConcurrentHashMap其实就是HashMap的另一种变换形式，接下来我们也将从两个jdk的版本来分析一下究竟他与HashMap有何不同？

版本分析之jdk1.7

在jdk1.7中ConcurrnetHashMap采用是分段的数组+链表的形式，因为ConcurrentHashMap属于线程安全的HashMap所以肯定会相对应的采取一些措施来应对多线程高并发的情况，最直接的便是加分段锁(对整个数组进行分段分割的方式，而每把锁只锁其中的一部分数据)，多线程情况下访问不同的数据段就不会存在锁竞争的问题了，提高了并发访问率（默认分配16个Segment，比Hashtable效率提高16倍。），而Hashtable直接上了一把重锁synchronized，在效率上可以看出不如ConcurrentHashMap，而HashMap又不是线程安全的，则首选的肯定是ConcurrentHashMap。

通过上图可以清晰的看出数据与分段锁之间的关系，因为jdk1.8之后便放弃了分段锁的概念，所以我们在这里就不详细阐述了，接下来让我们理解与分析一下jdk1.8版本下的
ConcurrentHashMap。

版本分析之jdk1.8

在jdk1.8中我们放弃了Segment的概念，因为他在锁的细粒度上还是有所欠缺，所以我们引用了 Node
数组+链表+红黑树的数据结构来实现，并发控制使用 synchronized 和 CAS
来操作，我们通过每把锁只锁定当前链表或红黑二叉树的首节点，这样只要hash不冲突，就不会产生并发，效率又提升N倍。

在锁上的细粒度上对比起来更加明确，附上源码让我们更加理解在添加元素的时候对于并发的控制流程，对于ConcurrentHashMap可以有一个更深层次的理解

public V put(K key, V value) {
        return putVal(key, value, false);
    }

    /** Implementation for put and putIfAbsent */
    final V putVal(K key, V value, boolean onlyIfAbsent) {
        if (key == null || value == null) throw new NullPointerException();
        int hash = spread(key.hashCode());
        int binCount = 0;
        for (Node<K,V>[] tab = table;;) {
            Node<K,V> f; int n, i, fh;		//数组变为了node数组
            if (tab == null || (n = tab.length) == 0)
                tab = initTable();		//进行一个初始化操作，里面主要是通过cas与tab数组进行的一个锁竞争，如果竞争成功则初始化tab数组，否则让出cpu等待下次再获取cpu
            else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) {
                if (casTabAt(tab, i, null,		//通过cas的乐观锁与synchronized的悲观锁来控制他的并发度，来保证线程的安全性。
                             new Node<K,V>(hash, key, value, null)))
                    break;                  
            }
            else if ((fh = f.hash) == MOVED)
                tab = helpTransfer(tab, f);		//这里面用的是transfer方法进行扩容，而helpTransfer是来协助进行扩容操作的
            else {
                V oldVal = null;
                synchronized (f) {
                    if (tabAt(tab, i) == f) {
                        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;
    }

其实在很大程度上ConcurrentHashMap与HashMap在源码上大致是一样的，如果有不理解HashMap的可以参考我们的上一篇文章，那里面也是针对两个不同版本的jdk进行的详细的源码描述，最大的区别便是线程的安全与不安全的问题。