c# - ¿Por qué el compilador JIT.NET decide no alinear u optimizar las llamadas a métodos estáticos vacíos que no tienen efectos secundarios?

clr compiler-optimization

Question

Creo que estoy observando que el compilador JIT .NET no integra ni optimiza las llamadas a métodos estáticos vacíos que no tienen efectos secundarios, lo cual es un poco sorprendente dado algunos recursos en línea personalizados.

Mi entorno es Visual Studio 2013 en x64, Windows 8.1, .NET Framework 4.5.

Dado este sencillo programa de prueba ( https://ideone.com/2BRCpC )

class Program
{
    static void EmptyBody()
    {
    }

    static void Main()
    {
        EmptyBody();
    }
}

Una versión de compilación con optimizaciones del programa anterior produce la siguiente MSIL para Main y EmptyBody :

.method private hidebysig static void  Main() cil managed
{
  .entrypoint
  // Code size       6 (0x6)
  .maxstack  8
  IL_0000:  call       void Program::EmptyBody()
  IL_0005:  ret
} // end of method Program::Main

.method private hidebysig static void  EmptyBody() cil managed
{
  // Code size       1 (0x1)
  .maxstack  8
  IL_0000:  ret
} // end of method Program::EmptyBody

No es sorprendente que la MSIL contenga una llamada de Main a EmptyBody , ya que no se espera que el compilador de C # EmptyBody o optimice llamadas de esa manera. Sin embargo, pensé que el compilador JIT luego alinearía o optimizaría esa llamada. Pero eso no parece suceder.

Si ejecuto el programa anterior y entro en el depurador en Main , el ensamblado generado es el siguiente:

00572621  mov         ebp,esp  
00572623  cmp         dword ptr ds:[4320B84h],0  
0057262A  je          00572631  
0057262C  call        73E6AF20  
00572631  call        dword ptr ds:[4321578h]  

El puntero de instrucción se establece inmediatamente en la última línea en 00572631, que es la llamada a EmptyBody . Al entrar en EmptyBody , se encuentra que el ensamblado generado es

00BD2651  mov         ebp,esp  
00BD2653  cmp         dword ptr ds:[4B00B84h],0  
00BD265A  je          00BD2661  
00BD265C  call        73E6AF20  
00BD2661  nop  
00BD2662  pop         ebp  
00BD2663  ret

El puntero de instrucción se establece inmediatamente en la línea nop en 00BD2661, que no hace nada, y no puedo adivinar por qué se generó en primer lugar.

Dado que los dos fragmentos de ensamblaje anteriores comparten el mismo encabezado de 4 instrucciones, asumo que es solo la placa de la caldera de entrada de método normal donde se configura la pila y tal. Sin embargo, estoy dispuesto a aprender a saber qué harían estas instrucciones recurrentes:

00BD2653  cmp         dword ptr ds:[4B00B84h],0  
00BD265A  je          00BD2661  
00BD265C  call        73E6AF20  

De todos modos, la pregunta principal es: ¿Por qué el compilador JIT produce un ensamblaje que llama al método estático de cuerpo vacío, EmptyBody ?

Answer 1

Después de profundizar un poco más, resulta que puedo responder esta pregunta yo mismo. Como se explica en http://blogs.msdn.com/b/vancem/archive/2006/02/20/535807.aspx , observar el desensamblaje de una versión de lanzamiento optimizada bajo el depurador afectará de forma predeterminada al compilador JIT.

Deseleccionando estos

• ''Suprimir la optimización JIT en la carga del módulo''
• ''Habilitar solo mi código''

en VS> Herramientas> Depuración> General, se mostrará el resultado de compilación JIT "real", que para la llamada a EmptyBody en mi Main anterior es la siguiente:

004C2620  ret

Lo que significa que la llamada a EmptyBody se eliminó por completo, que es lo que se esperaba y el mundo sigue siendo un lugar feliz y un tanto predecible para vivir :)