转载

.NET 4.6的RyuJIT编译器中又发现两个严重的Bug

在.NET 4.6的RyuJIT编译器中又发现了两个严重的bug，开发者Andrey Akinshin已经将第一个bug记录下来，并提供了以C#编写的概念验证式代码以解释其中的问题。而正是StackOverflow上的一名用户“BrandonAGr”在网站上的留言启发Akinshin编写了这段代码。

Akinshin在示例中使用了可空的布尔类型，它展示了当RyuJIT在试图生成优化代码时导致所生成的程序集出错的情况。从这个示例的运行结果来看，它在首次运行时会产生错误，而第二次运行时却一切正常，这一点更令人头疼。Akinshin在总结中说道：“RyuJIT似乎存在着一个相当棘手的优化bug，这个bug的产生依赖于大量的附加条件，而对于源代码的每次修改都会破坏它的可重现性。”

所幸来自微软的开发者“schellap”已经为这一错误提交了一个修复，但就像本周早先所报告的问题一样，目前还没有发布任何二进制的补丁包。使用者对于RyuJIT目前的现状表示了他们的挫折感与忧虑。用户“EasmoneNerbonne”认为，根据所报告的bug情况来看，“……看起来，最好的做法是在近期全面停止使用[RyuJIT]，而不仅仅是禁用尾调用功能而已。” Akinshin对此也表示了赞同。而用户Daniel Marbach也说道：“……那篇介绍RyuJIT的博客应当更新一下这些bug的情况，并且微软应该发布一篇公开声明，清楚地说明： 不要在生产环境中使用RyuJIT 。”（原文即以大写表示强调）

第二个bug是由GitHub用户Hyunho Richard Lee所报告的，他通过一段F#代码的示例展现了这个bug：原本应该正常运行的程序却产生了错误（抛出FatalExecutionEngineError异常）。按照Lee的说法，对于能够正常运行的、以.NET 4.5.1（或4.5、4.5.2）为目标的F# 3.1程序，在安装.NET 4.6 RC后就会产生问题。

Lee为F#开发者总结了这个问题：

如果F#开发者在现有应用的任何一处代码中，对于KeyValuePair类型的Seq执行了Seq.distinct方法，那么他们必须对运行环境加以控制，确保部署环境中没有安装.NET 4.6。另一种做法是立即重新设置项目的目标，随后立即重新部署这些项目。

微软的开发者sivarv暗示这个问题已经在一个提交中得以修复，但正如上文所述，目前还没有公开宣布任何二进制补丁包的发布日期。

查看英文原文： Two More Major Bugs Revealed in .NET 4.6's RyuJIT Compiler

专栏：.NET 4.6、C#、.NET、.NET语言、F#、微软

正文到此结束