ReCBuLC: Reproducing concurrency bugs using local clocks

Xiang Yuan, Chenggang Wu, Zhenjiang Wang, Jianjun Li, Pen Chung Yew, Jeff Huang, Xiaobing Feng, Yanyan Lan, Yunji Chen, Yong Guan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Scopus citations


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 languageEnglish (US)
Title of host publicationProceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015
PublisherIEEE Computer Society
Number of pages11
ISBN (Electronic)9781479919345
StatePublished - Aug 12 2015
Event37th IEEE/ACM International Conference on Software Engineering, ICSE 2015 - Florence, Italy
Duration: May 16 2015May 24 2015

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257


Other37th IEEE/ACM International Conference on Software Engineering, ICSE 2015

Bibliographical note

Publisher Copyright:
© 2015 IEEE.


  • Bug reproducing
  • Concurrency
  • Local clock


Dive into the research topics of 'ReCBuLC: Reproducing concurrency bugs using local clocks'. Together they form a unique fingerprint.

Cite this