Detecting Data Races in Sequential Programs with DIOTA
Detecting Data Races in Sequential Programs with DIOTA
复制标题
使用 DIOTA 检测顺序程序中的数据争用
DOI：
10.1007/978-3-540-27866-5_11
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
K. D. Bosschere
中科院分区：
文献类型：
--
作者：
Michiel Ronsse;Jonas Maebe;K. D. Bosschere
在本文中，我们表明，数据竞争，一种类型的错误，通常只会造成严重破坏的并行程序，也可以发生在顺序程序中使用信号处理程序。幸运的是，事实证明，调整现有的数据竞争检测器来检测顺序程序的此类错误是简单的。我们提出了这样一个工具，我们描述了必要的修改，以检测顺序程序中的数据竞争。实验评估揭示了一些广泛使用的程序中的数据竞争。
In this paper we show that data races, a type of bug that generally only causes havoc in parallel programs, can also occur in sequential programs that use signal handlers. Fortunately, it turns out that adapting existing data race detectors to detect such bugs for sequential programs is straightforward. We present such a tool, and we describe the modifications that were necessary to detect data races in sequential programs. The experimental evaluation revealed a number of data races in some widely used programs.
DOI：
10.1007/3-540-44681-8
发表时间：
2001
期刊：
--
影响因子：
--
作者：
R. Sakellariou;J. Gurd;Len Freeman;J. Keane
通讯作者：
R. Sakellariou;J. Gurd;Len Freeman;J. Keane