A survey of race bug detection techniques for multithreaded programmes

Cited 12 time in webofscience Cited 0 time in scopus
  • Hit : 346
  • Download : 0
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 execution model, 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 operation block specification and/or data association 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.
Publisher
WILEY-BLACKWELL
Issue Date
2015-05
Language
English
Article Type
Article
Citation

SOFTWARE TESTING VERIFICATION & RELIABILITY, v.25, no.3, pp.191 - 217

ISSN
0960-0833
DOI
10.1002/stvr.1564
URI
http://hdl.handle.net/10203/200975
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 12 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0