×

赛车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文件

按年份列出的引文