Compilazione C# con ottimizzazione ricorsiva della coda?

Question

Sulla base della ricca ricchezza dello stackoverflow, ho ottenuto e ricevuto risposte sul fatto che l'ottimizzazione ricorsiva della coda sia eseguita specificamente per il codice C#. Alcune delle domande sembravano parlare

1. Speculazione dell'ottimizzazione nelle versioni più recenti di .NET che venivano rilasciati
2. domanda di costruzione come applicazione x64bit per raggiungere l'ottimizzazione
3. Il passaggio da una build di debug a una versione build in Visual Studio per ottenere l'ottimizzazione
4. Nessuna ottimizzazione e la comunità microsoft ha affermato che non eseguirà l'ottimizzazione ricorsiva della coda per "problemi di sicurezza" (non l'ha davvero capita)
5. È successo ns da casuale

Così come di C# 4.0 (Visual Studio 2013/2015) Come si fa a garantire la coda di ottimizzazione ricorsiva se così si può garantire a tutti?

Answer 1

Ci sono diversi livelli in cui è possibile supportare l'ottimizzazione della chiamata di coda. Il JIT è davvero responsabile di molte ottimizzazioni che avvengono. Il compilatore C# non esegue nemmeno la funzione di inlining, cioè la responsabilità del compilatore JIT. Il compilatore C# potrebbe utilizzare lo Tailcall IL opcode che designa una chiamata come coda, tuttavia credo che nessuna versione del compilatore C# lo faccia. Il compilatore JIT è autorizzato a effettuare ottimizzazioni di chiamata tail quando lo ritiene opportuno. In particolare, credo che solo il JIT a 64 bit lo fa. Questo blog post delinea una serie di scenari in cui JIT64 non può utilizzare l'ottimizzazione delle chiamate tail. Sono sicuro che i criteri potrebbero essere soggetti a modifiche poiché stanno lavorando a una riscrittura del compilatore JIT, nome in codice RyuJIT.

Se volete un breve esempio di programma che può utilizzare TCO provare questo:

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

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

Impostare il progetto per la costruzione di rilascio/x64 (o AnyCPU w/o preferire a 32-bit) e iniziare senza il debugger allegato. Il programma funzionerà per sempre. Se non eseguo tutte queste operazioni, ottengo un'eccezione StackOverflow intorno al 20947.