×

猎鹰

swMATH ID: 23088
软件作者: Park S、Vuduc RW、Harrold MJ
描述: Falcon:并发程序中的错误定位。并发错误很难找到,因为它们通常发生在特定的线程交错情况下。该领域的故障检测工具可以在线程交错中查找数据访问模式,但它们报告的是良性模式以及实际的故障模式。传统的错误缩放技术已成功地识别顺序、确定性程序中的错误,但它们无法检测线程之间的错误数据访问模式。本文提出了一种新的动态错误扩展技术,可以精确定位多线程并发程序中的错误数据访问模式。该技术监视线程之间的内存访问序列,检测与程序的通过/失败结果相关联的数据访问模式,并用可疑分数报告数据访问模式。本文还介绍了该技术在Java中的原型实现,以及我们在几个Java基准上对该原型进行的实证研究的结果。实证研究表明,该技术可以有效地为我们的研究对象定位错误。
主页: https://dl.acm.org/citation.cfm?id=1806838
相关软件: CloSpan公司;C触发器;BIDE公司;航空工业组织;国际象棋;快速通道;b拉链2mp;前缀跨度;金发姑娘;赛车X;橡皮擦;苏贝尔;阿达布;Daikon公司
引用于: 1出版物

在1个字段中引用

1 计算机科学(68至XX)

按年份列出的引文