Kard: lightweight data race detection with per-thread memory protection
Adil M. Ahmad, Sangho Lee, Pedro Fonseca, Byoungyoung Lee · 2021
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.