ConcurrnetHashMap学习

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()内修改了该值,才可以获得本线程协助迁移的范围。

在执行迁移动作时,会对该分支上锁,锁对象是头节点。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值