拉塞克斯

RacerX:有效的,静态检测比赛条件和死锁。本文描述了RacerX,一个静态工具,它使用流敏感的过程间分析来检测竞争条件和死锁。它被显式地设计为在大型、复杂的多线程系统中查找错误。它积极地推断检查信息,例如哪些锁保护哪些操作,哪些代码上下文是多线程的,哪些共享访问是危险的。它跟踪一组代码特性,用于将错误从最严重到最不严重排序。它使用新颖的技术来应对分析错误的影响。该工具速度快,需要2-14分钟来分析180万条线路系统。我们已经将它应用到Linux、FreeBSD和一个大型的商业代码库中,发现它们都存在严重的错误。RacerX是一个静态工具,它使用流敏感的过程间分析来检测竞争条件和死锁。它使用新的策略来推断检查信息,例如哪些锁保护哪些操作,哪些代码上下文是多线程的,哪些共享访问是危险的。我们将其应用到FreeBSD、Linux和一个大型商业代码库中,发现它们都存在严重的错误。

这个软件也是同行评审按日记帐汤姆斯.


zbMATH参考文献(16篇文章引用)

显示第1到16个结果,共16个。
按年份排序(引用)

  1. Mukherjee,Suvam;Kumar,Arun;D'Souza,Deepak:在RTOS内核中检测所有高级数据竞争(2017)
  2. Pun,Ka I;Steffen,Martin;Stolz,Volker:死锁检查的效应多态行为推断(2016)
  3. Stadtmüller,Kai;Sulzmann,Martin;Thiemann,Peter:synchronous mini-go的基于静态跟踪的死锁分析(2016)
  4. Tabaei Beforouei,Mitra;Wang,Chao;Weissenbacher,Georg:用于解释并发错误的跟踪的抽象和挖掘(2016)
  5. Krishnendu Chatterjee;De Alfaro,Luca;Faella,Marco;Majumdar,Rupak;Raman,Vishwanath:代码感知资源管理(2013)
  6. Lafortune,Stéphane;Wang,Yin;Reveliotis,Spyros:消除多线程软件中的并发错误:基于Petri网控制的方法(2013)
  7. Liao,Hongwei;Wang,Yin;Cho,Hyun Kyu;Stanley,Jason;Kelly,Terence;Lafortune,Stéphane;Mahlke,Scott;Reveiotis,Spyros:多线程软件中的并发错误:使用Petri网建模和分析(2013)
  8. Pun,Ka I.;Steffen,Martin;Stolz,Volker:锁处理行为效应系统的死锁检查(2012)
  9. 邱永昌;谢哲权;黄慈济;梁廷耀;朱国志:分布式共享存储系统并行程序开发与调试的数据竞赛避免与重放方案(2011)
  10. Donaldson,Alastair F.;Haller,Leopold;Krooning,Daniel:用轻量级静态分析加强基于归纳法的种族检查(2011)
  11. Donaldson,Alastair F.;Krooning,Daniel;Rümmer,Philipp:使用模型检查和(k)-归纳法自动分析DMA竞争(2011)
  12. Demeyer,Romain:支持声明性语言并发编程的程序分析(2010)
  13. Vojdani,Vesal:heap操纵C程序的静态数据竞争分析(2010)
  14. Wang,Chao;Yang,Yu;Gupta,Aarti;Gopalakrishnan,Ganesh:基于属性驱动修剪的动态模型检查以检测竞赛条件(2008)
  15. Sidiroglou,Stelios;Keromitis,Angelos D.:防止软件故障的执行事务:使用和评估(2006)ioport公司
  16. Sidiroglou,Stelios;Keromitis,Angelos D.:防止软件故障的执行事务:使用和评估(2006)ioport公司