Java并发- "cachable"范围是什么

Question

我试图了解 Java 中的并发编程究竟是如何工作的。很多时候我阅读了不同的并发性等内容。但我不确定什么是可缓存范围。对于cachable，我的意思是线程可以缓存变量。

例如，如果我有自定义线程:

public class MyThread extends Thread {
private boolean isRunning;

public void setRunning(boolean running) {
    isRunning = running;
}
public boolean getRunning(){
    return isRunning;
}

@Override
public void run() {
    while (isRunning){
        // ... do something
    }
}
}

因此，假设我有以下 main 方法:

 public static void Main(String[] args) {

    Person p = new Person();

    final MyThread t1 = new MyThread();
    final MyThread t2 = new MyThread();
    Thread t3 = new Thread(()-> {
        while(true){System.out.println(p.name);
        System.out.println(t1.getRunning());
    }});
    t1.start();
    t2.start();
    t3.start();
}

让我们假设此后有一段代码可以更改该对象的属性(但不能更改它们指向的引用!)。并指出我问的是缓存，而不是并发修改；所以我的问题是:1) t3 能否看到 p.name 和 t1.isRunning 的错误值。 -> 我认为否，因为我认为它可以缓存对此对象的引用，所以如果我们更改p指向t3的引用，可以看到错误的人员引用，但在这种情况下，它将缓存正确的引用，因此它将进入主内存(RAM)并获得正确的值。2)t2可以缓存t2.isRunning(它自己的isRunning变量)吗？那么我应该同步使用 setRunning 和 getRunning 吗？

例如，如果在 t3 中我有这样的代码: t2.setRunning(false) 可以 t2 永远循环(如果只有这个t3 中的代码更改 t2.isRunning)？当然，如果t2可以缓存自己的变量，我应该使用volatile或synchronize。我认为 t2 可以缓存它的 isRunning。那么我们如何才能了解不同情况下哪个是可缓存范围呢？在我的代码中的每个地方，我都使用对象的对象(直接或使用 getters/setters)访问对象的变量，并且我不会将它们保存为其他地方的变量!抱歉，如果我的问题有答案(或者它们很愚蠢)，但我找不到直接的答案 - 带示例。当我只阅读理论上的内容时(没有任何示例和解释，它们可能会出现什么问题)，我不确定我的想象是否正确。感谢您的关注。

Answer 1

一般来说，Java 可以缓存变量，直到它到达synchronized block /方法或访问 volatile 变量。在其中任何一个之后，它都必须调用内存屏障并重新读取所有缓存变量的内容。

上面还包括由更高层函数调用的任何代码，因此在您的例子中 System.out.println() 触发此同步操作，因此 t3 将始终看到 p 的最新内容。

对于MyThread.run，它取决于“做某事”是否包含上述任何类型的同步。如果是，那么Java将不允许缓存isRunning，如果不是，它可能会永远运行(仍然取决于JIT优化等)。

关于 p = Person() 的更多说明 - 无论如何，这都是最终的，因此第一个问题是无关紧要的，您将来无法随时更改 p 变量，只是第二段已经回答的内容。