Evaluation and comparison of ten data race detection techniques. (2017)

• Record Type: Journal Article
• Authors: Yu, Zhen; Yang, Zhen; Su, Xiaohong; Ma, Peijun
• Is Part Of: International journal of high performance computing and networking. Volume 10:Number 4/5(2017)
• Page Start: 279
• Page End: 288
• Publication Date: 2017
• Subjects: concurrent testing -- concurrency bugs -- data race detection -- lockset -- happens-before -- data race; High performance computing -- Periodicals; Computer networks -- Periodicals; High performance computing; Periodicals; 004.05
• Languages: English
• ISSNs: 1740-0562

Abstract

Many techniques for dynamically detecting data races in multithreaded programs have been proposed. However, it is unclear how these techniques compare in terms of precision, overhead and scalability. This paper presents an experiment to evaluate ten data-race detection techniques on 100 small-scale or middle-scale C/C++ programs. The selected ten techniques, implemented in the same Maple framework, cover not only the classical but also the state-of-the-art in dynamical data-race detection. We compare the ten techniques and try to give reasonable explanations for why some techniques are weaker or stronger than other ones. Evaluation results show that no one technique performs perfectly for all programs according to the three criteria. Based on the evaluation and comparison, we give suggestions of which technique is the most suitable one to use when the target program exhibits particular characteristics. Later researchers can also benefit from our results to construct a better detection technique.