Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation.

Xiaofei Liao,Minhao Lin,Long Zheng,Hai Jin,Zhiyuan Shao

DOI: https://doi.org/10.1109/TPDS.2018.2836899

IF: 5.3

2018-01-01

IEEE Transactions on Parallel and Distributed Systems

Abstract:Most of dynamic data race detection essentially relies on the underlying happens-before orders to yield the precise reports. They are notoriously prone to a prohibitively basic overhead. Although there exist a wealth of research advances that succeed in significantly reducing the analysis overhead on memory accesses, there remains an open problem in handling a great deal of fundamentally unscalabl...