Use this resource - and many more! - in your textbook!
AcademicPub holds over eight million pieces of educational content for you to mix-and-match your way.
DRACULA: Detector of Data Races in Signals Handlers
By: Ohsuga, S.; Gondow, K.; Tahara, T.;
2008 / IEEE / 978-0-7695-3446-6
This item was taken from the IEEE Conference ' DRACULA: Detector of Data Races in Signals Handlers ' Data races can occur even in sequential programs due to asynchronous software interrupts (e.g., UNIX signals). In this paper, we propose and implement a new tool DRACULA that dynamically detects data races caused by UNIX signals. DRACULA has many positive characteristics like full-automation, no source code required, high scalability, and synchronization mechanism independence, which make DRACULA highly practical. Our preliminary evaluation of applying DRACULA on SPARC and IA32 platforms to Bash-3.0, consisting of around 89 KLOC in C code, produced promising results; the rates of false-positives are very low (2.6% and 7.0%) and DRACULA automatically reported 3 actual data races in Bash-3.0.
Data Races Detector
Asynchronous Software Interrupts
National Electric Code
/proc File Systems