メインスレッドで使用されているオブジェクトのファイナライズ

Question

JDK 8では、次のコードを実行した結果、毎回Aがファイナライズされることがわかりました。最後にprintlnをコメント解除すると、Aは決してファイナライズされません。

public class A { 
    @Override protected void finalize() { 
     System.out.println(this + "object is eligible for garbage collection"); 
    } 

    public static void main(String[] args) { 
     A a = new A(); 
     System.out.println("Main thread created object " + a); 
     for (int i = 0; i < 1000000000; i++) { 
      if (i % 100000000 == 0) 
       // Force GC 
       System.gc(); 
     } 
     //If i un-comment below it won't do garbage collection ever 
     // System.out.println(a + "is residing on heap and is alive"); 
    } 
} 

いくつかのいずれかは、それがその後、確定していない理由を、）（syso後に何が起こるのか、私にこの動作を説明することができます。

Answer 1

JVMの最終バージョンでのガベージコレクションは、実行されたプログラムでオブジェクトが有効範囲外かどうかを判断するための最適化された原則に従います。
ほとんどの場合、メソッドの範囲に制限されていません。 Oracle documentationから

：

自動ガベージコレクションとは何ですか？

自動ガーベジコレクションは が使用中であり、どのされていないオブジェクトの識別、及び 未使用のオブジェクトを削除する、ヒープメモリを見てのプロセスです。使用中オブジェクトまたは参照オブジェクトは、 オブジェクトへのポインタを維持しているプログラムの一部を意味する を意味します。使用されていないオブジェクト、または参照されていないオブジェクトは、プログラムのどの部分でも参照されていない です。したがって、参照されていないオブジェクトである によって使用されるメモリを再利用することができます。

2つの最後の文章の事項：

未使用のオブジェクト、または参照されないオブジェクトは、もはやあなたのプログラムのどの部分によって参照されていません。したがって、参照されていないオブジェクトによって使用されるメモリを再利用することができます。あなたのサンプルコードで

：System.gc();が呼び出されたときにゴミが要求を解放するためにそれをマークして集めるよう

public static void main(String[] args) { 
    A a = new A(); 
    System.out.println("Main thread created object " + a); 
    for (int i = 0; i < 1000000000; i++) { 
     if (i % 100000000 == 0) 
      System.gc(); 
    } 
} 

、aはもはやあなたのプログラムのどの部分によって参照されます。

System.out.println(a + "is residing on heap and is alive"); }を追加すると、ファイナライザが呼び出されないことがあります。 gc（）が引き続き呼び出されるときにgc（）が呼び出されるときには呼び出されませんが、sysoutはプログラムの最後の行でもあります。

aインスタンスは、メインスレッドクラス（A）のインスタンスです。
メインスレッドが終了すると、現在のJVMプロセスは停止しています。
これらの条件では、その方法はおそらく実行する方法がありません。

Ps：複数の編集を申し訳ありません。私は...私の携帯電話にaがforループの前にGC用資格で追加System.out.println(a + "is residing on heap and is alive");ライン、なし

Answer 2

ています。あなたの質問が言っていることに反して、メインスレッドはもう使用していません。それがGCであるかどうか（ファイナライザが実行されているかどうか）は気にするものではありません。 GCの動作について前提とするコードを記述することはできません。

コメントアウトされた行では、aは、その後までJVMが終了し、少なくともあなたのケースではファイナライザが実行されていないため、GCの対象になりません。

これはすべて正常な動作ですが、わかっているようにyou can't trust that the finalizers will or will not be runです。異なる環境で異なる結果が生じることがあります。

Answer 3

スコープは、名前の妥当性を判断する言語の概念です。オブジェクトがガベージコレクション可能かどうかは、到達可能かどうかによって決まります。

JLSは§12.6.1言う：

到達可能なオブジェクトは、任意のライブスレッドから任意の潜在的 継続計算にアクセスすることができる任意のオブジェクトです。

JDK 8 GAでは、これは毎回完了します。最後にprintlnのコメントを外すと、決して確定されません。

コードがループに到達すると、スレッドがaにアクセスできる可能性はありません。したがって、到達不能であるため、ファイナライズとガベージコレクションが行われます。

注：名前aは、囲みブロック内のどこでもaを使用できるため、有効範囲内にあります。厳密な範囲規則は、JLS§6.3で網羅されています。しかし、実際にはわかるように、スコープは到達可能性やガベージコレクションとは関係ありません。