ConcurrnetHashMap进行初始化的时候利用CAS+自旋:
While(判断数组是否为空或者长度是否为0){ //自旋
If(sizeCtl是否小于0){
有其他线程正在进行初始化或者扩容,当前线程让出CPU执行权
}else if(可以通过CAS设置sizeCtl的值为-1,即获得初始化的权力){
判断数组是否为空,又可能CAS设置-1的之前,其他线程已经初始化成功,才得以设置-1进入该if,所以要再次判断数组是否为空,防止再次初始化,double-check机制。
进行初始化
}
Finally{
sizeCtl=0.75*size;扩容阈值
}
}
走到插入的逻辑时,用的是CAS+自旋,在一个空单元格插入元素时,利用了CAS的方法插入,判断元素的值是否为null,为null才进行插入,否则下一轮循环(自旋中)走该位置不为空的逻辑,
进入该逻辑时,不能直接进行插入,要判断插入的位置hash值是否为MONVED(表示该数组正在进行扩容,而且该位置的元素已经完成了迁移,如果还在该位置进行插入,元素会丢失,怎么办呢?接下来会利用该线程协助数组扩容),不为null,才可以直接进行插入,1.8直接使用了Synchronized锁住了table[i],在锁内进行元素的插入,保证该桶内元素的插入是线程安全的,(HashTable锁住的是table),但在进入sync时,立即判断table[i]是否还是锁对象,因为有可能进入sync之后,其他线程已经对该分支进行了树化or扩容(树化和插入的锁对象都是头节点,只有一个线程能在一个时间点进行他的操作,如果一个线程获取不到锁对象,阻塞在了sync,当另一个线程执行完释放了锁对象,你就保证不了头节点是否被改变了,如果你之前的头节点f不再是头节点,你也就锁不住当前链表了),那头节点就不再是锁对象,还利用该对象就锁不住该分支了,就会出现并发问题。
树化的前提时,链表长度>8,而且数组的长度>64,一定情况下——元素较少,用扩容代替树化。
多线程协助扩容时,是把该数组划分为一个一个任务块,每个线程完成一个任务块(怎么划分呢?如果只有一个cpu,就么必要划分,只由一个线程完成即可,否则,划分为至少16个格子一个任务块,不足的就是16),进行数据迁移时,如果该位置正在迁移,会在数组该下标赋值ForwardingNode节点(hashCode值是MOVED),表示该位置数据正在迁移,别往该位置插入元素了。
在进行数据迁移时,用了一个被volatitle修饰的transferIndex维护迁移的起始下标(从后往前),保证下标被分配,其他线程立即知道,修改该变量的值时更是利用了CAS操作,也只有在if()内修改了该值,才可以获得本线程协助迁移的范围。
在执行迁移动作时,会对该分支上锁,锁对象是头节点。