Как сборщик мусора здесь избегает бесконечного цикла?

Рассмотрим следующую программу 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

Согласно Рихтеру во втором издании CLR через C # (да, мне нужно обновить):

Стр. Решебника 478

Для (CLR закрывается) каждому методу Finalize дается примерно две секунды для возврата. Если метод Finalize не возвращается в течение двух секунд, CLR просто прекращает процесс - больше не вызываются методы Finalize . Кроме того, если для вызова методов Finalize всех объектов требуется более 40 секунд , среда CLR просто завершает процесс.

Кроме того, как упоминает Серви, у него есть собственная ветка.

Финализатор не работает в основном потоке. У финализатора есть собственный поток, который запускает код, и это не поток переднего плана, который будет поддерживать работу приложения. Основной поток эффективно завершается сразу же, и в этот момент поток финализатора просто запускается столько раз, сколько у него есть возможность, прежде чем процесс будет остановлен. Ничто не поддерживает работу программы.

Сборщик мусора - это не активная система. Он запускается «иногда» и в основном по запросу (например, когда все страницы, предлагаемые ОС, заполнены).

Большинство сборщиков мусора работают в подпотоках в стиле первого поколения. В большинстве случаев переработка объекта может занять несколько часов.

Единственная проблема возникает, когда вы хотите прекратить работу программы. Однако это не проблема. При использовании killОС будет вежливо попросить прекратить процессы. Однако, когда процесс остается активным, можно использовать место, 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и убийстве программы. Через пять секунд программа завершится (другими словами, сборщик мусора откажется и просто освободит всю память без учета финализаторов).