Engineering Journal: Science and InnovationELECTRONIC SCIENCE AND ENGINEERING PUBLICATION
Certificate of Registration Media number Эл #ФС77-53688 of 17 April 2013. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский
Article

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.