Mic*_*son 21 java garbage-collection
我一直在研究我的代码中的一个错误,这个错误似乎是由一些"丑陋的"终结器代码引起的.代码看起来大致如此
public class A {
public B b = new B();
@Override public void finalize() {
b.close();
}
}
public class B {
public void close() { /* do clean up our resources. */ }
public void doSomething() { /* do something that requires us not to be closed */ }
}
void main() {
A a = new A();
B b = a.b;
for(/*lots of time*/) {
b.doSomething();
}
}
我认为正在发生的事情是,a在第二行之后检测到没有引用main()并获得GC并最终确定终结器线程 - 当for循环仍然发生时,使用bwhile a仍然是"在范围内".
这有可能吗？是否允许java在对象超出范围之前将其作为对象？
注意:我知道在终结器中做任何事情都很糟糕.这是我继承并打算修复的代码 - 问题是我是否正确理解了根本问题.如果这是不可能的,那么更微妙的东西必定是我的bug的根源.
Stu*_*rks 25
当Java仍然在范围内时,Java能否最终确定它？
是.
但是,我在这里很迂腐.范围是一种确定名称有效性的语言概念.对象是否可以被垃圾收集(并因此最终确定)取决于它是否可达.
ajb的答案几乎得到了它(+1)引用了JLS的重要段落.但我不认为它直接适用于这种情况.JLS §12.6.1也说:
一个可达的对象是可以在任何可能继续计算从任何活动线程访问的任何对象.
现在考虑将此应用于以下代码:
class A {
@Override protected void finalize() {
System.out.println(this + " was finalized!");
}
public static void main(String[] args) {
A a = new A();
System.out.println("Created " + a);
for (int i = 0; i < 1_000_000_000; i++) {
if (i % 1_000_000 == 0)
System.gc();
}
// System.out.println(a + " was still alive.");
}
}
在JDK 8 GA上,这将a每次都完成.如果你println在最后取消注释,a将永远不会最终确定.
通过println注释,可以看到可达性规则如何应用.当代码到达循环时,线程无法获得任何访问权限a.因此它无法访问,因此需要进行最终确定和垃圾收集.
请注意,名称a仍然在范围内,因为可以使用a封闭块中的任何位置 - 在本例中为main方法体 - 从其声明到块的末尾.JLS§6.3中涵盖了确切的范围规则.但实际上,正如您所看到的,范围与可达性或垃圾收集无关.
为了防止对象被垃圾收集,您可以在静态字段中存储对它的引用,或者如果不想这样做,您可以稍后在相同的方法中使用它来保持它可访问环.调用一个无害的方法toString就足够了.
可以设计优化程序的转换,以减少可达到的对象的数量,使其少于可以被认为可达的对象的数量.例如,Java编译器或代码生成器可以选择设置将不再用于null的变量或参数,以使得此类对象的存储可能更快地被回收.
所以,是的,我认为这是允许的编译器添加隐藏代码设置a到null,从而使其能够进行垃圾回收.如果发生了这种情况,您可能无法从字节码中分辨出来(请参阅@ user2357112的评论).
可能(丑陋)的解决方法:添加public static boolean alwaysFalse = false;到主类或其他类,然后在最后main()添加if (alwaysFalse) System.out.println(a);或引用的其他内容a.我不认为优化器可以肯定地确定alwaysFalse从未设置(因为某些类总是可以使用反射来设置它); 因此,它无法分辨出a不再需要它.至少,这种"解决方法"可用于确定这是否确实是问题.