如果非最终字段的对象初始化不足(JLS 17.5 Final Field Semantics,FinalFieldExample类示例),我正在尝试重现内存可见性问题。它声明“但是,fy 不是最终的;因此不能保证 reader() 方法看到它的值 4”
我试过这段代码:
public class ReorderingTest2 {
public static void main(String[] args) {
for (int i = 0; i < 2500; i++) {
new Thread(new Reader(i)).start();
new Thread(new Writer(i)).start();
}
}
static class Reader implements Runnable {
private String name;
Reader(int i) {
this.name = "reader" + i;
}
@Override
public void run() {
//System.out.println(name + " started");
while (true) {
FinalFieldExample.reader(name);
}
}
}
static class Writer implements Runnable {
private String name;
Writer(int i) {
this.name = "writer" + i;
}
@Override
public void run() {
//System.out.println(name + " started");
while (true) {
FinalFieldExample.writer();
}
}
}
static class FinalFieldExample {
int x;
int y;
static FinalFieldExample f;
public FinalFieldExample() {
x = 3;
y = 4;
}
static void writer() {
f = new FinalFieldExample();
}
static void reader(String name) {
if (f != null) {
int i = f.x;
int j = f.y;
if (i != 3 || j != 4) {
System.out.printf("reader %s sees it!%n", name);
}
}
}
}
}
与之前我的类似主题一样- 我已经尝试在不同的 PC(从 2 到 8 个核心)上使用 Windows,甚至在我们的服务器端 Solaris 32 核心盒上 - 我无法重现它:fx 和 fy - 总是正确的-初始化。
对于 Intel/x86/x64 架构,我得到了答案——它们有很多默认的内存保证,可以防止这种构造函数逻辑重新排序。Solaris/sparc 似乎也是如此?
那么在哪些架构/操作系统中可以重现这种重新排序?