KDR:最近5年发现Linux内核数据竞赛列表

KDR 数据争用越来越多地被看作是并发性错误，并且它们很难在并行程序中重现和诊断。 Linux内核是一个并发密集型的大规模软件系统，其中包含由上万名程序员贡献的数百万行代码。 高线程级并行性和非确定性线程交织最容易出现竞争状况。 我们对最近5年间在Linux内核上报告的数据竞赛进行了彻底的调查。 通过查看内核Bug Tracker中的错误报告并研究Linux Kernel Organization中的内核源代码修订日志来进行调查。 结果表明，最近5年中已报告并修复了约500个内核数据争用，并且所有模块中的文件系统和驱动程序比其他模块具有更高的争用条件百分比。 根据我们的统计结果，还报告了多年来的种族分布，模块和内核版本。 我们对一些选定的数据竞赛进行了个案研究，并总结了4种数据竞赛模式。 致力于内核数据竞争检测和内核开发的研究人员和工程师应该对我们的分析结果感兴趣。 如果这对您有用，请