Як тут збирач сміття уникає нескінченного циклу?

Розглянемо наступну програму 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 не викликається. Крім того, якщо для виклику методів доопрацювання всіх об'єктів потрібно більше 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та вбивстві програми. Через п'ять секунд програма припиняється (іншими словами, сміттєзбірник здається і просто звільнить всю пам'ять, не враховуючи фіналізаторів).