ガベージコレクターは、ここで無限ループをどのように回避しますか？

次のC＃プログラムについて考えてみましょう。ループなしのループを作成するための回答としてcodegolfに提出しました。

class P{
    static int x=0;
    ~P(){
        System.Console.WriteLine(++x);
        new P();
    }
    static void Main(){
        new P();
    }
}

このプログラムは、私の検査では無限ループのように見えますが、数千回繰り返し実行されているように見え、プログラムはエラーなしで正常に終了します（エラーはスローされません）。P最終的にファイナライザが呼び出されないのは仕様違反ですか？

明らかにこれは馬鹿げたコードであり、決して表示されるべきではありませんが、プログラムがどのように完了するかについて私は興味があります。

オリジナルコードゴルフポスト:: /codegolf/33196/loop-without-looping/33218#33218

C＃を介したCLRの第2版のリヒターによると（はい、更新する必要があります）：

さちえ478

（CLRのシャットダウン中）の場合、各Finalizeメソッドには約2秒かかります。Finalizeメソッドが2秒以内に返らない場合、CLRはプロセスを強制終了するだけで、Finalizeメソッドは呼び出されません。また、すべてのオブジェクトのFinalizeメソッドの呼び出しに40秒以上かかる場合も、CLRはプロセスを強制終了します。

また、Servyが言及するように、独自のスレッドがあります。

ファイナライザはメインスレッドでは実行されません。ファイナライザには、コードを実行する独自のスレッドがあり、アプリケーションを実行し続けるフォアグラウンドスレッドではありません。メインスレッドはすぐに効果的に完了します。この時点で、ファイナライザスレッドは、プロセスが破棄される前に、機会が得られる回数だけ実行されます。プログラムを存続させるものは何もない。

ガベージコレクターはアクティブなシステムではありません。「時々」、ほとんどがオンデマンドで実行されます（たとえば、OSによって提供されるすべてのページがいっぱいになった場合）。

ほとんどのガベージコレクターは、サブスレッドで幅第一世代のような方法で実行されます。ほとんどの場合、オブジェクトがリサイクルされるまでに数時間かかることがあります。

唯一の問題は、プログラムを終了するときに発生します。しかし、それは本当に問題ではありません。あなたkillがOS を使用するとき、プロセスを終了するように丁寧に尋ねます。ただし、プロセスがアクティブのままkill -9である場合は、オペレーティングシステムがすべての制御を削除する場所を使用できます。

インタラクティブcsharp環境でコードを実行したとき、次のことがわかりました。

csharp>  

1
2

Unhandled Exception:
System.NotSupportedException: Stream does not support writing
  at System.IO.FileStream.Write (System.Byte[] array, Int32 offset, Int32 count) [0x00000] in <filename unknown>:0 
  at System.IO.StreamWriter.FlushBytes () [0x00000] in <filename unknown>:0 
  at System.IO.StreamWriter.FlushCore () [0x00000] in <filename unknown>:0 
  at System.IO.StreamWriter.Write (System.Char[] buffer, Int32 index, Int32 count) [0x00000] in <filename unknown>:0 
  at System.IO.CStreamWriter.Write (System.Char[] buffer, Int32 index, Int32 count) [0x00000] in <filename unknown>:0 
  at System.IO.CStreamWriter.Write (System.Char[] val) [0x00000] in <filename unknown>:0 
  at System.IO.CStreamWriter.Write (System.String val) [0x00000] in <filename unknown>:0 
  at System.IO.TextWriter.Write (Int32 value) [0x00000] in <filename unknown>:0 
  at System.IO.TextWriter.WriteLine (Int32 value) [0x00000] in <filename unknown>:0 
  at System.IO.SynchronizedWriter.WriteLine (Int32 value) [0x00000] in <filename unknown>:0 
  at System.Console.WriteLine (Int32 value) [0x00000] in <filename unknown>:0 
  at P.Finalize () [0x00000] in <filename unknown>:0

したがってstdout、環境の終了によってブロックされるため、プログラムがクラッシュします。

を削除Console.WriteLineしてプログラムを強制終了する場合。5秒後にプログラムが終了します（つまり、ガベージコレクターはあきらめ、ファイナライザーを考慮せずにすべてのメモリを解放します）。