c# - .NET JIT潜在错误?




(2)

在Visual Studio中运行发行版并在Visual Studio外运行发行版时,以下代码提供了不同的输出。 我正在使用Visual Studio 2008并以.NET 3.5为目标。 我也尝试过.NET 3.5 SP1。

当在Visual Studio外部运行时,JIT应该启动。或者(a)C#中存在一些细微的缺失,或者(b)JIT实际上是错误的。 我怀疑JIT可能会出错,但我已经没有其他可能性了...

在Visual Studio中运行时输出:

    0 0,
    0 1,
    1 0,
    1 1,

在Visual Studio外部运行发行版时输出:

    0 2,
    0 2,
    1 2,
    1 2,

是什么原因?

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace Test
{
    struct IntVec
    {
        public int x;
        public int y;
    }

    interface IDoSomething
    {
        void Do(IntVec o);
    }

    class DoSomething : IDoSomething
    {
        public void Do(IntVec o)
        {
            Console.WriteLine(o.x.ToString() + " " + o.y.ToString()+",");
        }
    }

    class Program
    {
        static void Test(IDoSomething oDoesSomething)
        {
            IntVec oVec = new IntVec();
            for (oVec.x = 0; oVec.x < 2; oVec.x++)
            {
                for (oVec.y = 0; oVec.y < 2; oVec.y++)
                {
                    oDoesSomething.Do(oVec);
                }
            }
        }

        static void Main(string[] args)
        {
            Test(new DoSomething());
            Console.ReadLine();
        }
    }
}

我将您的代码复制到新的控制台应用程序中。

  • 调试构建
    • 使用调试器和无调试器纠正输出
  • 切换到发布版本
    • 再次,正确的输出两次
  • 创建了一个新的x86配置(我正在运行X64 Windows 2008并使用'任何CPU')
  • 调试构建
    • 得到正确的输出F5和CTRL + F5
  • 发布构建
    • 使用附加的调试器纠正输出
    • 没有调试器 - 得到不正确的输出

所以它是错误地生成代码的x86 JIT。 删除了我有关重新排序循环等的原始文本。这里的其他一些答案已经证实JIT在x86上正确地展开循环。

要解决这个问题,您可以将IntVec的声明更改为一个类,并且它适用于所有类型。

认为这需要继续MS Connect ....

-1给微软!


我相信这是一个真正的JIT编译错误。 我会把它报告给微软,看看他们说了些什么。 有趣的是,我发现x64 JIT没有相同的问题。

这是我阅读的x86 JIT。

// save context
00000000  push        ebp  
00000001  mov         ebp,esp 
00000003  push        edi  
00000004  push        esi  
00000005  push        ebx  

// put oDoesSomething pointer in ebx
00000006  mov         ebx,ecx 

// zero out edi, this will store oVec.y
00000008  xor         edi,edi 

// zero out esi, this will store oVec.x
0000000a  xor         esi,esi 

// NOTE: the inner loop is unrolled here.
// set oVec.y to 2
0000000c  mov         edi,2 

// call oDoesSomething.Do(oVec) -- y is always 2!?!
00000011  push        edi  
00000012  push        esi  
00000013  mov         ecx,ebx 
00000015  call        dword ptr ds:[002F0010h] 

// call oDoesSomething.Do(oVec) -- y is always 2?!?!
0000001b  push        edi  
0000001c  push        esi  
0000001d  mov         ecx,ebx 
0000001f  call        dword ptr ds:[002F0010h] 

// increment oVec.x
00000025  inc         esi  

// loop back to 0000000C if oVec.x < 2
00000026  cmp         esi,2 
00000029  jl          0000000C 

// restore context and return
0000002b  pop         ebx  
0000002c  pop         esi  
0000002d  pop         edi  
0000002e  pop         ebp  
0000002f  ret     

这看起来像是一种优化对我不利...





jit