如果我不在Java中使用synchronized，程序在哪里知道实例变量的确切值？

Question

我正在学习Java多线程，我正在使用同步块和不使用同步块进行一些简单的测试。

public class MultipleMonitorObjects {

    private Object monitor1 = new Object();
    private Object monitor2 = new Object();

    private int counter1 = 0;
//    private int counter2 = 0;

    public void incCounter1() {
//        synchronized (this.monitor1) {
            this.counter1++;
            System.out.println("Inside incCounter1, counter1 = " + counter1);
//        }
    }

    public void incCounter2() {
//        synchronized (this.monitor2) {
            this.counter1++;
            System.out.println("Inside incCounter2, counter1 = " + counter1);
//        }
    }
} 

主类：

public class MultipleMonitorObjectsMain {
    public static void main(String[] args) {
        MultipleMonitorObjects obj = new MultipleMonitorObjects();

        Thread thread1 = new Thread(
                new Runnable() {
                    @Override
                    public void run() {
                        for (int i = 0; i < 100000; i++) {
                                obj.incCounter1();
                        }
                    }
                }
        );

        Thread thread2 = new Thread(
                new Runnable() {
                    @Override
                    public void run() {
                        for (int i = 100000; i < 200000; i++) {
                            obj.incCounter2();
                        }
                    }
                }
        );

        thread1.start();
        thread2.start();
    }
}

我不明白的是，为什么如果我评论同步行，计数器正好是 200000。我理解当我使用syncd时的情况，计数器是200000，因为如果有同步块，计数器的值在每次增量后都会添加到主内存中，并且在每次增量之前从主内存中获取，因此程序可以随时知道计数器变量的确切值。但是如果我评论同步行，程序在哪里知道确切的值？我以为最后的值会与 200000 不同。谢谢！

Answer 1

很好，你正在步入多线程的世界。你的程序不应该在最后打印200000。请通过在最后添加这些行来纠正你的程序（在thread2.start（）之后）

thread1.join();  //asks main thread to wait until thread1 is finished
thread2.join();  //asks main thread to wait until thread1 is finished
System.out.println(obj.counter1);

现在运行此程序 3 或 4 次，您将看到您的程序每次都会打印不同的值。

此外，如果incCounter1和incCounter2方法正在更新相同的 ，那么它们应该在同一个Object上同步（比如 ）。如果 incCounter1正在更新 counter1并且 正在更新 counter2，那么您同步 和 0.05 Object2的方法是正确的。