×

swMATH ID: 21723
软件作者: 克里斯托弗·利德伯里;阿拉斯泰尔·唐纳森。
描述: C++11的动态竞赛检测。与C/C++11内存模型相关的内存排序和同步的复杂规则意味着很难从并发程序中消除数据竞争。动态数据竞争分析可以精确定位大型复杂应用程序中的竞争,但用于C/C++的最先进的ThreadSanitizer(tsan)工具只考虑顺序一致的程序执行,并且不能正确建模C/C++11原子操作之间的同步。我们为C/C++11提供了一个可扩展的动态数据竞争分析,该分析可以正确捕获C/C++11同步,并使用工具支持对一类非顺序一致执行的探索。我们通过一个受限的公理语义简明地定义了我们的工具捕获的内存模型片段,并表明公理语义正好允许我们的工具所探索的那些执行。我们在tsan中实现了我们的分析,并在基准程序上评估了其有效性,从而可以与CDSChecker工具以及两个大型且高度并发的应用程序(Firefox和Chromium web浏览器)进行比较。我们的结果表明,我们的方法可以检测超出原始tsan工具范围的竞争,并且将我们的增强工具应用于大型应用程序的相关开销是可以接受的。
主页: https://dl.acm.org/citation.cfm?doid=3009837.3009857
关键词: C++11语言;并发;数据竞争;内存模型
相关软件: 螺纹消毒剂;多种族;CDS检查器;ktsan公司;继电器;洛克史密斯;金发姑娘;橡皮擦
引用于: 1文件

0连载引用

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文