LLVM-based Dynamic Race Condition Detection
Published: 02.04.2013
Authors: Kovega D.N., Krishchenko V.A.
Published in issue: #2(14)/2013
DOI: 10.18698/2308-6033-2013-2-549
Category: Information technology
Unsynchronized access to shared memory can introduce race conditions. Dynamic methods of detection of race conditions use virtual machine or code instrumentation for gathering runtime information. The authors propose a dynamic method with happened-before relation for detection races and limited history depth. The method was implemented for analysis programs in C and it uses LLVM to add instrumentation code in compile time. Experiments show that the implementation of the method add quite small overhead in analyzing program.