前言
在《Java并发编程的艺术》这本书的第2.1章节提到了了volatile关键字会产生Lock锁前缀。比较好奇读会不会产生Lock锁前缀,如果对读不加Lock锁前缀,那么会不会在并发时出现对变量产生了部分写,然后读到部分读产生脏读?
先说结论,从汇编命令来看对volatile变量的读不会产生Lock前缀锁,可能是因为如果加了Lock前缀锁就说明该线程对该部分内存独占了,如果想独占需要等读先完成才能独占。
下面我们来看看这具体的汇编命令。
使用hsdis查看汇编命令
安装hsdis插件
hg clone http://hg.openjdk.java.net/jdk8u/jdk8u
cd jdk8u
sh get_source.sh
cd hotspot/src/share/tools/hsdis/
wget http://ftp.heanet.ie/mirrors/ftp.gnu.org/gnu/binutils/binutils-2.30.tar.gz
tar -xzf binutils-2.30.tar.gz
make BINUTILS=binutils-2.30 ARCH=amd64
#java8
sudo cp build/macosx-amd64/hsdis-amd64.dylib /Library/Java/JavaVirtualMachines/jdk1.8.0_181.jdk/Contents/Home/jre/lib/server/
#java9 onwards
sudo cp build/macosx-amd64/hsdis-amd64.dylib /Library/Java/JavaVirtualMachines/jdk-9.0.4.jdk/Contents/Home/lib/server/
idea配置
配置好JVM参数
-Xcomp
-XX:+UnlockDiagnosticVMOptions
-XX:+PrintAssembly
-XX:CompileCommand=compileonly,*VolatileTest.main*
下面的解释来自《深入理解Java虚拟机 JVM高级特性与最佳实践》
-XX:+UnlockDiagnosticVMOptions
:让虚拟机进入诊断模式-XX:+PrintAssembly
:打印即时编译后的二进制信息(需要开启UnlockDiagnosticVMOptions)。(就是打印汇编命令了)-XX:CompileCommand=compileonly,*VolatileTest.main*
:筛选出自己编写的代码
查看
package com.study.jmm;
public class VolatileTest {
private volatile static boolean flag = false;
public static void main(String[] args) {
long i = 0L;
flag = true;
while (!flag) {
i++;
}
System.out.println("count = " + i);
flag = true;
}
}
汇编命令:
0x000000010f7c233b: lock addl $0x0,(%rsp) ;*putstatic flag
; - com.study.jmm.VolatileTest::main@3 (line 9)
0x000000010f7c2340: movzbl 0x68(%r10),%r11d ;*getstatic flag
; - com.study.jmm.VolatileTest::main@6 (line 10)
0x000000010f7c2ad7: lock addl $0x0,(%rsp) ;*putstatic flag
; - com.study.jmm.VolatileTest::main@45 (line 14)
可以看到只有写才会加上lock addl
。