构造指定初始容量

jdk1.8初始容量

1.8有变化比如设的32 是 32+32/2+1 向上取2的次方
所有设32 得 64
↓ 向上取2的次方是和hashMap一样的

    private static final int tableSizeFor(int c) {
        int n = c - 1;
        n |= n >>> 1;
        n |= n >>> 2;
        n |= n >>> 4;
        n |= n >>> 8;
        n |= n >>> 16;
        return (n < 0) ? 1 : (n >= MAXIMUM_CAPACITY) ? MAXIMUM_CAPACITY : n + 1;
    }

sizeCtl

正数 :
数组没有初始化，记录的是数组初始容量
数组已经初始化，记录的是数组的扩容阈值

    /**
     * Table initialization and resizing control.  When negative, the
     * table is being initialized or resized: -1 for initialization,
     * else -(1 + the number of active resizing threads).  Otherwise,
     * when table is null, holds the initial table size to use upon
     * creation, or 0 for default. After initialization, holds the
     * next element count value upon which to resize the table.
     */
    private transient volatile int sizeCtl;

0 数组没有初始化
负数是正进行某事
-1 代表数组正在初始化
不是-1的负数，表示数组正在扩容

没有参数的构造方法, 啥都没有干当然sizeCtl是0, 数组没初始化

    public ConcurrentHashMap() {
    }

put

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

默认是覆盖旧值
可以看到 kv 都不支持null↓

第一次put会初始化数组

initTable 一个漂亮的cas无锁操作, 初始化数组

第一次进来 sizeCtl 默认是0 走cas, 把sizeCtl 值变成-1(正在初始化)
这里 SIZECTL 是sizeCtl 底层地址
sizeCtl <0 时要么是在扩容要么是在初始化, 那么遇到就没啥好做了的了 yield

再看cas操作成功后, 正常这种Cas-1成功是代表抢到了初始化的权限

双重检测

为什么双重检查:
如果第二个线程进去while的时候还没初始化好, 但是检查sizeCtl 的时候已经初始化好了,sizeCtl >0,
这样的话还是会去cas 改回-1
这个时候就不用扩容了, 在finally里面把被cas调的扩容阈值放回去了好了

初始化数组的同时, 会设好下次扩容的阈值:
sc = n - (n >>> 2); 其实就是 0.75*n
初始化完成后, sizeCtl存的是扩容阈值

casTabAt 填入值

putVal方法主体是一个死循环, 如果没初始化数组, 会先进去initTable初始化数组,
初始化结束后, 又循环,
明显整个数组都是空的,进入 casTabAt , cas 成功把值放进去, 就能break 出循环
如果cas失败, 就是hash 碰撞了, 那么就继续循环, 会进最后一个else