Dlaczego ten program Java kończy się pomimo tego, że najwyraźniej nie powinien (i nie)?

Wrażliwa operacja w moim laboratorium dzisiaj poszła całkowicie źle. Siłownik na mikroskopie elektronowym przekroczył granicę, a po serii zdarzeń straciłem 12 milionów dolarów sprzętu. Zawęziłem do 40K wierszy w wadliwym module do tego:

import java.util.*;

class A {
    static Point currentPos = new Point(1,2);
    static class Point {
        int x;
        int y;
        Point(int x, int y) {
            this.x = x;
            this.y = y;
        }
    }
    public static void main(String[] args) {
        new Thread() {
            void f(Point p) {
                synchronized(this) {}
                if (p.x+1 != p.y) {
                    System.out.println(p.x+" "+p.y);
                    System.exit(1);
                }
            }
            @Override
            public void run() {
                while (currentPos == null);
                while (true)
                    f(currentPos);
            }
        }.start();
        while (true)
            currentPos = new Point(currentPos.x+1, currentPos.y+1);
    }
}

Niektóre próbki wyników, które otrzymuję:

$ java A
145281 145282
$ java A
141373 141374
$ java A
49251 49252
$ java A
47007 47008
$ java A
47427 47428
$ java A
154800 154801
$ java A
34822 34823
$ java A
127271 127272
$ java A
63650 63651

Ponieważ nie ma tu żadnej arytmetyki zmiennoprzecinkowej i wszyscy wiemy, że liczby całkowite podpisane zachowują się dobrze w przypadku przepełnienia w Javie, sądzę, że nie ma nic złego w tym kodzie. Jednak pomimo danych wyjściowych wskazujących, że program nie osiągnął warunku wyjścia, osiągnął warunek wyjścia (oba zostały osiągnięte)i nie osiągnięty?). Czemu?

Zauważyłem, że nie dzieje się tak w niektórych środowiskach. Jestem naOpenJDK 6 w 64-bitowym systemie Linux.

questionAnswers(5)

yourAnswerToTheQuestion