×

多种族

swMATH ID: 21726
软件作者: 埃利·波兹尼安斯基(Eli Pozniansky),阿萨夫·舒斯特(Assaf Schuster)
描述: MultiRace:多线程C++程序中的高效实时数据竞争检测:研究文章。数据竞争检测对于调试多线程程序并确保其正确性至关重要。然而,由于数据竞赛检测问题在一般情况下计算困难,因此没有能够有效处理任务的单一通用技术。因此,所有当前可用的工具,当应用于某些通用案例程序时,通常会导致过多的错误警报或大量未检测到的竞争。许多当前可用工具的另一个主要缺点是,由于性能原因,它们仅限于固定大小的检测单元。因此,他们都面临着同样的问题——选择一个较小的单元可能会导致错过一些数据竞争,而选择一个较大的单元可能导致错误检测。我们提出了一种新的测试工具,称为MultiRace,它结合了Djit和Lockset的改进版本,这两种非常强大的实时算法用于动态检测明显的数据竞争。这两种扩展算法都检测可能在弱一致性系统上执行的多线程程序中的争用,并可能使用双向和全局同步原语。通过使用新技术,MultiRace将其检测调整为所检查程序中对象和变量的本机粒度。为了监控对每个共享位置的所有访问,MultiRace对程序的C++源代码进行了检测。它允许用户微调检测过程,但在其他方面是完全自动和透明的。本文描述了MultiRace中使用的算法,重点介绍了其实现问题,并提出了一些优化建议。它表明,MultiRace施加的开销通常比其他现有工具获得的开销小得多(数量级)。
主页: https://dl.acm.org/citation.cfm?id=1228969
相关软件: 螺纹消毒剂;CDS检查器;ktsan公司;;继电器;洛克史密斯;金发姑娘;橡皮擦
引用于: 1文件

0连载引用

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文