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

  • Jeff Martin
  • 邵思华

2015 年 8 月 9 日

话题:C#语言 & 开发

在.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

C#语言 & 开发