浅析.NET 3.5 SP1中的JIT增强

在.NET平台里，大部分编译器的优化并不是通过VB和C#编译器来完成的。它们宁可把优化的处理推后到CLR的即时（Just In Time，JIT）编译器读取IL，并转换为原生机器码的时候来完成。由于这个原因，对JIT的改变会极大地影响之前编译好的程序集。

一个主要的影响就是内联函数（Inlining Function）调用。之前，JIT对内联方法的处理非常保守，Vance Morrison解释了个中缘由，

它对内联的处理并不是很好。内联总是减少指令执行的数量（这是由于最低限度的调用和返回指令没有被执行），但是它能（并经常）让结果代码变得很大。大部分人都能直觉地理解，内联大的方法（比如1Kb的）不是很有意义，而内联非常小的方法可以让调用的占用空间更小（由于调用指令才5字节），这样的选择总是正确的，但是介于两者之间的方法要如何处理呢？

有趣的是，当你让代码变大时，你也就让它执行缓慢，因为内存天生地缓慢；你的代码越大，它越不会放在最快的CPU缓存（称之为L1）里面执行，在那样的情况下，处理器需要执行3-10个周期直到它能从另外的缓存（称之为L2）中获取到执行代码，如果L2缓存中还不存在，那么就需要到主内存中获取（需要花费10+周期）。对于在紧密循环中执行的代码，这样的结果不会有什么问题，因为所有的代码都适合放入到最快缓存中（典型的是64K），不过对于“常规的”代码，它通过大量的方法来执行大量的代码，“越大就越慢”的效果就非常显著。更大的代码也就意味着在启动时从磁盘获取代码需要更大的磁盘I/O，这就意味着你的应用程序启动较慢。

在Service Pack 1中，微软引入了一个新的基于代码尺寸的启发式算法，来判断调用是否处于一个循环中。在常规情况下，函数只有当在调用空间中的结果机器码比原始版本要小时，才能被内联。这样做就保证了尽可能多的代码能适合CPU的缓存，当缓存不够用时，就能对性能产生巨大的影响。

当处在循环中时，分部异常也可以很好地工作。这是因为据推测函数通常会被多次调用，所以CLR允许内联函数可以增长至原始调用大小的5倍大。类似值类型优化这样的条件有可能更进一步地增加容许尺寸的大小。