Localization of concurrency bugs using shared memory access pairs

Wenwen Wang, Zhenjiang Wang, Chenggang Wu, Pen Chung Yew, Xipeng Shen, Xiang Yuan, Jianjun Li, Xiaobing Feng, Yong Guan

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

6 Scopus citations

Abstract

We propose an effective approach to automatically localize buggy shared memory accesses that trigger concurrency bugs. Compared to existing approaches, our approach has two advantages. First, as long as enough successful runs of a concurrent program are collected, our approach can localize buggy shared memory accesses even with only one single failed run captured, as opposed to the requirement of capturing multiple failed runs in existing approaches. This is a significant advantage because it is more difficult to capture the elusive failed runs than the successful runs in practice. Second, our approach exhibits more precise bug localization results because it also captures buggy shared memory accesses in those failed runs that terminate prematurely, which are often neglected in existing approaches. Based on this proposed approach, we also implement a prototype, named Locon. Evaluation results on 16 common concurrency bugs show that all buggy shared memory accesses that trigger these bugs can be precisely localized by Locon with only one failed run captured.

Original languageEnglish (US)
Title of host publicationASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
PublisherAssociation for Computing Machinery, Inc
Pages611-621
Number of pages11
ISBN (Electronic)9781450330138
DOIs
StatePublished - Jan 1 2014
Event29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014 - Vasteras, Sweden
Duration: Sep 15 2014Sep 19 2014

Publication series

NameASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

Other

Other29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014
CountrySweden
CityVasteras
Period9/15/149/19/14

Keywords

  • Concurrency bug
  • Localization
  • Shared memory access pair

Fingerprint Dive into the research topics of 'Localization of concurrency bugs using shared memory access pairs'. Together they form a unique fingerprint.

Cite this