写点什么

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

2015 年 7 月 29 日

来自 Stack Exchange 的开发者 Nick Craver 与 Marc Gravell 在.NET 4.6 中引入的 RyuJIT 编译器中发现了一个严重的 bug,.NET 4.6 会随着 Visual Studio 2015 一起安装,并且也预装在 Windows 10 操作系统中。Craver 和 Gravell 已经提交了这个 bug 的详细说明,他们追踪到问题的根源来自于 RyuJIT 在处理尾调用优化时的一个问题。这个问题产生的结果是“……我们所调用的方法没有获得所传入的参数”,正如他们所说,如果受到此问题影响的变量原本是用于处理重要的值,那么将因此造成严重的后果。

来自微软的 Matt Mitchell 对这个发现做出了回应,他提交了一个补丁(通过 pull request)以修复这个问题。有趣的是,有人发现这个问题本来已经被修复了,但在三天前(7 月 24 日)又被微软的另一位开发者撤消了。Craver 指出,这个 bug 的存在之所以不那么容易立即发现,是由于以下几点原因:

  • 这个问题只有在应用了代码优化之后才会出现,由于多数开发者与项目都是在 DEBUG 模式开发的,因此在本地环境中看不出来。
    • 这也意味着你只能在 RELEASE 模式下发现它,对于多数人来说,这就意味着它只存在于生产环境。
  • 一旦为进程附加了调试器就会改变它的行为,这几乎让这个问题完全隐形了。
  • 如果在代码中加入一句 Debug.WriteLine(),就很可能修复这个问题,因为尾调用的方式产生了变化。

有一个重要的提示:即使微软已经在 GitHub 代码库中接受了这个补丁,也不意味着这个问题就此结束了。对于已经安装了.NET 4.6 的用户来说,微软必须为他们提供新的二进制包。Craver 建议,如果开发者还没有在生产环境上部署.NET 4.6,那么请耐心等待打了补丁的安装包出现。而如果你已经安装了.NET 4.6(无论在哪一种环境中),Craver 建议你立即关闭 RyuJIT,并且通过一些概念验证式的代码告诉开发者如何进行操作。另外还有一个重要的提示,由于这个问题所影响的是RyuJIT 编译器,因此它同样会影响那些目标为较早版本的.NET 运行时。

微软的回应(更新于2015 年7 月28 日)

来自微软的Rich Lander 对于Craver 与Gravell 的报告进行了正式的回应,他在回应中提到这个bug 仅会影响64 位进程,而不会影响32 位进程。虽然Lander 表示他的团队目前并不认为这个问题会被人利用,但他们还是会将修复代码提交至发布流程中。

在Lander 的说明中,他也推荐在使用.NET Framework 4.6 的环境中关闭RyuJIT 的方式,直到补丁包出现为止。不过,考虑到故障检测不等人,最好还是先研究一下这个bug 是否确实对你的实际情况生产了影响,因为如果你的应用程序有什么异常的行为,也有可能是别的原因引起的。

根据Lander 的说明,F#的开发者最有可能遇到由这个bug 所引起的问题,因此应当尽量避免安装.NET 4.6,Lander 在文中给出了如何重现这个问题的C#与F#示例代码。微软目前还没有说明这个补丁的发布日期。

查看英文原文: Critical Bug Revealed in .NET 4.6’s RyuJIT Compiler

2015 年 7 月 29 日 08:181228
用户头像

发布了 428 篇内容, 共 151.8 次阅读, 收获喜欢 23 次。

关注

评论

发布
暂无评论
发现更多内容

如何通过技术面试?

escray

学习 面试 面试现场

DB-Engines 8 月数据库排名:Redis悄悄拔高,猛超Elasticsearch

华章IT

MySQL 数据库 redis Clickhouse SQL优化

Apache Pulsar 社区周报:08-08 ~ 08-14

Apache Pulsar

Apache Apache Pulsar 消息系统

免费开源看板软件Wekan安装与使用记录

emuqi

Docker 效率工具 wekan 看板 任务管理

辗转相除法求最大公约数(C语言实现)

InfoQ_3f366696ed0c

C语言

区块链在新冠病毒爆发中将加速发展

CECBC区块链专委会

区块链技术 供应链 食品追溯

Week 11 学习总结

Jeremy

局域网文件共享

冰糖雪梨多冰少糖

局域网共享 iPad air3 文件传输

区块链政策区域特征分明 产业园区渐成聚集效应

CECBC区块链专委会

区块链 新基建

firewalld 常用指令

wong

Firewalld

数据库快速迁移10亿级数据

架构师修行之路

高并发系统设计 数据库优化

Python中的bytes、str以及unicode区别

王坤祥

Python Python PEP

公司想要大龄程序员么?

escray

学习 面试现场

全站加速在互联网媒体应用上的最佳实践

阿里云Edge Plus

CDN

兄弟,不要偷看人家摄像头

我是程序员小贱

小白程序员成长之路-准备篇

桃夭十一里

盲打练习 在线打字

简单交互式页面的思考(C)

Alex

指针 C语言 交互设计

Week 11命题作业

Jeremy

STM32-ADC简单学习笔记

 

CentOS7 开启3306端口

暴躁小李K

Centos 7 Firewalld防火墙 Liunx

用python给女朋友做一个歌曲词云图

我是程序员小贱

特性预览:Apache 顶级项目 Apache Pulsar 2.6.1 版本即将发布

Apache Pulsar

Apache Apache Pulsar 消息系统

为什么考研,考研能给你带来什么?说说我的感受!

我是程序员小贱

架构设计篇之云计算服务设计与决策

小诚信驿站

云计算 刘晓成 企业架构和云服务 SaaS/IaaS/PaaS

学习笔记丨Makefile的基本编写与优化

Liuchengz.

c Linux makefile

搞一搞Elasticsearch

北漂码农有话说

迟到的"松鼠"

许学文

个人感悟

我是合适的人选么?

escray

学习 面试 面试现场

企业品尝新基建的美酒前,需要名为NetEngine 8000的酒杯

脑极体

对于结果不同程度的追求,决定了这个人的身价

非著名程序员

程序员 个人成长 思维模型 结果思维

四十不惑,准备面试

escray

学习 面试现场

.NET 4.6的RyuJIT编译器中发现严重的Bug-InfoQ