赛车X swMATH ID: 9941 软件作者: 恩格尔,D.,阿什克拉夫特,K 描述: RacerX:有效、静态地检测竞争条件和死锁。本文介绍了RacerX,这是一个静态工具,它使用流敏感的过程间分析来检测竞争条件和死锁。它被明确设计为在大型、复杂的多线程系统中查找错误。它积极推断检查信息,例如哪些锁保护哪些操作,哪些代码上下文是多线程的,以及哪些共享访问是危险的。它跟踪一组代码功能,用于将错误从最严重到最不严重进行排序。它使用新颖的技术来应对分析错误的影响。该工具速度很快,需要2-14分钟来分析180万线系统。我们已经将其应用于Linux、FreeBSD和大型商业代码库,发现所有代码中都存在严重错误。RacerX是一个静态工具,它使用流敏感的过程间分析来检测竞争条件和死锁。它使用新的策略推断检查信息,例如哪些锁保护哪些操作,哪些代码上下文是多线程的,以及哪些共享访问是危险的。我们将其应用于FreeBSD、Linux和一个大型商业代码库,发现其中都存在严重错误。 主页: http://dl.acm.org/citation.cfm?id=945468 相关软件: 橡皮擦;继电器;洛克史密斯;C触发器;电子稳定控制系统/Java;超小卫星;卫星抗体;刮擦;国际象棋;地精;私人运输公司;普里夫曼;CSSV公司;MOPS公司;CCured公司;任务检查器;罗斯林;UMDES公司;古罗比;加达拉 引用于: 16文件 全部的 前5名50位作者引用 2 阿拉斯泰尔·唐纳森。 2 丹尼尔·科宁 2 圣菲拉福顿 2 Ka I.潘。 2 脊柱侧凸,Spyros A。 2 马丁·斯特芬 2 沃尔克·斯托尔茨 2 王超 2 王寅 1 西迪·穆罕默德·贝拉希 1 艾哈迈德·博阿贾尼 1 克里希南德·查特吉 1 邱永昌 1 Cho,Hyoun Kyu先生 1 朱国智 1 卢卡·德·阿尔法罗 1 罗曼·德梅耶 1 迪帕克·D’Souza 1 米纳克什·D’Souza 1 康斯坦丁埃纳 1 马可·费拉 1 戈帕拉克里什南(Gopalakrishnan)、加内什·拉利塔(Ganesh Lalitha) 1 阿尔蒂·古普塔 1 阿什图什·古普塔 1 利奥波德·哈勒 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 Huang,慈济 1 特伦斯·凯利 1 Shuvendu Kumar拉希里 1 梁廷悦 1 廖宏伟 1 斯科特·马勒克。 1 鲁帕克·马朱姆达尔 1 Rekha R.派。 1 普拉卡什,普拉蒂巴 1 阿琼·拉德哈克利什纳 1 维什瓦纳斯·拉曼 1 菲利普·吕默 1 萨曼塔(Samanta,Roopsha) 1 谢长卿 1 阿布谢克·辛格 1 Kai Stadtmüller 1 杰森·斯坦利 1 马丁·苏尔兹曼 1 Mitra Tabaei Befrouei 1 托尔斯滕·塔拉赫 1 彼得·蒂曼。 1 维萨尔·沃达尼 1 乔治·威森巴赫 1 杨瑜(Yang,Yu) 全部的 前5名6篇连载文章中引用 4 系统设计中的形式化方法 1 并行计算 1 离散事件动态系统 1 逻辑与代数程序设计杂志 1 Tartuensis大学数学论文 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 15 计算机科学(68至XX) 1 系统论;控制(93至XX) 按年份列出的引文