AdaptiveLock: Efficient Hybrid Data Race Detection Based on Real-World Locking Patterns

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 126
  • Download : 0
Among the various types of concurrency bugs, the data race is one of the primary causes of other concurrency bugs. Thus, it is important to detect as many data races as possible during the development step of multithreaded programs. A hybrid data race detection technique that uses the Lockset algorithm and happens-before relation, can detect actually occurred and hidden data races in one execution trace. However, high runtime slowdown obstructs the frequent use of hybrid detectors. In this paper, we empirically demonstrate that most data race bugs are caused by the absence of a lock, and that multiple locks are rarely involved in a data race bug in the real world. Thus, we propose a fast hybrid detection algorithm that does not introduce additional false positives and false negatives to the current hybrid detectors. The suggested algorithm replaces the lock-set intersection by a simple comparison operation that focuses on exploring data-race-prone locking patterns. The experimental results indicate that the proposed algorithm detects the same data races as Multilock-HB, which is the most accurate hybrid detector, with a 1.18x slowdown of FastTrack for eight large-scale benchmark programs.
Publisher
SPRINGER/PLENUM PUBLISHERS
Issue Date
2019-12
Language
English
Article Type
Article
Citation

INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, v.47, no.5-6, pp.805 - 837

ISSN
0885-7458
DOI
10.1007/s10766-018-0579-5
URI
http://hdl.handle.net/10203/268787
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0