A survey of race bug detection techniques for multithreaded programmes. (19th December 2014)

• Record Type: Journal Article
• Authors: Hong, Shin; Kim, Moonzoo; Farchi, Eitan; Hierons, Robert M.; Lourenço, João
• Is Part Of: Software testing, verification & reliability. Volume 25:Number 3(2015:Jul.)
• Page Start: 191
• Page End: 217
• Publication Date: 2014-12-19
• Subjects: Computer software -- Testing -- Periodicals; Computer software -- Verification -- Periodicals; Computer software -- Reliability -- Periodicals; 005.14
• DOI: 10.1002/stvr.1564
• Languages: English
• ISSNs: 0960-0833

Abstract

<abstract abstract-type="main" id="stvr1564-abs-0001"> <title>Summary</title> <p id="stvr1564-para-0001">As multithreaded programmes become popular to fully utilize multicore CPUs, many race bug detection techniques have been developed to find concurrency errors in multithreaded programmes effectively. Because these techniques have different views on target programme execution and detect race bugs of various types, it is difficult to characterize, compare and improve race bug detection techniques. This paper presents a formal <italic>execution model</italic>, which can uniformly represent various views of race bug detection techniques on target programme execution. Then, this paper classifies 43 race bug detection techniques according to their target race bugs. We classify race bugs on whether or not a bug violates <italic>operation block</italic> specification and/or <italic>data association</italic> specification. This survey provides researchers with a clear top‐down view of various race bug detection techniques. In addition, the concrete examples of various race bugs in this survey can help field engineers avoid race bugs in their multithreaded programmes. Copyright © 2014 John Wiley &amp; Sons, Ltd.</p> </abstract>