• Computer Science
  • Published in
    Virtual Machine Research and…
    2004

Detecting Data Races Using Dynamic Escape Analysis Based on Read Barrier

@inproceedings{Nishiyama2004DetectingDR,
  title={Detecting Data Races Using Dynamic Escape Analysis Based on Read Barrier},
  author={Hiroyasu Nishiyama},
  booktitle={Virtual Machine Research and Technology Symposium},
  year={2004}
}
In multi-threaded programs, a data race results in extremely hard to locate bugs because of its nondeterministic behavior. This paper describes a novel dynamic data race detection method for object-oriented programming languages. The proposed method is based on the lockset algorithm. It uses read-barrier-based dynamic escape analysis for reducing number of memory locations that must be checked at runtime for detecting data races. We implemented the proposed data race detection method in… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 50 CITATIONS

Lightweight data race detection for production runs

VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Scalable Thread Sharing Analysis

  • Jeff Huang
  • Computer Science
  • 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE)
  • 2016
VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Software and Hardware Support for Data-Race Exceptions

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

ECOOP 2013 – Object-Oriented Programming

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

RaceTrack: efficient detection of data race conditions via adaptive tracking

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes

VIEW 2 EXCERPTS
CITES BACKGROUND & METHODS

FILTER CITATIONS BY YEAR

2005
2019

CITATION STATISTICS

  • 7 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 22 REFERENCES

Valgrind

  • J. Seward, N. Nethercote, J. Fitzhardinge
  • http://valgrind .kde.org/
  • 2003
VIEW 1 EXCERPT

and Robby

  • M. B. Dwyer, J. Hatcliff, V. R. Prasad
  • Exploiting Object Escape and Locking Information in Partial Order Reduction for Concurrent Object-Oriented Programs. Technical Report SAnToS-TR2003-1, SAnToS Laboratory, Kansas State University
  • 2003
VIEW 1 EXCERPT

Thread-local heaps for Java

VIEW 1 EXCERPT

Implementing Fast Java Monitors with Relaxed-Locks

  • David Dice
  • Computer Science
  • Java Virtual Machine Research and Technology Symposium
  • 2001
VIEW 1 EXCERPT

Object race detection

VIEW 2 EXCERPTS

R

  • J. D. Choi, K. Lee, A. Loginov
  • O’Callahan, V. Sarkar, and M. Sridharan. Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. In Proceedings of the Conference on Programming Language Design and Implementation
  • 2001
VIEW 2 EXCERPTS

Tutorial: Using Assure for Threads

  • KAI Software
  • http://www.intel.com/software/ products/assure/assuret_tutorial.pdf
  • 2001
VIEW 1 EXCERPT

Effective synchronization removal for Java

VIEW 1 EXCERPT