ConcurrentHashMap源码（二）--initTable

在ConcurrentHashMap的put方法中，第一次添加元素的时候table是空的（使用空的构造函数），就会执行initTable方法。

下面就来看一下jdk8是怎么初始化这个table的，如何保证并发不出问题。

关于unsafe.compareAndSwap的用法，可以参见我以前的博客 AtomicInteger分析--自实现无锁并发。

private final Node<K,V>[] initTable() {        Node<K,V>[] tab; int sc;//这个有个死循环，        while ((tab = table) == null || tab.length == 0) {//2.sizeCtl何时为0？看后面            if ((sc = sizeCtl) < 0)                Thread.yield(); // lost initialization race; just spin//1.这里有个if,如果没进这个if，则继续循环//什么时候没进这个if呢？//-就是unsafe.compareAndSwapInt失败的时候，//什么时候失败呢？//-当其他的线程也对sizeCtl进行了修改（内存里实际的值与手上拿的不一样，这个时候就返回false了。svn一样）//2.如果成功了，则进入if,同时，内存中的sizeCtl的值也被修改成了-1，这个时候就可以看到1处做的判断：如果小于0，则放弃此次执行//3.如果未成功，那继续while：//-这个时候要么其他的线程已经将table初始化好了，table!=null，直接返回table就行了//  -要么其他线程正在初始化这个表，此时的sizeCtl是-1.所以放弃此次执行。（等待其他线程）            else if (U.compareAndSwapInt(this, SIZECTL, sc, -1)) {                try {                    if ((tab = table) == null || tab.length == 0) {//这里就是初始化一个table数组                        int n = (sc > 0) ? sc : DEFAULT_CAPACITY;                        @SuppressWarnings("unchecked")                        Node<K,V>[] nt = (Node<K,V>[])new Node<?,?>[n];                        table = tab = nt;                        sc = n - (n >>> 2);                    }                } finally {//结束后将sizeCtl设置为新的table的容量（而不是-1）                    sizeCtl = sc;                }//初始化完成了，那就break。                break;            }        }        return tab;    }