Accelerating Dynamic Data Race Detection Using Static Thread Interference Analysis
Citations
241 citations
27 citations
Cites background or methods from "Accelerating Dynamic Data Race Dete..."
...During A :instrumentation (§4), for a multithreaded program Po, MUZZ firstly computes thread-aware interprocedural control flow graph (ICFG) and the code segments that are likely to interleave with others during execution [11,45], namely suspicious interleaving scope, in §4....
[...]
..., may-happen-in-parallel [11, 45]) or dynamic concurrency-bug detection algorithms (e....
[...]
...It is worth noting that line 15, although protected by m, may still happen-in-parallel [11, 45] with lines 10 and 11....
[...]
9 citations
7 citations
References
1,553 citations
"Accelerating Dynamic Data Race Dete..." refers background or methods in this paper
...Lockset-based algorithms attempt to detect inconsistent use of locks by different threads [37]....
[...]
...Most typical dynamic race detectors are based on two techniques: Lockset computation [37], Happens-Before (HB) ordering [9, 15], and a hybrid of these two [52, 50, 13, 32]....
[...]
1,424 citations
788 citations
"Accelerating Dynamic Data Race Dete..." refers background in this paper
...The problems caused by data races have motivated much work on detecting races via static [1, 5, 33, 49, 26, 14, 16] or dynamic analysis [13, 28, 48, 52]....
[...]
657 citations
"Accelerating Dynamic Data Race Dete..." refers methods in this paper
...The state-of-practice HB-based detector TSAN adopts improved FastTrack [15] to achieve the better performance....
[...]
...piler instrumentation module and a run-time library to perform dynamic detection algorithm similar to FastTrack[15]....
[...]
...Most typical dynamic race detectors are based on two techniques: Lockset computation [37], Happens-Before (HB) ordering [9, 15], and a hybrid of these two [52, 50, 13, 32]....
[...]
...It consists of a compiler instrumentation module and a run-time library to perform dynamic detection algorithm similar to FastTrack[15]....
[...]
...IFRit is faster than FastTrack, but may miss some races....
[...]
526 citations
"Accelerating Dynamic Data Race Dete..." refers background in this paper
...A number of studies have appeared, introducing a variety of advanced techniques for discovering interleaving information in a program [27, 26]....
[...]
...The problems caused by data races have motivated much work on detecting races via static [1, 5, 33, 49, 26, 14, 16] or dynamic analysis [13, 28, 48, 52]....
[...]