即使同步块中有其他线程更新，线程也无法获取最新值？

Question

我编写这个程序是为了模拟字段可见性。

package com.example.threads.fieldvisibility.main;

public class ThreadVisibilityWithSyncKeyWord implements Runnable {

    private boolean stop = false;

    @Override
    public void run() {
        while (!stop) {

            // System.out.println("stop is " + stop);
        }
    }

    public static void main(String[] args) throws InterruptedException {
        ThreadVisibilityWithSyncKeyWord test = new ThreadVisibilityWithSyncKeyWord();
        Thread t = new Thread(test);
        System.out.println("Starting Thread");
        t.start();
        Thread.sleep(5000);
        System.out.println("Stopping Thread");

        synchronized (test) {
            test.stop = true;
        }
        t.join(5000);
        System.out.println("Thread State: " + t.getState());
    }
}

程序很简单。我们有两个线程。主线程确实使用“test”对象在同步块中将标志“Stop”更改为true。

我预计一旦主线程将此设置为true，就会使while循环终止。但是，即使主线程将标志设为true，另一个线程也看不到最新的值(即使它是在同步块中更新的)。

奇怪的是，当我取消注释系统.out.println（）（在里面）时，线程确实“看到”了最新的值并终止了。

我不明白这种行为。为什么其他线程无法看到在主线程的同步块中更新的最新值。在取消注释 sysout 之后，是什么原因导致另一个线程看到该标志的最新值？

Answer 1

我认为主要的问题是项目是如何构建的，如果你把主线程类从你的runnable中分离出来，一切都会变得更容易。

这是一个工作示例，结果如下:(注意，我在线程中增加了1秒钟的睡眠时间，以避免多次打印输出)

>

启动线程

停止为假

停止为假

停止为假

停止为假

停止线程

停是真的

线程状态：已终止

包装网项目;

公共类Main{

public static boolean stop = false; 

public static void main(String[] args) throws InterruptedException {
    ThreadVisibilityWithSyncKeyWord test = new ThreadVisibilityWithSyncKeyWord();
    Thread t = new Thread(test);  
    System.out.println("Starting Thread");
    t.start();
    Thread.sleep(5000);
    System.out.println("Stopping Thread");

    stop = true;

    t.join(5000);
    System.out.println("Thread State: " + t.getState());

}

}

包装网项目;

公共类ThreadVisibilityWithSyncKeyWord实现Runnable {

@Override
public void run() {
    while (!Main.stop) {
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
        }
        System.out.println("stop is " + Main.stop);
    }
}

}

Answer 2

当线程进入< code>synchronized块时，通过从共享缓存/内存中读取数据，可以保证看到被访问变量的当前状态。在< code>synchronized块中写入变量将保证变量被写入共享缓存/内存。

发生了什么：

• 测试已创建
• main-线程缓存测试。停止
• 测试缓存stopfalse
• 测试开始
• test从本地缓存中读取值
• main-线程集测试。停止至true
• 因为这是同步的，所以也会写入共享缓存
• test继续从自己的缓存中读取停止

当您将打印行添加到代码中时，您必须知道System.out。println涉及内部同步：

• …
• main-线程将test.stop设置为true
• 因为这是同步完成的，所以也会写入共享缓存
• test执行println，此时内部同步导致test从共享缓存中读取新值