Come fa un garbage collector a evitare un ciclo infinito qui?

Considera il seguente programma C #, l'ho inviato su codegolf come risposta per creare un loop senza loop:

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

Questo programma sembra un ciclo infinito nella mia ispezione, ma sembra funzionare per diverse migliaia di iterazioni, quindi il programma termina correttamente senza errori (non vengono generati errori). È una violazione delle specifiche che alla Pfine il finalizzatore non viene chiamato?

Chiaramente questo è un codice stupido, che non dovrebbe mai apparire, ma sono curioso di sapere come il programma potrebbe mai completarsi.

Codice originale golf post: /codegolf/33196/loop-without-looping/33218#33218

Come per Richter nella seconda edizione di CLR tramite C # (sì, ho bisogno di aggiornare):

Pagina 478

Per (Il CLR si sta spegnendo) ogni metodo Finalize ha circa due secondi per tornare. Se un metodo Finalize non viene restituito entro due secondi, CLR interrompe semplicemente il processo e non vengono più chiamati metodi Finalize . Inoltre, se sono necessari più di 40 secondi per chiamare i metodi Finalize di tutti gli oggetti , di nuovo, il CLR uccide semplicemente il processo.

Inoltre, come menziona Servy, ha il suo filo conduttore.

Il finalizzatore non viene eseguito nel thread principale. Il finalizzatore ha un proprio thread che esegue il codice e non è un thread in primo piano che manterrebbe in esecuzione l'applicazione. Il thread principale viene completato immediatamente in modo efficace, a quel punto il thread del finalizzatore viene eseguito tutte le volte che ne ha la possibilità prima che il processo venga interrotto. Niente mantiene in vita il programma.

Un garbage collector non è un sistema attivo. Funziona "a volte" e per lo più su richiesta (ad esempio quando tutte le pagine offerte dal sistema operativo sono piene).

La maggior parte dei garbage collector funziona in un modo simile alla prima generazione in un sotto-thread. Nella maggior parte dei casi possono essere necessarie ore prima che l'oggetto venga riciclato.

L'unico problema si verifica quando si desidera terminare il programma. Tuttavia non è davvero un problema. Quando si utilizza killun sistema operativo chiederà cortesemente di terminare i processi. Quando il processo rimane comunque attivo, si può usare kill -9dove il sistema operativo rimuove tutto il controllo.

Quando ho eseguito il tuo codice nell'ambiente interattivo csharp, ho ottenuto:

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

Quindi il tuo programma va in crash perché stdoutè bloccato dalla terminazione dell'ambiente.

Quando si rimuove Console.WriteLinee si uccide il programma. Dopo cinque secondi il programma termina (in altre parole, il garbage collector si arrende e semplicemente libererà tutta la memoria senza prendere in considerazione i finalizzatori).