ConcurrentHashMap Put方法源码解析

前言：

在介绍ConcurrentHashMap之前，先了解几个概念。

Bin：

纵所周知，HashMap的结构由链表和数组组成，ConcurrentHashMap在此基础上还增加了红黑树+数组的模式（这个我们后面介绍）。因此在ConcurrentHashMap中，一个链表可以理解为一个bin，一颗红黑树可以理解为一个Treebin。为了解决并发问题，不出现 ConcurrentModificationException异常，同时又不至于锁住整张表，因此只有当一个以上的线程同时访问同一个bin或Treebin时，我们才会对当前被访问的bin或Treebin加锁，锁对象为bin的头节点，即链表的头节点。

Put 源码解析：

当调用ConcurrentHashMap的put方法时，其实就是间接调用putVal(key, value, false), false所对应的参数为OnlyIfAbsent，表面语义指“只有不存在的时候”。此处指无论key在表中所对应的值是否存在，都使用value进行更新

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

下面为putVal的源码，之后我们来分块解释：

final V putVal(K key, V value, boolean onlyIfAbsent) {
        if (key == null || value == null) throw new NullPointerException(); // Key 和value 的值必须非null
        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();  // 若table为空，则初始化table
            else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) { 
                if (casTabAt(tab, i, null,
                             new Node<K,V>(hash, key, value, null)))
                    break;                   // no lock when adding to empty bin
            }
            else if ((fh = f.hash) == MOVED)   //哈希值为-1（MOVED）说明table在进行resize，此时当前线程帮助他变了进行resize
                tab = helpTransfer(tab, f);
            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 &&