java - 对象中正在运行的线程是否会阻止它在 Java 中被垃圾收集？

Question

给定代码:

 new Thread(new BackgroundWorker()).start();

直觉上感觉 BackgroundWorker 实例在线程退出之前应该不会受到 GC 的影响，但事实真的如此吗？为什么？

编辑:

所有这些热度基本上都是由于我在同一个帖子中至少提出了两个不同的问题而产生的。标题中的问题有一个答案，代码示例指向不同的方向——根据内联有两种可能的结果。

发布的答案真的很棒。我将授予 Software Monkey 绿色复选框。请注意 Darron 的回答同样有效，但 Software Monkey 解释了我遇到的问题；这是对我有用的答案。

谢谢大家让这件事成为一件令人难忘的事情；)

Answer 1

是的，因为 GC 只能收集任何线程无法访问的对象，并且 Thread 必须持有对其可运行的引用(否则将无法调用它)。因此，很明显，您的 Runnable 对象在您的线程运行时是可访问的。

无论执行 所需的语义如何，您的对象都不会被 GC，直到它不再被这个新线程或任何其他线程访问；这将至少足够长以调用您的 Runnable 的 run()，并且如果该线程能够到达 Runnable 实例，则在线程的整个生命周期内，因此 JVM 规范保证您的构造是安全的。

---

编辑:因为 Darron 正在将其击败，而且有些人似乎对他的论点深信不疑，所以我将根据他的解释来扩展我的解释。

Assume for the moment that it was not legal for anyone except Thread itself to call Thread.run(),

In that case it would be legal for the default implementation of Thread.run() to look like:

void run() {
    Runnable tmp = this.myRunnable;  // Assume JIT make this a register variable.
    this.myRunnable = null;          // Release for GC.
    if(tmp != null) {
        tmp.run();         // If the code inside tmp.run() overwrites the register, GC can occur.
        }
    }

我认为在这种情况下 tmp 仍然是对在 Thread.run() 中执行的线程可访问的可运行对象的引用，因此不符合 GC 的条件。

如果(出于某些无法解释的原因)代码看起来像这样会怎样:

void run() {
    Runnable tmp = this.myRunnable;  // Assume JIT make this a register variable.
    this.myRunnable = null;          // Release for GC.
    if(tmp != null) {
        tmp.run();         // If the code inside tmp.run() overwrites the register, GC can occur.
        System.out.println("Executed runnable: "+tmp.hashCode());
        }
    }

很明显，当 tmp.run() 正在执行时，tmp 引用的实例不能被 GC。

我认为 Darron 错误地认为 reachable 仅意味着那些可以通过追逐以所有 Thread 实例为根的实例引用找到的引用，而不是被定义为可以被访问的引用被任何正在执行的线程看到。要么，要么我错误地相信了相反的观点。

此外，Darron 可以假设 JIT 编译器会做出他喜欢的任何更改 - 编译器不允许更改执行代码的引用语义。如果我编写具有可访问引用的代码，编译器无法优化该引用并导致在该引用在范围内时收集我的对象。

我不知道实际如何找到可达对象的细节；我只是在推断我认为必须成立的逻辑。如果我的推理不正确，那么在方法中实例化并仅分配给该方法中的局部变量的任何对象都将立即符合 GC 的条件 - 显然这不是也不可能是这样。

此外，整个辩论都没有实际意义。如果唯一可访问的引用在 Thread.run() 方法中，因为 runnable 的运行不引用它的实例并且不存在对该实例的其他引用，包括传递给 run() 的隐式 this方法(在字节码中，而不是声明的参数)，那么对象实例是否被收集并不重要——根据定义，这样做不会造成任何伤害，因为如果隐式这已被优化掉。既然如此，即使 Darron 是正确的，最终的实际结果是 OP 假设的构造是完全安全的。无论哪种方式。没关系。让我再重复一遍，只是为了清楚 - 最终分析并不重要。