Mac使用hsdis查看java字节码的汇编命令

前言

在《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。