航空工业组织 swMATH ID: 23090 软件作者： 卢S、图斯克J、秦F、周Y 描述： AVIO：通过访问交织不变量检测原子性冲突。并发错误是所有软件错误中最难测试和诊断的错误之一。多核技术趋势加剧了这一问题。以前的大多数并发错误检测工作都集中于一个错误子类，即数据竞争，而忽略了许多其他重要的问题，如原子性冲突，由于事务内存模型的出现趋势，这些问题很快就会变得越来越重要，基于不变量的方法称为AVIO，用于检测原子性违规。我们的想法基于一个新的观察结果，称为访问交织不变量，这很好地表明了程序员对某些代码区域的原子性的假设。通过自动提取这些不变量并在运行时检测这些不变量的冲突，AVIO可以检测各种原子性冲突。基于这一思想，我们设计并构建了两个AVIO实现，并评估了它们之间的权衡。第一种实现AVIO-S纯粹是在软件中实现的，而第二种实现AVIO-H则需要对缓存一致性硬件进行一些简单的扩展。AVIO-S较AVIOH更便宜、更准确，但会产生更高的开销，因此会产生更多的运行时扰动。因此，AVIO-S更适合于内部错误检测和事后错误诊断，而AVIO-H可以用于生产运行期间的错误检测。我们使用大型现实世界服务器应用程序（Apache和MySQL）评估了AVIO的两个实现，其中包含六个代表性的真实原子性违规错误，以及SPLASH-2基准测试。我们的结果表明，AVIO检测到更多测试过的各种类型的原子性违规，平均误报率比以前的解决方案少25倍。 主页： http://ieeexplore.ieee.org/document/4205121/ 相关软件： 橡皮擦;j预测器;快速通道;国际象棋;Velodrome公司;雾化器;veriSoft软件;QuickLex公司;CloSpan公司;C触发器;BIDE公司;猎鹰;b拉链2mp;前缀跨度;金发姑娘;赛车X;CIL公司;爪哇格兰德;检查围栏;单轨 引用于： 5出版物 标准条款 1出版物描述软件 年份 AVIO：通过访问互留不变量检测原子性冲突鲁、珊；约瑟夫·塔克（Joseph Tucek）；秦凤；周元元 2007 全部的 前5名15位作者引用 2 王超 1 希曼舒·乔汉 1 阿扎德法尔赞 1 费伯，帕斯卡 1 克里斯托夫·费泽尔 1 马来K·加奈。 1 维杰·加格。 1 文森特·格拉莫利 1 阿尔蒂·古普塔 1 德林·哈曼奇 1 Sudipta昆都 1 利马耶·里希克什 1 帕塔萨拉西马杜苏丹 1 Mitra Tabaei Befrouei 1 乔治·威森巴赫 3篇连载文章中引用 1 计算的形式方面 1 并行与分布式计算杂志 1 系统设计中的形式化方法 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文