阵列边界检查CLR中的消除?

时间:2012-02-16 02:34:20

标签: c# arrays optimization clr bounds-check-elimination

我最近阅读了Dave Detlefs的this article,其中他介绍了一些CLR执行数组边界检查消除的情况。我决定自己测试一下,所以我做了以下几点:

  • 打开Visual Studio 2010 Ultimate SP1
  • 创建了一个类型为Console Application的新C#项目(默认情况下以.NET 4 Client Profile为目标)
  • 添加了以下代码(所有子方法都直接来自文章):

    class Program {
        static void Main(string[] args) {
            int[] array = new int[30];
            Test_SimpleAscend(array);
            Test_SimpleRedundant(array, 3);
    
            foreach (int i in array) {
                Console.WriteLine(i);
            }
        }
    
        static void Test_SimpleAscend(int[] a) {
            for (int i = 0; i < a.Length; i++)
                a[i] = i;
        }
    
        static void Test_SimpleRedundant(int[] a, int i) {
            int k = a[i];
            k = k + a[i];
        }
    }
    
  • 切换到发布模式;验证在构建选项

  • 中检查了“优化代码”
  • 为每个阵列访问添加断点,开始调试(F5)并打开Dissassembly窗口

所以这是[i] = i的反汇编;在Test_SimpleAscend中:

                a[i] = i;
00000024  mov         eax,dword ptr [ebp-4] 
00000027  mov         edx,dword ptr [ebp-8] 
0000002a  cmp         eax,dword ptr [edx+4] 
0000002d  jb          00000034 
0000002f  call        64FD6E08 
00000034  mov         ecx,dword ptr [ebp-4] 
00000037  mov         dword ptr [edx+eax*4+8],ecx 

cmp / jb / call是边界检查,实际上强制执行调用会抛出IndexOutOfRangeException。

所有数组访问都是一样的,包括Test_SimpleRedundant中的冗余访问。那么我的测试方法有问题,或者CLR实际上没有消除边界检查?我希望我错了,如果是的话,我想知道如何才能真正得到数组边界检查消除。

1 个答案:

答案 0 :(得分:12)

感谢Cody Gray的评论,我已经设法回答了我自己的问题:

默认情况下,调试时会禁用JIT优化。要解决这个问题,可以去Debug - &gt;选项和设置 - &gt;调试 - &gt;一般,并取消选中“启用我的代码”和“禁止模块加载时的JIT优化”。

另见http://msdn.microsoft.com/en-us/library/ms241594.aspx

启用优化后,将按照公布的方式删除边界检查。

我会把它留在这里用于记录目的。

相关问题