I was playing with java memory visibility and wrote a few tests for reordering. My examples break java safe publication idiom, so the jvm is free to reorder constructor instructions and object link initialization. But no reordering effect I've got so far, seems modern architectures don't allow it anymore
.
First test with mid-size object initialization:.
class SomeObject<V> { V value; String stringField; double doubleField; float floatField; long longField; SomeObject(V value, String stringField, double doubleField, float floatField, long longField) { this.value = value; this.stringField = stringField; this.doubleField = doubleField; this.floatField = floatField; this.longField = longField; } @Override public String toString() { return "SomeObject{" + "value=" + value == null ? "null" : "[obj]" + ", stringField='" + stringField + '\'' + ", doubleField=" + doubleField + ", floatField=" + floatField + ", longField=" + longField + '}'; } }and endless multithreaded initializations:
public class ReorderingTest { static SomeObject<JPanel>[] sharedArray = new SomeObject[100]; public static void main(String[] args) { for (int i = 0; i < 100; i++) { String name = "watcher" + i; new Thread(new Watcher(name)).start(); System.out.printf("watcher %s started!%n", name); } } static class Watcher implements Runnable { private String name; Watcher(String name) { this.name = name; } public void run() { while (true) { int randomIndex = (int) (Math.random() * sharedArray.length); SomeObject<JPanel> item = sharedArray[randomIndex]; if (item == null) { //System.out.printf("sharedArray[%s]=null%n", randomIndex); double r = 1 + Math.random() * 1000; sharedArray[randomIndex] = new SomeObject<JPanel>( new JPanel(), UUID.randomUUID().toString(), r, (float)r * 33, (long)r); } else { //System.out.printf("sharedArray[%s]=[obj]!%n", randomIndex); if (item.value == null || (item.stringField == null) || (item.doubleField == 0) || (item.floatField == 0) || (item.longField == 0) ) { System.err.printf("watcher %s sees default values: %s!%n", name, item); } else { // fully initialized! run new construction process double r = 1 + Math.random() * 1000; sharedArray[randomIndex] = new SomeObject<JPanel>( new JPanel(), UUID.randomUUID().toString(), r, (float)r * 37, (long)r); } } /*try { TimeUnit.NANOSECONDS.sleep(randomIndex); } catch (InterruptedException e) { throw new RuntimeException(e); }*/ } } } }
-But no effect so far, I've tried on different 2,4 and 8 core Intel/AMD PCs with windows, ran test for a few hours - no reordering effect - System.err.printf("watcher %s sees ...") - is not called, static sharedArray[randomIndex] reference always contains fully constructed values.
And another simplier, just plain test of jls (FinalFieldExample class example):
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); } } } } }
Now I've tried even on our server-side Solaris 32 core box (besides different Windows PCs with 2-8 cores) - but still couldn't reproduce it: f.x
and f.y - are always already proper-initialized.
Thus, modern processor architectures are well enough safe against such jvm optimizations.
Related stackoverflow posts: first and second.
Комментариев нет:
Отправить комментарий