Acculock: accurate and efficient detection of data races. (16th April 2012)

• Record Type: Journal Article
• Authors: Xie, Xinwei; Xue, Jingling; Zhang, Jie
• Is Part Of: Software, practice & experience. Volume 43:Number 5(2013)
• Page Start: 543
• Page End: 576
• Publication Date: 2012-04-16
• Subjects: Computer software -- Periodicals; Computer programming -- Periodicals; Computer programs -- Periodicals; 005.3
• DOI: 10.1002/spe.2121
• Languages: English
• ISSNs: 0038-0644

Abstract

<abstract abstract-type="main" id="spe2121-abs-0001"> <title>SUMMARY</title> <p id="spe2121-para-0001">This paper introduces a new dynamic data race detector, <sc>ACCULOCK</sc>, to detect data races in Java programs. <sc>ACCULOCK</sc> is the first hybrid detector that combines lockset and <italic>epoch‐based</italic> happens‐before for race detection. <sc>ACCULOCK</sc> analyzes a program execution by reasoning about the subset of the happens‐before relation observed with lock acquires and releases excluded, thereby making it less sensitive to thread interleaving than pure happens‐before detectors. When this relaxed happens‐before relation is violated, <sc>ACCULOCK</sc> applies a new lockset algorithm to verify the locking discipline by distinguishing reads and writes, thereby making it more immune to false positives than pure lockset detectors. In addition, <sc>ACCULOCK</sc> is designed to achieve these design objectives by maintaining comparable instrumentation overheads (in both time and space) to that of <sc>FASTTRACK</sc>, the fastest happens‐before detector available (at least for Java programs). All these properties of <sc>ACCULOCK</sc> have been validated and confirmed by comparing it against <sc>FASTTRACK</sc> and five other (pure happens‐before, pure lockset, or hybrid) detectors, which are implemented in the Jikes Research Virtual Machine using a collection of large benchmark programs from a variety of applications. Furthermore, porting <sc>ACCULOCK</sc> and <sc>FASTTRACK</sc> to a different platform, RoadRunner, and repeating our experiments yield similar observations in terms of their effectiveness in race detection and instrumentation overheads. Copyright © 2012 John Wiley & Sons, Ltd.</p> </abstract>