Bagaimana pengumpul sampah menghindari pengulangan tak terbatas di sini?

Pertimbangkan program C # berikut, saya mengirimkannya ke codegolf sebagai jawaban untuk membuat loop tanpa perulangan:

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

Program ini terlihat seperti loop tak terbatas dalam pemeriksaan saya, tetapi tampaknya berjalan untuk beberapa ribu iterasi, dan kemudian program berakhir dengan sukses tanpa kesalahan (Tidak ada kesalahan yang terjadi). Apakah pelanggaran spesifikasi yang Pakhirnya tidak dipanggil oleh finalizer ?

Jelas ini adalah kode bodoh, yang seharusnya tidak pernah muncul, tapi saya penasaran bagaimana program itu bisa selesai.

Pos kode golf asli :: /codegolf/33196/loop-without-looping/33218#33218

Sesuai Richter di CLR edisi kedua via C # (ya saya perlu memperbarui):

Halaman 478

Untuk (CLR dimatikan) setiap metode Finalisasi diberikan waktu sekitar dua detik untuk kembali. Jika metode Finalize tidak kembali dalam dua detik, CLR hanya menghentikan proses - tidak ada lagi metode Finalize yang dipanggil. Juga, jika dibutuhkan lebih dari 40 detik untuk memanggil metode Finalisasi semua objek , sekali lagi, CLR hanya menghentikan proses.

Juga, seperti yang disebutkan Servy, ia memiliki utasnya sendiri.

Finalizer tidak berjalan di utas utama. Finalizer memiliki utasnya sendiri yang menjalankan kode, dan ini bukan utas latar depan yang akan membuat aplikasi tetap berjalan. Utas utama selesai secara efektif segera, di mana utas finalizer hanya berjalan sebanyak yang mendapat kesempatan sebelum proses dirobohkan. Tidak ada yang membuat program tetap hidup.

Pengumpul sampah bukanlah sistem yang aktif. Ini berjalan "kadang-kadang" dan sebagian besar sesuai permintaan (misalnya ketika semua halaman yang ditawarkan oleh OS penuh).

Sebagian besar pengumpul sampah menjalankan dengan cara seperti generasi pertama di subjudul. Biasanya dibutuhkan waktu berjam-jam sebelum objek tersebut didaur ulang.

Satu-satunya masalah terjadi ketika Anda ingin menghentikan program. Namun itu sebenarnya bukan masalah. Ketika Anda menggunakan killOS akan meminta dengan sopan untuk menghentikan proses. Namun ketika proses tetap aktif, seseorang dapat menggunakan di kill -9mana Sistem Operasi menghapus semua kontrol.

Ketika saya menjalankan kode Anda di csharplingkungan interaktif , saya mendapatkan:

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

Dengan demikian program Anda macet karena stdoutdiblokir oleh penghentian lingkungan.

Saat menghapus Console.WriteLinedan mematikan program. Ini setelah lima detik program berakhir (dengan kata lain, pengumpul sampah menyerah dan hanya akan membebaskan semua memori tanpa memperhitungkan finalizer).