Computer Science – Programming Languages
Scientific paper
2011-07-11
Computer Science
Programming Languages
18 pages, 7 figures
Scientific paper
Data races can significantly affect the executions of multi-threaded programs. Hence, one has to recur the results of data races to deterministically replay a multi-threaded program. However, data races are concealed in enormous number of memory operations in a program. Due to the difficulty of accurately identifying data races, previous multi-threaded deterministic record/replay schemes for commodity multi-processor system give up to record data races directly. Consequently, they either record all shared memory operations, which brings remarkable slowdown to the production run, or record the synchronization only, which introduces significant efforts to replay. Inspired by the advances in data race detection, we propose an efficient software-only deterministic replay scheme for commodity multi-processor systems, which is named RacX. The key insight of RacX is as follows: although it is NP-hard to accurately identify the existence of data races between a pair of memory operations, we can find out all potential data races in a multi-threaded program, in which the false positives can be reduced to a small amount with our automatic false positive reduction techniques. As a result, RacX can efficiently monitor all potential data races to deterministically replay a multi-threaded program. To evaluate RacX, we have carried out experiments over a number of well-known multi-threaded programs from SPLASH-2 benchmark suite and large-scale commercial programs. RacX can precisely recur production runs of these programs with value determinism. Averagely, RacX causes only about 1.21%, 1.89%, 2.20%, and 8.41% slowdown to the original run during recording (for 2-, 4-, 8- and 16-thread programs, respectively). The soundness, efficiency, scalability, and portability of RacX well demonstrate its superiority.
Chen Tianshi
Chen Yunji
Guo Qi
Li Ling
No associations
LandOfFree
Efficient Deterministic Replay Using Complete Race Detection does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Efficient Deterministic Replay Using Complete Race Detection, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Efficient Deterministic Replay Using Complete Race Detection will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-137669