Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation | IEEE Journals & Magazine | IEEE Xplore