C# компиляция с хвостовой рекурсивной оптимизацией?

Question

Основываясь на богатом богатстве stackoverflow, я получал ответы на вопрос о том, выполняется ли рекурсивная оптимизация хвоста специально для кода C#. Некоторые из вопросов, как представляется, говорить о

1. спекуляция оптимизации в новых версиях .NET, которые были выпущены
2. Строительство применение в качестве приложения x64bit для достижения оптимизации
3. Переключение из отладочных к выпуску сборки в Visual Studio для достижения оптимизации
4. Никакой оптимизации вообще и что сообщество Microsoft не утверждало, что они не будут выполнять рекурсивную оптимизацию хвоста для «проблем безопасности» (на самом деле это не понимало)
5. Это happe нс по случайному

Так, как в C# 4.0 (Visual Studio 2013/2015) как можно обеспечить хвост рекурсивной оптимизации, если один может обеспечить его на всех?

Answer 1

Существуют различные уровни, на которых может поддерживаться оптимизация вызовов хвоста. JIT действительно несет ответственность за многие оптимизации, которые происходят. Сам компилятор C# даже не выполняет метод inline, то есть ответственность компилятора JIT. Компилятор C# может использовать Tailcall IL opcode, обозначающий вызов как хвостовой вызов, однако я считаю, что никакая версия компилятора C# не делает этого. Компилятору JIT разрешено выполнять оптимизацию хвостовых вызовов всякий раз, когда он сочтет нужным. В частности, я считаю, что только 64-разрядная JIT делает это. В этом blog post описывается ряд сценариев, в которых JIT64 не может использовать оптимизацию хвостовых вызовов. Я уверен, что критерии могут быть изменены, поскольку они работают над переписыванием JIT-компилятора под кодовым названием RyuJIT.

Если вы хотите небольшой пример программы, которые могут использовать TCO попробовать это:

class Program 
{ 
    static void Main(string[] args) 
    { 
     Test(1); 
    } 

    private static void Test(int i) 
    { 
     Console.WriteLine(i); 
     Test(i + 1); 
    } 
} 

Установите проект создания Release/x64 (или AnyCPU без предпочитают 32-бит) и запустить без отладчика прилагается. Программа будет работать вечно. Если я не делаю все эти вещи, тогда я получаю исключение stackoverflow около 20947.