×

航空工业组织

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

在1个字段中引用

5 计算机科学(68至XX)

按年份列出的引文