单轨 swMATH ID: 9883 软件作者： 凯特林·萨多夫斯基；斯蒂芬·弗伦德（Stephen N.Freund）；科马克·弗拉纳根 描述： SingleTrack：多线程程序的动态确定性检查器。多线程程序容易因并发线程之间的意外干扰而导致错误。本文重点验证确定性并行代码是否不存在此类线程干扰错误。确定性并行代码可以通过fork和join创建和使用新线程，并使用同步原语（如屏障和信号量）协调它们的行为。然而，这样的代码不满足原子性（或序列化性）的传统非干涉属性，因此现有的原子性工具不足以检查确定性并行代码。我们为确定性并行代码引入了一种新的无干扰规范，并提出了一种动态分析来实施它。我们还描述了SingleTrack，这是该分析的原型实现。SingleTrack的性能与以前的原子性检查器相比具有竞争力，但它产生的虚假警告要少得多，因为它强制实施了更通用的非干扰属性，适用于更多软件。 主页： http://link.springer.com/chapter/10.1007/978-3642-00590-9_28 相关软件： 雾化器;Velodrome公司;烟尘;西尔克;CIL公司;爪哇格兰德;橡皮擦;github;JavaScript脚本;快速通道;任务检查器;航空工业组织;国际象棋;检查围栏;CBMC公司;Java PathFinder;veriSoft软件;CapoOne公司;剑道;剑麻 引用于： 6出版物 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 SingleTrack：多线程程序的动态确定性检查程序。 Zbl 1234.68066号凯特琳·萨多夫斯基;斯蒂芬·弗伦德（Stephen N.Freund）。;科马克·弗拉纳根 2009 全部的 前5名18位作者引用 2 马来K·加奈。 2 阿尔蒂·古普塔 2 利马耶·里希克什 2 Raghavan拉曼 2 维威克·萨卡尔 2 Vechev，Martin T。 2 王超 2 埃兰·雅哈夫 1 艾哈迈德·博阿贾尼 1 迈克尔·埃米 1 康斯坦丁·埃纳 1 科马克·弗拉纳根 1 斯蒂芬·尼尔（Stephen Neal Freund） 1 Sudipta昆都 1 布尔库·库拉希奥格鲁·奥兹坎 1 凯特琳·萨多夫斯基 1 塞尔达尔·塔西兰 1 赵继生 2篇连载文章中引用 1 计算的形式方面 1 系统设计中的形式化方法 在1个字段中引用 6 计算机科学（68至XX） 按年份列出的引文