Abstract
Multi-threaded programs play an increasingly important role in current multi-core environments. Exposing concurrency bugs and debugging such multi-threaded programs have become quite challenging due to their inherent non-determinism. In order to eliminate such non-determinism, many approaches such as record-and-replay and other similar bug reproducing systems have been proposed. However, those approaches often suffer significant performance degradation because they require a large amount of recorded information and/or long analysis and replay time. In this paper, we propose an effective approach, ReCBuLC, to take advantage of the hardware clocks available on modern processors. The key idea is to reduce the recording overhead and analyzing events' global order by using time stamps recorded in each thread. Those timestamps are used to determine the global orders of shared accesses. To avoid the large overhead incurred in accessing system-wide global clock, we opt to use local per-core clocks that incur much less access overhead. We then propose techniques to resolve differences among local clocks and obtain an accurate global event order. By using per-core clocks, state-of-the-art bug reproducing systems such as PRES and CLAP can reduce the recording overheads by 1% 85%, and the analysis time by 84.66% 99.99%, respectively.
Original language | English (US) |
---|---|
Title of host publication | Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015 |
Publisher | IEEE Computer Society |
Pages | 824-834 |
Number of pages | 11 |
ISBN (Electronic) | 9781479919345 |
DOIs | |
State | Published - Aug 12 2015 |
Event | 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015 - Florence, Italy Duration: May 16 2015 → May 24 2015 |
Publication series
Name | Proceedings - International Conference on Software Engineering |
---|---|
Volume | 1 |
ISSN (Print) | 0270-5257 |
Other
Other | 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015 |
---|---|
Country/Territory | Italy |
City | Florence |
Period | 5/16/15 → 5/24/15 |
Bibliographical note
Publisher Copyright:© 2015 IEEE.
Keywords
- Bug reproducing
- Concurrency
- Local clock