Wie vermeidet ein Garbage Collector hier eine Endlosschleife?

Betrachten Sie das folgende C # -Programm, das ich als Antwort auf Codegolf eingereicht habe, um eine Schleife ohne Schleife zu erstellen:

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

Dieses Programm sieht in meiner Inspektion wie eine Endlosschleife aus, scheint jedoch mehrere tausend Iterationen lang zu laufen, und dann wird das Programm ohne Fehler erfolgreich beendet (es werden keine Fehler ausgegeben). Ist es eine Spezifikationsverletzung, für die der Finalizer Pschließlich nicht aufgerufen wird?

Natürlich ist dies dummer Code, der niemals erscheinen sollte, aber ich bin gespannt, wie das Programm jemals abgeschlossen werden könnte.

Original Code Golf Post :: /codegolf/33196/loop-without-looping/33218#33218

Laut Richter in der zweiten Ausgabe von CLR über C # (ja, ich muss aktualisieren):

Seite 478

Für (Die CLR wird heruntergefahren) wird jeder Finalize- Methode ungefähr zwei Sekunden Zeit gegeben, um zurückzukehren. Wenn eine Finalize- Methode nicht innerhalb von zwei Sekunden zurückkehrt, beendet die CLR den Prozess nur - es werden keine Finalize- Methoden mehr aufgerufen. Wenn das Aufrufen der Finalize- Methoden aller Objekte länger als 40 Sekunden dauert, bricht die CLR den Prozess einfach ab.

Wie Servy erwähnt, hat es auch einen eigenen Thread.

Der Finalizer wird nicht im Hauptthread ausgeführt. Der Finalizer verfügt über einen eigenen Thread, in dem Code ausgeführt wird, und es handelt sich nicht um einen Vordergrund-Thread, der die Anwendung am Laufen hält. Der Haupt-Thread wird sofort effektiv abgeschlossen. Zu diesem Zeitpunkt wird der Finalizer-Thread einfach so oft ausgeführt, wie es möglich ist, bevor der Prozess abgebrochen wird. Nichts hält das Programm am Leben.

Ein Garbage Collector ist kein aktives System. Es läuft "manchmal" und meistens auf Anfrage (zum Beispiel wenn alle vom Betriebssystem angebotenen Seiten voll sind).

Die meisten Müllsammler laufen in der Breite der ersten Generation in einem Subthread. In den meisten Fällen kann es Stunden dauern, bis das Objekt recycelt wird.

Das einzige Problem tritt auf, wenn Sie das Programm beenden möchten. Das ist jedoch kein wirkliches Problem. Wenn Sie killein Betriebssystem verwenden, werden Sie höflich gebeten, Prozesse zu beenden. Wenn der Prozess jedoch aktiv bleibt, kann verwendet werden, kill -9wo das Betriebssystem alle Kontrolle entfernt.

Wenn ich Ihren Code in der interaktiven csharpUmgebung ausgeführt habe, habe ich:

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

Somit stürzt Ihr Programm ab, weil stdoutes durch die Terminierung der Umgebung blockiert wird.

Beim Entfernen Console.WriteLineund Beenden des Programms. Nach fünf Sekunden wird das Programm beendet (mit anderen Worten, der Garbage Collector gibt auf und gibt einfach den gesamten Speicher frei, ohne die Finalizer zu berücksichtigen).