問(wèn)題
之前有小伙伴在星球提了這么一個(gè)問(wèn)題
這篇文章時(shí)隔一兩年罐盔，突然看到還是有點(diǎn)印象篮赢，文章中奏甫，我只是強(qiáng)硬的拋出了一個(gè)結(jié)論：雖然table變量被volatile修飾了尖飞，但里面的元素并沒(méi)有volatile修飾症副，無(wú)法保證元素的可見(jiàn)性。
但是這種解釋政基，似乎被眾多的小伙伴懷疑贞铣，也一直沒(méi)有找到有理的證據(jù)（基礎(chǔ)還是太弱）
不過(guò)在星球中，大家還是很積極的討論沮明，雖然有些是錯(cuò)的（這種問(wèn)題在大部分人身上都有辕坝，你不表現(xiàn)出來(lái)，那你永遠(yuǎn)不知道自己所掌握的東西其實(shí)是不對(duì)的）
解惑
在ConcurrentHashMap（1.8）中荐健，內(nèi)部使用一個(gè)volatile的數(shù)組table保存數(shù)據(jù)酱畅，細(xì)心的同學(xué)可以發(fā)現(xiàn)琳袄，Doug Lea每次在獲取數(shù)組的元素時(shí)，采用Unsafe類的getObjectVolatile方法纺酸，在設(shè)置數(shù)組元素時(shí)窖逗，采用compareAndSwapObject方法，而不是直接通過(guò)下標(biāo)去操作餐蔬，這是為什么碎紊？
今天得到R大的確認(rèn)：這個(gè)是因?yàn)镴ava數(shù)組在元素層面的元數(shù)據(jù)設(shè)計(jì)上的缺失，無(wú)法表達(dá)元素是final樊诺、volatile等語(yǔ)義仗考，所以開(kāi)了后門，使用getObjectVolatile用來(lái)補(bǔ)上無(wú)法表達(dá)元素是volatile的坑词爬，@Stable用來(lái)補(bǔ)上final的坑痴鳄，數(shù)組元素就跟沒(méi)有標(biāo)volatile的成員字段一樣，無(wú)法保證線程之間可見(jiàn)性缸夹。
只有觸發(fā)happens before關(guān)系的操作痪寻，才能保證線程之間的可見(jiàn)性，比如使用table[0] = new Object()直接賦值虽惭，這個(gè)賦值不會(huì)觸發(fā)任何happens before關(guān)系的操作橡类，相當(dāng)于對(duì)一個(gè)無(wú)volatile變量進(jìn)行賦值一樣。
