用于基准测试目的的C#编译器优化

本文关键字:编译器 优化 用于 基准测试 | 更新日期: 2023-09-27 18:00:46

我需要检查一些.NET API的性能,于是我想出了这段代码。

Stopwatch sw = Stopwatch.StartNew();
for (int i = 0; i < 1000; i++) {
    int res = (int) SOME .NET FUNCTION TO RUN;
}
sw.Stop();
double time = sw.Elapsed.TotalMilliseconds;

转念一想,我担心编译器会优化所有操作,因为res在任何地方都没有使用。我修改了代码如下。

Stopwatch sw = Stopwatch.StartNew();
long sumIt = 0;
for (int i = 0; i < 1000; i++) {
    int res = (int) SOME .NET FUNCTION TO RUN;
    sumIt += res;
}
sw.Stop();
double time = sw.Elapsed.TotalMilliseconds;
value = (int) sumIt / 1000;

有趣的是,在我的第一个例子中,编译器似乎并没有优化操作。我测试了csc(Visual Studio)和mono。

我的问题来了。

  • 将基准作为我的第一个例子安全吗
  • C#编译器是否足够聪明,能够理解某些代码可以被优化掉?或者,有编译器参数吗

已添加

SOME FUNCTION TO RUN实际上是SOME .NET FUNCTION TO RUN,我修改了OP。根据答案,C#编译器似乎无法(或没有)优化操作,因为.NET FUNCTION TO RUN可能会产生副作用。

用于基准测试目的的C#编译器优化

编译器(JIT)如果发现整个函数调用没有副作用,可以优化它。它可能需要能够内联函数来检测这一点。

我尝试了只作用于输入参数的小函数,并通过检查生成的程序集来查看它是否得到了优化(请确保在未选中"Suppres optimization on module load"的情况下尝试Release build)。

 ...
 for (int i = 0; i < 1000; i++) 
 {    
    int res = (int) Func(i);
 }
 ...
 static int Func(int arg1)
 {
    return arg1 * arg1;
 }

拆卸:

      for (int i = 0; i < 1000; i++) 
    00000016  xor         eax,eax 
    00000018  inc         eax 
    00000019  cmp         eax,3E8h 
    0000001e  jl          00000018 
        }