7

有人告诉我，该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并再次反编译，字节码根本没有改变。

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

4

3 回答 3

10

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

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

于 2013-06-03T13:53:36.743 回答
9

如果您使用 javap 和正确的选项对其进行测试，则标志 ACC_VOLATILE 是可见的：

javap  -v -p Test

打印：

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

（标志在 jvm 规范第 4 章中定义。类文件格式）

于 2013-06-03T14:35:06.640 回答
1

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

字段标志

读写同步

于 2013-06-03T14:04:38.997 回答