Unsafe控制ConcurrentHashMap内并发数组元素的可见性

出自:https://www.cnblogs.com/silyvin/p/9106613.html

https://mp.weixin.qq.com/s?__biz=MzIwMzY1OTU1NQ==&mid=2247484057&idx=1&sn=c5fb63c68203001fa3a0545cef6c0e06&chksm=96cd42d5a1bacbc325759048d6149d49f8c918d8201026fbb1388e1b8f5247d5a147a9e04a24&mpshare=1&scene=1&srcid=0320dLWL3ZptBnHWOIppB46B&key=e372e0f925d47d533edbae8bbd468b84e65f35e0b04cc9bdb6c760a92c8ee6ca4456a735b9106dc2c33ebd40cbce69cf1def258ecd75affb0b7f0783470b16655f19306069e992fab4039316dfeecab8&ascene=0&uin=MTA2NzUxMDAyNQ%3D%3D&devicetype=iMac+MacBookAir6%2C2+OSX+OSX+10.10.5+build(14F2511)&version=11020012&lang=zh_CN&pass_ticket=YOhvdyFJYno3pJPXiaSEWxhPrymv49PNwcVMB6NeX3FSIg%2FYjhsf%2FN9wmUt57lX5

 

 

 

这篇文章时隔一两年,突然看到还是有点印象,文章中,我只是强硬的抛出了一个结论:虽然table变量被volatile修饰了,但里面的元素并没有volatile修饰,无法保证元素的可见性。

但是这种解释,似乎被众多的小伙伴怀疑,也一直没有找到有理的证据(基础还是太弱)

不过在星球中,大家还是很积极的讨论,虽然有些是错的(这种问题在大部分人身上都有,你不表现出来,那你永远不知道自己所掌握的东西其实是不对的)

 

解惑

 

在ConcurrentHashMap(1.8)中,内部使用一个volatile的数组table保存数据,细心的同学可以发现,Doug Lea每次在获取数组的元素时,采用Unsafe类的getObjectVolatile方法,在设置数组元素时,采用compareAndSwapObject方法,而不是直接通过下标去操作,这是为什么?

今天得到R大的确认:这个是因为Java数组在元素层面的元数据设计上的缺失,无法表达元素是final、volatile等语义,所以开了后门,使用getObjectVolatile用来补上无法表达元素是volatile的坑,@Stable用来补上final的坑,数组元素就跟没有标volatile的成员字段一样,无法保证线程之间可见性。

只有触发happens before关系的操作,才能保证线程之间的可见性,比如使用table[0] = new Object()直接赋值,这个赋值不会触发任何happens before关系的操作,相当于对一个无volatile变量进行赋值一样。

 

========================

 

Get实现  java.util.concurrent.ConcurrentHashMap.get(Object)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
public V get(Object key) { 
    Segment<K,V> s; // manually integrate access methods to reduce overhead 
    HashEntry<K,V>[] tab; 
    int h = hash(key.hashCode()); 
    long u = (((h >>> segmentShift) & segmentMask) << SSHIFT) + SBASE; 
    if ((s = (Segment<K,V>)UNSAFE.getObjectVolatile(segments, u)) != null && 
        (tab = s.table) != null) { 
        for (HashEntry<K,V> e = (HashEntry<K,V>) UNSAFE.getObjectVolatile 
                 (tab, ((long)(((tab.length - 1) & h)) << TSHIFT) + TBASE); 
             e != null; e = e.next) { 
            K k; 
            if ((k = e.key) == key || (e.hash == h && key.equals(k))) 
                return e.value; 
        
    
    return null
}

  

get没有使用锁同步,而是使用轻量级同步volatile原语sun.misc.Unsafe.getObjectVolatile(Object, long),保证读到的是最新的对象。

出自:http://hill007299.iteye.com/blog/1490779

posted on 2021-06-29 15:51  silyvin  阅读(102)  评论(0编辑  收藏  举报