当前位置:
X-MOL 学术
›
arXiv.cs.PL
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
C11Tester: A Race Detector for C/C++ Atomics Technical Report
arXiv - CS - Programming Languages Pub Date : 2021-02-16 , DOI: arxiv-2102.07901 Weiyu Luo, Brian Demsky
arXiv - CS - Programming Languages Pub Date : 2021-02-16 , DOI: arxiv-2102.07901 Weiyu Luo, Brian Demsky
Writing correct concurrent code that uses atomics under the C/C++ memory
model is extremely difficult. We present C11Tester, a race detector for the
C/C++ memory model that can explore executions in a larger fragment of the
C/C++ memory model than previous race detector tools. Relative to previous
work, C11Tester's larger fragment includes behaviors that are exhibited by ARM
processors. C11Tester uses a new constraint-based algorithm to implement
modification order that is optimized to allow C11Tester to make decisions in
terms of application-visible behaviors. We evaluate C11Tester on several
benchmark applications, and compare C11Tester's performance to both tsan11rec,
the state of the art tool that controls scheduling for C/C++; and tsan11, the
state of the art tool that does not control scheduling.
中文翻译:
C11Tester:用于C / C ++原子的种族探测器技术报告
在C / C ++内存模型下编写使用原子的正确并发代码非常困难。我们介绍了C11Tester,它是C / C ++内存模型的竞争检测器,与以前的竞争检测器工具相比,它可以在更大的C / C ++内存模型片段中探索执行。相对于以前的工作,C11Tester的较大片段包括ARM处理器表现出的行为。C11Tester使用新的基于约束的算法来实现修改顺序,该修改顺序经过了优化,以允许C11Tester根据应用程序可见的行为做出决策。我们在几个基准应用程序上评估C11Tester,并将C11Tester的性能与tsan11rec(用于控制C / C ++的最新工具)进行比较;tsan11,这是不控制计划的最新工具。
更新日期:2021-02-17
中文翻译:
C11Tester:用于C / C ++原子的种族探测器技术报告
在C / C ++内存模型下编写使用原子的正确并发代码非常困难。我们介绍了C11Tester,它是C / C ++内存模型的竞争检测器,与以前的竞争检测器工具相比,它可以在更大的C / C ++内存模型片段中探索执行。相对于以前的工作,C11Tester的较大片段包括ARM处理器表现出的行为。C11Tester使用新的基于约束的算法来实现修改顺序,该修改顺序经过了优化,以允许C11Tester根据应用程序可见的行为做出决策。我们在几个基准应用程序上评估C11Tester,并将C11Tester的性能与tsan11rec(用于控制C / C ++的最新工具)进行比较;tsan11,这是不控制计划的最新工具。