×

CTrigger公司

swMATH标识: 23066
软件作者: 苏州公园,山路,媛媛洲
说明: CTrigger:从隐藏的地方揭露违反原子性的错误。多核硬件使得并发程序变得无处不在。不幸的是,并发程序容易产生错误。在不同类型的并发错误中,原子违反错误是常见和重要的。现有的检测原子违反错误的技术有一个局限性:要求在被监视的运行期间显示错误,这是并发程序测试中的一个开放性问题。本文有两个贡献。首先,它研究了并发程序测试(即反复运行一个程序)中常见实践的交错特性,以理解为什么原子性违反错误很难暴露。第二,它建议CTrigger在大型程序中高效地暴露原子性违反错误。CTrigger专注于一种与原子性违反错误有内在关联的特殊类型的交错(即不可序列化的交错),并使用跟踪分析系统地识别(可能)发生概率较低的不可序列化交错。然后,CTrigger使用最小的执行扰动来执行低概率的交错,并暴露难以捕捉的原子性违反。我们使用来自4个服务器/桌面应用程序(Apache、MySQL、Mozilla和PBZIP2)和3个SPLASH2应用程序在8核机器上的真实原子性违规bug来评估CTrigger。CTrigger在1-235秒内有效地暴露出测试的bug,比压力测试快2到4个数量级。如果没有CTrigger,这些bug中的一些甚至在7天的压力测试后也不会显现出来。此外,如果没有确定性重放支持,一旦一个bug暴露出来,CTrigger可以帮助程序员可靠地复制它以进行诊断。我们测试过的bug大多在5秒内被CTrigger复制,比压力测试快300到60000倍。
主页: https://dl.acm.org/citation.cfm?id=1508249
相关软件: 拉塞克斯;拜德;克隆;阿维奥;国际象棋;猎鹰;快车道;bzip2smp公司;前缀span;金发姑娘;橡皮擦;佩内洛普;J预测器;ASM公司;QuickLex公司;乌姆德斯;电子稳定控制系统/Java;古洛比
参考文献: 3出版物

按年份引用出版物