DIOTA
Detecting data races in sequential programs with DIOTA. 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.
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
Sorted by year (- Faes, Philippe; Bertels, Peter; Van Campenhout, Jan; Stroobandt, Dirk: Using method interception for hardware/software co-development (2009) ioport
- Danelutto, Marco (ed.); Laforenza, Domenico (ed.); Vanneschi, Marco (ed.): Euro-Par 2004, parallel processing. 10th international Euro-Par conference, Pisa, Italy, August 31 -- September 3, 2004. Proceedings. (2004)
- Ronsse, Michiel; Maebe, Jonas; De Bosschere, Koen: Detecting data races in sequential programs with DIOTA (2004)