c# – 为什么JIT在这种情况下不使用readonly标志进行优化？

概述我有一个由此CachePage类的数组组成的调用站点缓存.缓存页面有一个只读的令牌数组,用于确定此页面是否正确使用. internal class CachePage{ internal CachePage(Token[] tokens) { this.tokens = tokens; } private readonly Token[] toke 我有一个由此CachePage类的数组组成的调用站点缓存.缓存页面有一个只读的令牌数组,用于确定此页面是否正确使用.

internal class CachePage{    internal CachePage(Token[] tokens)    {        this.tokens = tokens;    }    private @R_301_4609@ Token[] tokens;    // other members don't matter...

为了简化问题,在类中我有几个CheckTokens方法,它们采用各种参数,WLOG都是这样的.

public bool CheckTokens(Token g0,Token g1,Token g2){    return (g2 == tokens[2] && g1 == tokens[1] && g0 == tokens[0]);}

我向后遍历数组的元素,只产生一个绑定检查.或者我想.当我查看反汇编的输出时,我实际上看到每个比较它实际上正在执行边界检查.

但是,如果我像这样更改方法,则会消除额外的边界检查.

public bool CheckTokens(Token g0,Token g2){    var t=tokens;    return (g2 == t[2] && g1 == t[1] && g0 == t[0]);}

为什么要添加额外的绑定检查？ @R_301_4609@标志不告诉JIT这个私有变量不能变异吗？

这是一个低级缓存,所以花在确定这是否是正确路径上的时间越少越好.

编辑：
这是针对rbitJIT和普通JIT尝试的64位.net 4.5.

解决方法 我在实时交易的世界里工作,并试图从应用程序中挤出最后一点性能.

正如汉斯在问题评论中所说,JITters选择忽略了一些优化.其中之一是注册在方法中多次读取的只读成员变量.虽然从概念上讲这似乎是一个简单的实现,但是认识到多次读取相同的成员变量并非易事.

简而言之,这是一种权衡,在绝大多数情况下,潜在的好处是不值得JITter的成本.如果您的性能调优已达到微优化的程度,那么明确启用JITter以通过手动将其提升为局部变量来注册成员变量.这可以使JITter执行其他优化,例如消除边界检查.

总结

以上是内存溢出为你收集整理的c# – 为什么JIT在这种情况下不使用readonly标志进行优化？全部内容，希望文章能够帮你解决c# – 为什么JIT在这种情况下不使用readonly标志进行优化？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。