Kris Wright 的文章
-
消除 Firefox 中的数据竞争 - 技术报告
我们成功地在 Firefox 项目中部署了 ThreadSanitizer,以消除我们剩余 C/C++ 组件中的数据竞争。在此过程中,我们发现了一些有影响力的错误,可以肯定地说,数据竞争对程序正确性的影响往往被低估了。我们建议所有多线程 C/C++ 项目采用 ThreadSanitizer 工具来提高代码质量。
我们成功地在 Firefox 项目中部署了 ThreadSanitizer,以消除我们剩余 C/C++ 组件中的数据竞争。在此过程中,我们发现了一些有影响力的错误,可以肯定地说,数据竞争对程序正确性的影响往往被低估了。我们建议所有多线程 C/C++ 项目采用 ThreadSanitizer 工具来提高代码质量。