我目前正在学习Java内存模型,以及它如何影响编译器可能进行的重新排序。然而,我对外部操作感到有点困惑。JMM将它们定义为在on操作之外可以观察到的操作。离开this question,我将外部操作理解为打印值、写入文件、网络操作等。
现在,重新排序对外部操作有何影响?我认为很明显,一个外部操作不能与另一个外部操作一起重新排序,因为这将改变程序的可观察行为(因此根据JMM,这不是一个有效的转换)。但是,如何使用正常的内存访问或同步操作重新排序外部操作呢?例如:
volatile int v = 5;
int x = v;
System.out.println("!");是否可以在此处重新订购print和int x = v?我看不到它会改变行为,但对volatile v的读取与监视器获取是相同的,所以我不认为重新排序是有效的。
发布于 2015-10-01 00:57:32
添加外部操作是为了避免意外的结果:
class ExternalAction {
int foo = 0;
void method() {
jni();
foo = 42;
}
native void jni(); /* {
assert foo == 0;
} */
}假设JNI方法被实现为运行相同的断言,您不会认为这会失败。JIT编译器不能确定任何外部的结果,以至于JMM也禁止这样的重新排序。
https://stackoverflow.com/questions/32717014
复制相似问题