Question

我被告知volatile关键字可以在变量的写操作之前添加内存屏障。所以我写了代码：

public class Test {
    private Object o;

    public Test() {
        this.o = new Object();
    }

    private volatile static Test t;

    public static void createInstance() {
        t = new Test();             // volatile would insert memory barrier here.
    }

    public static void main(String[] args) throws Exception {
        Test.createInstance();
    }
}

然后反编译：

Compiled from "Test.java"
public class Test extends java.lang.Object{
public Test();
  Code:
   0:   aload_0
   1:   invokespecial   #1; //Method java/lang/Object."<init>":()V
   4:   aload_0
   5:   new #2; //class java/lang/Object
   8:   dup
   9:   invokespecial   #1; //Method java/lang/Object."<init>":()V
   12:  putfield    #3; //Field o:Ljava/lang/Object;
   15:  return

public static void createInstance();
  Code:
   0:   new #4; //class Test
   3:   dup
   4:   invokespecial   #5; //Method "<init>":()V
   7:   putstatic   #6; //Field t:LTest;
   10:  return

public static void main(java.lang.String[])   throws java.lang.Exception;
  Code:
   0:   invokestatic    #7; //Method createInstance:()V
   3:   return

}

我看不到任何与内存屏障相关的内容，然后我删除volatile并再次反编译，字节代码根本不会改变。

我怎么能在字节码中找到任何东西？

Answer 1

内存屏障的概念在Java规范级别上不存在。它是某些CPU架构的低级实现细节，例如当今最流行的NUMA架构。

因此，您需要查看特定JVM实现中的即时编译器生成的机器代码，例如x86架构上的HotSpot。在那里，如果你足够熟练地解释x86机器代码，你会看到内存屏障的表现形式。

Answer 2

如果使用javap和正确的选项进行测试，则可以看到标志ACC_VOLATILE：

javap  -v -p Test

打印：

 private static volatile Test t;
 flags: ACC_PRIVATE, ACC_STATIC, ACC_VOLATILE

（标志在jvm spec Chapter 4. The class File Format 中定义）

Answer 3

向字段添加volatile不会更改读取或写入字段的Java字节码。它只在需要时通过JVM或JIT编译输出更改程序的解释。它也会影响优化。

Field flags

Read and Write synchronization

如何在Java中反编译volatile变量？

3 个答案: