JIT编译器是否优化(内联)不必要的变量声明?

时间:2011-10-20 20:56:18

标签: c# .net vb.net performance inline

我已经阅读了几篇文章和问题/答案,最后的做法是让JIT编译器对内联函数调用进行所有优化。有道理。

内联变量声明怎么样?编译器是否也优化了这些?

就是这样:

        Dim h = (a + b + c) / 2       'Half-Perimeter

        If maxEdgeLength / (Math.Sqrt(h * (h - a) * (h - b) * (h - c)) / h) <= MaximumTriangleAspectRatio Then
           'Do stuff here.
        End If

有比这更好的表现:

        Dim perimeter = a + b + c   'Perimeter
        Dim h = perimeter / 2       'Half-Perimeter

        Dim area = Math.Sqrt(h * (h - a) * (h - b) * (h - c)) 'Heron's forumula.
        Dim inradius = area / h
        Dim aspectRatio = maxEdgeLength / inradius

        If aspectRatio <= MaximumTriangleAspectRatio Then
            'Do stuff here.
        End If

当然我更喜欢后者,因为它更容易阅读和调试,但如果它存在,我无法承受性能下降。

注意:我已经将此代码识别为瓶颈 - 无需对过早优化进行反驳。 : - )

2 个答案:

答案 0 :(得分:17)

具有或不具有名称的临时变量是非问题。

但你可以大大优化这种不平等。

您的代码是:

If maxEdgeLength / (Math.Sqrt(h * (h - a) * (h - b) * (h - c)) / h) <= MaximumTriangleAspectRatio Then

将两边乘以平方根,消除除法(保留不等式,因为平方根不能返回负数):

If maxEdgeLength <= (Math.Sqrt(h * (h - a) * (h - b) * (h - c)) / h) * MaximumTriangleAspectRatio Then

现在,将两边平方以消除那个昂贵的平方根:

If maxEdgeLength * maxEdgeLength <= h * (h - a) * (h - b) * (h - c) / h / h * MaximumTriangleAspectRatio * MaximumTriangleAspectRatio Then

取消,然后乘以h

If maxEdgeLength * maxEdgeLength * h <= (h - a) * (h - b) * (h - c) * MaximumTriangleAspectRatio * MaximumTriangleAspectRatio Then

这会快得多。如果重复此计算,请考虑缓存此表达式的一部分结果,以获得更多改进。

使用注释来解释公式。摆脱瓶颈函数中的Math.Sqrt调用值得以不太简单的格式编写表达式。

答案 1 :(得分:5)

顺便说一下,为了扮演魔鬼的拥护者,我也想指出这一点:

整个函数的JIT内联查看MSIL的长度(以字节为单位),而不是计算的复杂性。添加局部变量(并期望JIT注册它们)可能会增加函数的MSIL大小,使整个函数不能成为内联的候选者。

这不太可能与Math.Sqrt的不必要使用产生重大差异,但这是可能的。正如Eric Lippert所说,通过实际测量你会知道更多。但是,这样的测量仅对程序的一个特定运行有效,并且不会推广到经常调整JIT行为的不同处理器或.NET运行时的未来版本(包括服务包)。因此,您需要一种综合的分析和经验方法来进行优化。