A survey of race bug detection techniques for multithreaded programmes. (19th December 2014)
- Record Type:
- Journal Article
- Title:
- A survey of race bug detection techniques for multithreaded programmes. (19th December 2014)
- Main Title:
- A survey of race bug detection techniques for multithreaded programmes
- Authors:
- Hong, Shin
Kim, Moonzoo
Farchi, Eitan
Hierons, Robert M.
Lourenço, João - 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 & Sons, Ltd.</p> </abstract>
- Is Part Of:
- Software testing, verification & reliability. Volume 25:Number 3(2015:Jul.)
- Journal:
- Software testing, verification & reliability
- Issue:
- Volume 25:Number 3(2015:Jul.)
- Issue Display:
- Volume 25, Issue 3 (2015)
- Year:
- 2015
- Volume:
- 25
- Issue:
- 3
- Issue Sort Value:
- 2015-0025-0003-0000
- 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 - Journal URLs:
- http://onlinelibrary.wiley.com/ ↗
- DOI:
- 10.1002/stvr.1564 ↗
- Languages:
- English
- ISSNs:
- 0960-0833
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 8321.457500
British Library DSC - BLDSS-3PM
British Library STI - ELD Digital store - Ingest File:
- 4206.xml