Java volatile 关键字 - 为什么此代码终止

Question

这个问题已经有答案了:

Why is this code working without volatile? (2 个回答)

已关闭 3 年前。

我正在使用Java中的 volatile 关键字，并且我有这段代码试图表明一个线程看不到另一个线程引入的更改，除非我们将数据声明为 volatile 。我期望下面的代码永远不会终止，因为我没有将共享数据声明为 volatile 。知道为什么这段代码实际上终止吗？

public class VolatileTest {

    public static void main(String[] args) throws InterruptedException {
        var holder = new Holder();
        new Thread(() -> {
            try {
                Thread.sleep(500);
            } catch (InterruptedException e) { }
            for(int i = 0; i<100000; i++) {
                holder.counter++;
            }
        }).start();
        var t = new Thread(() -> {
            while(holder.counter < 10000) {
                System.out.println("Jestem w pętli");
                try {
                    Thread.sleep(400);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
        });
        t.start();
        t.join();
    }

    static class Holder {
        int counter = 0;
    }

}

Answer 1

Thread 1可能看不到 Thread 2 的变化如果您不使用volatile，请立即，但最终有一天，当 Thread 2 时，就会发生这种情况。清空 CPU 缓存到主内存。在您的示例中，如果您使用 volatile上counter字段，当您调用 holder.counter++ 时，写入线程将始终写入主内存。每次调用 holder.counter < 10000 时，读取线程都会从主内存中读取数据.