Helgrind+: An efficient dynamic race detector

  title={Helgrind+: An efficient dynamic race detector},
  author={Ali Jannesari and Kaibin Bao and Victor Pankratius and Walter F. Tichy},
  journal={2009 IEEE International Symposium on Parallel & Distributed Processing},
Finding synchronization defects is difficult due to non-deterministic orderings of parallel threads. Current tools for detecting synchronization defects tend to miss many data races or produce an overwhelming number of false alarms. In this paper, we describe Helgrind+, a dynamic race detection tool that incorporates correct handling of condition variables and a combination of the lockset algorithm and happens-before relation. We compare our techniques with Intel Thread Checker and the original… CONTINUE READING
Highly Cited
This paper has 62 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 39 extracted citations

Towards Providing Low-Overhead Data Race Detection for Large OpenMP Applications

2014 LLVM Compiler Infrastructure in HPC • 2014
View 4 Excerpts
Highly Influenced

Hardware and Software: Verification and Testing

Lecture Notes in Computer Science • 2013
View 10 Excerpts
Highly Influenced

LOFT: Redundant Synchronization Event Removal for Data Race Detection

2011 IEEE 22nd International Symposium on Software Reliability Engineering • 2011
View 12 Excerpts
Highly Influenced

SWORD: A Bounded Memory-Overhead Detector of OpenMP Data Races in Production Runs

2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS) • 2018
View 3 Excerpts
Highly Influenced

SDA-CLOUD: A Multi-VM Architecture for Adaptive Dynamic Data Race Detection

IEEE Transactions on Services Computing • 2017
View 5 Excerpts
Highly Influenced

Lock Trace Reduction for Multithreaded Programs

IEEE Transactions on Parallel and Distributed Systems • 2013
View 5 Excerpts
Highly Influenced

[Research Paper] POI: Skew-Aware Parallel Race Detection

2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM) • 2018
View 3 Excerpts

62 Citations

Citations per Year
Semantic Scholar estimates that this publication has 62 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 23 references

The PARSEC benchmark suite: Characterization and architectural implications

2008 International Conference on Parallel Architectures and Compilation Techniques (PACT) • 2008
View 13 Excerpts
Highly Influenced

Helgrind: a data-race detector

2007. [Online]. Available: http://valgrind.org/docs/manual/hgmanual.html • 2007
View 5 Excerpts
Highly Influenced

Hybrid dynamic data race detection

View 5 Excerpts
Highly Influenced

Data-race-test:test suite for helgrind, a data race detector

2008. [Online]. Available: http://code.google.com/p/data-race-test/ • 2008
View 2 Excerpts

Glib reference manual

G. D. Library
2008. [Online]. Available: http://library.gnome.org/devel/glib/ • 2008
View 1 Excerpt

Similar Papers

Loading similar papers…