volatile是否能保證陣列中元素的可見性？
阿新 • • 發佈：2018-12-23
在javaeye有位朋友問了我一個非常好的問題。
問題
一個執行緒向volatile的陣列中設定值，而另一個執行緒向volatile的陣列中讀取。
比如seg.setValue(2)，隨後另一個執行緒呼叫seg.getValue(2)，前一個執行緒設定的值對讀取的執行緒是可見的嗎？
我看書上說volatile的陣列只針對陣列的引用具有volatile的語義，而不是它的元素。
ConcurrentHashMap中也有這樣的程式碼，我很疑惑，希望得到你的解答，謝謝。
public class Seg {
private volatile Object[] tabs = new Object[10];
public void setValue(int index) {
tabs[index] = new Object();
}
public Object getValue(int index) {
return tabs[index];
}
}
我的回答
我做了實驗證實這句話是正確的，“volatile的陣列只針對陣列的引用具有volatile的語義，而不是它的元素”。
測試程式碼如下：
private static volatile Object[] tabs = new Object[10];
public static void main(String[] args) {
tabs[0]=1;
tabs=new Object[10];
}
編譯成彙編語句如下
Java HotSpot(TM) Client VM warning: PrintAssembly is enabled; turning on DebugNonSafepoints to gain additional output
CompilerOracle: compileonly *ArrayTest.main
Loaded disassembler from D:\java\jdk1.6.0_33\jre\bin\client\hsdis-i386.dll
Decoding compiled method 0x009ec7c8:
Code:
[Disassembling for mach='i386']
[Entry Point]
[Verified Entry Point]
[Constants]
# {method} 'main' '([Ljava/lang/String;)V' in 'volatileTest/ArrayTest'
# parm0: ecx = '[Ljava/lang/String;'
# [sp+0x30] (sp of caller)
0x009ec8e0: mov %eax,-0x3000(%esp)
0x009ec8e7: push %ebp
0x009ec8e8: sub $0x28,%esp
0x009ec8eb: mov $0x32aa1eb0,%esi ; {oop('volatileTest/ArrayTest')}
0x009ec8f0: mov 0x150(%esi),%edi ;*getstatic tabs
; - volatileTest.ArrayTest::
可以看到line 7給陣列的某個元素賦值時沒有lock字首的指令。
而修改陣列line 9才有lock字首的指令。
0x009ec9f7: lock addl $0x0,(%esp) ;*putstatic tabs ; - volatileTest.ArrayTest::[email protected] (line 9)
