螺纹消毒剂 swMATH ID: 21727 软件作者: 帖木儿·伊斯霍德扎诺夫·康斯坦丁·塞雷布雷尼 描述: ThreadSanitizer:实际中的数据竞争检测。数据争用是一种特别令人讨厌的线程错误。它们很难找到和重现–您可能在整个测试周期中都没有发现错误,并且只会在生产中看到罕见的无法解释的故障。本文介绍了ThreadManitizer——一种数据竞赛的动态检测器。我们描述了检测器中使用的混合算法(基于happens-before和lockset)。我们引入了我们所说的动态注释——一种种族检测API,允许用户向检测器通知用户程序中任何棘手的同步。还讨论了在Google上使用ThreadSanitizer测试多线程C++代码的各种实际方面。 主页: https://dl.acm.org/citation.cfm?id=1791203 相关软件: 多种族;CDS检查器;ktsan公司;坦桑尼亚;继电器;洛克史密斯;金发姑娘;橡皮擦 引用于: 1文件 2位作者引用 1 阿拉斯泰尔·唐纳森。 1 克里斯托弗·利德伯里 0连载引用 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文