转载

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

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

　　在 .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#开发者总结了这个问题：