concurrentHashMap部分源码分析和问题汇总

1、ConcurrentHashMap是怎么解决并发问题的？

     使用unsafe的CAS操作，扩容时自旋锁，更新值时使用synchronized 锁住表需要操作的node节点。此时其他线程可以安全的获得其他的table位置来进行操作。这也就提高了ConcurrentHashMap的并发。

2、ConcurrentHashMap 怎么从链表转换为红黑树？如果存入的是null键和hashMap有什么区别？ 

    ConcurrentHashMap 和hashMap结构相同，数组（hash桶）+链表+红黑树。

   hashmap计算hash方式是 (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);因此key可以为null，存在0位置

   而ConcurrentHashMap put方法 直接取key.hashCode()，key为null则空指针异常。因此key不能为null

 

put和扩容源码注解

//表初始化和调整大小控制器。如果为负值，表将被初始化或调整大小：-1用于初始化，否则-(1活动调整大小线程的数目)。否则，当表为NULL时，保留创建时要使用的初始表大小，或默认情况下为0。初始化后，保存要调整表大小的下一个元素计数值。
//在完成初始化table的任务之后，线程需要将sizeCtl设置成可以使得其他线程获得变量的状态，这其中还有一个地方需要注意，就是在某个线程通过U.compareAndSwapInt方法设置了sizeCtl之前和之后进行了两次check，来检测table是否被初始化过了，这种检测是必须的，因为在并发环境下，可能前一个线程正在初始化table但是还没有成功初始化，也就是table依然还为null，而有一个线程发现table为null他就会进行竞争sizeCtl以进行table初始化，但是当前线程在完成初始化之后，那个试图初始化table的线程获得了sizeCtl，但是此时table已经被初始化了，所以，如果没有再次判断的话，可能会将之后进行put操作的线程的更新覆盖掉，这是极为不安全的行为。
private transient volatile int sizeCtl;

/*
 * Encodings for Node hash fields. See above for explanation.
 */
static final int MOVED     = -1; // hash for forwarding nodes
static final int TREEBIN   = -2; // hash for roots of trees
static final int RESERVED  = -3; // hash for transient reservations
static final int HASH_BITS = 0x7fffffff; // usable bits of normal node hash

private static final Unsafe U = Unsafe.getUnsafe();

//sizeCtrl偏移量
private static final long SIZECTL;

static{SIZECTL = U.objectFieldOffset(ConcurrentHashMap.class, "sizeCtl");}

static final int spread(int h) {
    return (h ^ (h >>> 16)) & HASH_BITS;
}

private final Node<K,V>[] initTable() {
    Node<K,V>[] tab; int sc;
    while ((tab = table) == null || tab.length == 0) {
        //如果小于0，有其它线程在处理table，lost initialization race; just spin(失去初始化竞争，自旋等待)暂停线程，等待其它线程完成
        if ((sc = sizeCtl) < 0)
            Thread.yield(); // lost initialization race; just spin
        else if (U.compareAndSetInt(this, SIZECTL, sc, -1)) {
            //CAS操作获取自旋锁，设置 sizeCtl=-1
            try {
                if ((tab = table) == null || tab.length == 0) {
                    //如果初始化指定了容量，设置容量大小，否则使用默认容量 16(1<<4)
                    int n = (sc > 0) ? sc : DEFAULT_CAPACITY;
                    @SuppressWarnings("unchecked")
                    Node<K,V>[] nt = (Node<K,V>[])new Node<?,?>[n];
                    table = tab = nt;
                    //下次要扩容的阀值 当前容量的 3/4 ~ 0.75
                    sc = n - (n >>> 2);
                }
            } finally {
                sizeCtl = sc;
            }
            break;
        }
    }
    return tab;
}

static final <K,V> boolean casTabAt(Node<K,V>[] tab, int i, Node<K,V> c, Node<K,V> v) {
    return U.compareAndSetReference(tab, ((long)i << ASHIFT) + ABASE, c, v);
}

static final <K,V> Node<K,V> tabAt(Node<K,V>[] tab, int i) {
    return (Node<K,V>)U.getReferenceAcquire(tab, ((long)i << ASHIFT) + ABASE);
}

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; K fk; V fv;
            //初始化table
            if (tab == null || (n = tab.length) == 0)
                tab = initTable();
            else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) {
                //如果当前位置(index为(n - 1) & hash)没有值，插入数据
                if (casTabAt(tab, i, null, new Node<K,V>(hash, key, value)))
                    break;                   // no lock when adding to empty bin
            }
            //检测到其他线程正对其扩容则协助其扩容
            else if ((fh = f.hash) == MOVED)
                tab = helpTransfer(tab, f);
            else if (onlyIfAbsent // check first node without acquiring lock
                     && fh == hash
                     && ((fk = f.key) == key || (fk != null && key.equals(fk)))
                     && (fv = f.val) != null)
                return fv;
            else {
                V oldVal = null;
                //对table的index位置节点加锁，此时其他线程可以安全的获得其他的table位置来进行操作。这也就提高了ConcurrentHashMap的并发度
                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);
                                    break;
                                }
                            }
                        }
                        //向红黑树中添加元素，TreeBin 结点的hash值为TREEBIN（-2）
                        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;
                            }
                        }
                        else if (f instanceof ReservationNode)
                            throw new IllegalStateException("Recursive update");
                    }
                }
                if (binCount != 0) {
                    //链表长度超过8转红黑树
                    if (binCount >= TREEIFY_THRESHOLD)
                        treeifyBin(tab, i);
                    if (oldVal != null)
                        return oldVal;
                    break;
                }
            }
        }
        addCount(1L, binCount);
        return null;
    }