C触发器 swMATH ID: 23066 软件作者： Soyeon公园、山路、圆圆洲 描述： CTrigger：从隐藏位置暴露原子性违规错误。多核硬件使并发程序变得无处不在。不幸的是，并发程序容易出现错误。在不同类型的并发错误中，原子性冲突错误是常见且重要的。现有的检测原子性违规bug的技术有一个局限性：要求bug在受监控的运行期间显示出来，这是并发程序测试中的一个公开问题。本文有两个贡献。首先，它研究了并发程序测试（即反复运行程序）中常见实践的交错特性，以理解为什么原子性违规错误很难暴露。其次，它建议CTrigger有效地暴露大型程序中的原子违反错误。CTrigger专注于一种特殊类型的交织（即非序列化交织），这种交织与原子性违规bug有内在的关联，并使用跟踪分析系统地识别（可能）可行的、发生概率较低的非序列化交织。然后，CTrigger使用最小执行扰动来执行低概率交错，并暴露难以捕获的原子性冲突。我们使用8核机器上的四个服务器/桌面应用程序（Apache、MySQL、Mozilla和PBZIP2）和三个SPLASH2应用程序的实际原子性违规错误来评估CTrigger。CTrigger可以在1到235秒内有效地暴露测试的错误，比压力测试快2到4个数量级。如果没有CTrigger，即使经过7天的压力测试，其中一些错误也不会出现。此外，如果没有确定性重播支持，一旦错误被暴露，CTrigger可以帮助程序员可靠地重现它以进行诊断。CTrigger可以在5秒内重现我们测试过的错误，比压力测试快300到60000倍。 主页： https://dl.acm.org/citation.cfm？id=1508249 相关软件： 赛车X;潘尼洛普;j预测器;ASM公司;QuickLex公司;航空工业组织;国际象棋;CloSpan公司;BIDE公司;猎鹰;快速通道;b拉链2mp;前缀跨度;金发姑娘;橡皮擦;UMDES公司;电子稳定控制系统/Java;古罗比 引用于： 3出版物 全部的 前5名13位作者引用 1 张延忠 1 Cho，Hyoun Kyu先生 1 维杰·加格。 1 特伦斯·凯利 1 圣菲拉福顿 1 廖宏伟 1 斯科特·马勒克。 1 脊柱侧凸，Spyros A。 1 杰森·斯坦利 1 Mitra Tabaei Befrouei 1 王超 1 王寅 1 乔治·威森巴赫 2篇连载文章中引用 1 离散事件动态系统 1 系统设计中的形式化方法 在2个字段中引用 2 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的引文