快速通道 swMATH ID: 23086 软件作者: 弗拉纳根C,弗伦德SN 描述: FastTrack:高效精确的动态比赛检测。众所周知,多线程程序容易出现竞争情况。以前关于动态竞争检测器的工作包括报告错误警报的快速但不精确的竞争检测器,以及从不报告错误报警的缓慢但精确的竞争检测器。后者通常使用昂贵的矢量时钟操作,需要程序线程数的时间线性。本文利用了这样的见解:在大多数情况下,矢量时钟的全部通用性是不必要的。也就是说,我们可以用一种自适应的轻量级表示来代替重量级向量时钟,对于目标程序的几乎所有操作,这种表示只需要恒定的空间并支持恒定的时间操作。这种表示方式的更改大大提高了时间和空间性能,而不会降低精度。在包括Eclipse开发环境在内的Java基准测试上的实验结果表明,我们的FastTrack竞赛检测器比传统的矢量时钟竞赛检测器快一个数量级,大约是高性能DJIT+算法的两倍。在我们的Java基准测试中,FastTrack的速度甚至可以与橡皮擦媲美,但从不报告错误警报。 主页: https://dl.acm.org/citation.cfm?id=1542490 相关软件: 航空工业组织;金发姑娘;铁人舰队;常春藤;z3型;D匹配;dBug(分贝);SAMC公司;米哈;常春藤;github;MODIST公司;Coq公司;QuickLex公司;j预测器;坐浴盆;国际象棋;CloSpan公司;C触发器;猎鹰 引用于: 5文件 全部的 前5名16位作者引用 1 希曼舒·乔汉 1 维杰·加格。 1 拉希德·盖拉维 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 马查多,努诺 1 乔·卡洛斯·佩雷拉 1 豪尔赫·索萨·品托 1 Raghavan拉曼 1 维威克·萨卡尔 1 瓦苏·辛格 1 Mitra Tabaei Befrouei 1 Vechev,Martin T。 1 王超 1 乔治·威森巴赫 1 埃兰·雅哈夫 1 赵继生 连载1篇 三 系统设计中的形式化方法 在1个字段中引用 5 计算机科学(68至XX) 按年份列出的引文