WeHack BBS
[Gagallium] Xavier Leroy: 如何发现一个Skylake处理器的bug - 可打印的版本

+- WeHack BBS (https://bbs.wehack.space)
+-- 版块: 计算机技术 (https://bbs.wehack.space/forum-5.html)
+--- 版块: 网络技术与信息安全讨论区 (https://bbs.wehack.space/forum-7.html)
+--- 主题: [Gagallium] Xavier Leroy: 如何发现一个Skylake处理器的bug (/thread-318.html)



[Gagallium] Xavier Leroy: 如何发现一个Skylake处理器的bug - vimacs - 11-09-2021

http://gallium.inria.fr/blog/intel-skylake-bug/

这篇博文很有意思,开始是一个OCaml用户发现在他们的Skylake机器上跑程序出现了随机的异常,因此上报了这个bug给这篇博客的作者。这个bug只在特定的OCaml版本和使用GCC编译的OCaml运行时上出现。作者在排查了不同的可能出现异常的原因后,通过在出现问题的机器上运行不同个数的出现bug的程序,怀疑和超线程有关,并且在关闭了超线程的同一台Skylake机器上运行不再出现异常,确定了是超线程的问题。后来此bug再被其他用户复现,最终上报给Intel,5个月后Intel确认了此bug并推送了针对它的微码更新。