为什么尽管显然不应该（也没有）终止该Java程序？

Question

今天，我实验室中的一个敏感操作完全出错。电子显微镜上的执行器越过边界，经过一连串的事件，我损失了1200万美元的设备。我将有故障的模块中的超过40K行缩小为：

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);
    }
}

我得到的一些输出示例：

$ 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

由于这里没有任何浮点算法，而且我们都知道有符号整数在Java中的溢出情况下表现良好，因此我认为这段代码没有错。但是，尽管输出表明程序未达到退出条件，但程序仍达到了退出条件（是否达到
和 未达到？）。为什么？

我注意到这在某些环境中不会发生。我在64位Linux 上使用OpenJDK
6。

Answer 1

显然，在读取currentPos之前不会发生写入，但是我看不出这可能是个问题。

currentPos = new Point(currentPos.x+1, currentPos.y+1);做一些事情，包括将默认值写入x和y（0），然后将其初始值写入构造函数。由于没有安全地发布您的对象，因此编译器/
JVM可以自由地重新排序这4个写操作。

因此，从读取线程的角度来看，x以新值但y默认值为0进行读取是合法的执行。当您到达该println语句时（顺便说一下，该语句已同步，因此确实会影响读取操作），这些变量具有其初始值，程序将打印期望值。

标记currentPos为volatile可以确保安全发布，因为您的对象实际上是不可变的-
如果在实际使用情况下，对象在构造后发生了突变，则volatile保证不够，您可能会再次看到不一致的对象。

或者，您可以使Point不可变，即使不使用也可以确保安全发布volatile。要实现不变性，您只需要标记x并y最后确定即可。

附带说明一下，正如已经提到的，synchronized(this) {}JVM可以将其视为无操作（我知道您将其包括在内可以重现此行为）。