Kard: lightweight data race detection with per-thread memory protection
Adil M. Ahmad, Sangho Lee, Pedro Fonseca, Byoungyoung Lee
Abstract
Finding data race bugs in multi-threaded programs has proven challenging. A promising direction is to use dynamic detectors that monitor the program’s execution for data races. However, despite extensive work on dynamic data race detection, most proposed systems for commodity hardware incur prohibitive overheads due to expensive compiler instrumentation of memory accesses; hence, they are not efficient enough to be used in all development and testing settings.
Topics & Concepts
Computer scienceThread (computing)Memory protectionOperating systemMemory managementVirtual memorySemiconductor memoryParallel Computing and Optimization TechniquesSecurity and Verification in ComputingRadiation Effects in Electronics