继电器 swMATH ID: 20225 软件作者： Voung，J.W.，Jhala，R.，Lerner，S。 描述： 中继：数百万行代码上的静态竞争检测。当多个线程即将访问同一块内存，并且其中至少有一个访问是写操作时，就会发生数据争用。这种竞争可能导致难以重现的错误，这些错误需要花费大量时间进行调试和修复。我们提出了RELAY，这是一种静态和可扩展的竞争检测分析，其中不稳定被模块化为几个源。我们描述了使用RELAY在Linux内核中查找数据竞争的分析和实验结果，Linux内核包含大约450万行代码。 主页： http://dl.acm.org/citation.cfm？id=1287654 相关软件： 橡皮擦；洛克史密斯；赛车X；地精；麦克帕托姆；ChibiOS公司；免费实时操作系统；ArduPilot公司；ESBMC公司；螺纹加工工；Flix公司；阿斯特里；线程化器；多种族；CDS检查器；ktsan公司；坦桑尼亚；金发姑娘；布吉；基利姆 引用于： 6文件 全部的 前5名15位作者引用 2 维萨尔·沃达尼 1 安德里亚诺夫，P.S。 1 卡默·阿皮尼 1 阿拉斯泰尔·唐纳森。 1 迪帕克·D’Souza 1 米纳克什·D’Souza 1 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 1 阿尔蒂·古普塔 1 克里斯托弗·利德伯里 1 Rekha R.派。 1 普拉卡什，普拉蒂巴 1 阿披实·辛格 1 瓦尔莫·维尼 1 王超 1 杨瑜（Yang，Yu） 4篇连载文章中引用 1 编程和计算机软件 1 系统设计中的形式化方法 1 塔尔图大学数学学位论文 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 6 计算机科学（68至XX） 按年份列出的引文