7

使用 64 位大小的结构时，以下代码片段

[StructLayout(LayoutKind.Explicit, Pack = 1, Size = 8)]
  unsafe struct BUF
  {
  }

((BUF*)dst) = *((BUF*)src);

生产

    IL_0046: nop          
    IL_0047: ldloc.s dst                              
    IL_0049: ldloc.2                                       
    IL_004a: ldobj MyClass/BUF           
    IL_004f: stobj MyClass/BUF

但是，当仅使用 long 时，以下代码会产生

*((long*)dst) = *((long*)src);

产生：

IL_0046: nop
IL_0047: ldloc.s dst
IL_0049: ldloc.2
IL_004a: ldind.i8                       
IL_004b: stind.i8

有谁知道 ldobj/stobj 和 ldind.i8/stind.i8 对于这个例子有什么不同（如果有的话）？

ldobj/stobj 似乎提高了 20% 的性能，但我不知道为什么会这样。这两条线不是在做完全相同的事情吗？

谢谢！

编辑：[64 位发布模式] 在发布模式下编译时，字节码看起来相同。性能测量是不久前在发布模式下完成的。

4

1 回答 1

6

我已经复制了您正在使用的两种不同方法，并且看到生成了相同的 IL，但是在发布模式下运行时，两者的 jitted 代码绝对相同：

这是我使用的测试方法：

using System;
using System.Runtime.CompilerServices;
using System.Runtime.InteropServices;

namespace Test
{
    [StructLayout(LayoutKind.Explicit, Pack = 1, Size = 8)]
    unsafe struct BUF
    {
    }

    static class Program
    {
        static void Main()
        {
            BUF x, y, z;
            unsafe
            {
                Do1(&x, &y);
                Do2(&y, &z);
            }
            // Readline here to allow attaching debugger and dumping jitted code
            Console.ReadLine();
        }

        // Disable inlining to permit easier identification of the code
        [MethodImpl(MethodImplOptions.NoInlining)]
        unsafe static void Do1(BUF* src, BUF* dst)
        {
            *((BUF*)dst) = *((BUF*)src);
        }

        // Disable inlining to permit easier identification of the code
        [MethodImpl(MethodImplOptions.NoInlining)]
        unsafe static void Do2(BUF* src, BUF* dst)
        {
            *((long*)dst) = *((long*)src);
        }
    }
}

这两种方法的 IL 与您的匹配：

Do1：

IL_0000：ldarg.1
IL_0001：ldarg.0
IL_0002：ldobj 测试.BUF
IL_0007: stobj Test.BUF
IL_000c: 重新

Do2：

IL_0000：ldarg.1
IL_0001：ldarg.0
IL_0002：ldind.i8
IL_0003：stind.i8
IL_0004: 恢复

并转储 jitted 代码：

Do1：

Test.Program.Do1(Test.BUF*, Test.BUF*)
从 000007ff00170190 开始，尺寸 7
000007ff`00170190 488b01 mov rax,qword ptr [rcx]
000007ff`00170193 488902 mov qword ptr [rdx],rax
000007ff`00170196 c3 ret

Do2：

Test.Program.Do2(Test.BUF*, Test.BUF*)
从 000007ff001701b0 开始，尺寸 7
000007ff`001701b0 488b01 mov rax,qword ptr [rcx]
000007ff`001701b3 488902 mov qword ptr [rdx],rax
000007ff`001701b6 c3 ret

他们看起来和我一模一样。

于 2013-03-01T17:23:17.137 回答