Goldilocks: Java Runtime

@inproceedings{Elmas2007GoldilocksJR,
  title={Goldilocks: Java Runtime},
  author={Tayfun Elmas and Shaz Qadeer and Serdar Taşiran},
  year={2007}
}
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking place, and allows race conditions to be handled before they cause errors that may be difficult to diagnose later. The DataRaceException is a valuable debugging tool, and, if supported with reasonable compu tational overhead, can be an important safety feature for deployed programs. Experiments by us and others on… CONTINUE READING

Similar Papers

Topics from this paper.

Citations

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

Data race detection on compressed traces

VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Ju l 2 01 8 Data Race Detection on Compressed Traces

VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers

  • 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER)
  • 2019
VIEW 1 EXCERPT
CITES BACKGROUND

Data Race Detection by Understanding Synchronization Relationships of Thread Segments

  • 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)
  • 2017
VIEW 1 EXCERPT
CITES METHODS

Dynamic Detection and Mitigation of DMA Races in MPSoCs

  • 2015 Euromicro Conference on Digital System Design
  • 2015
VIEW 1 EXCERPT
CITES METHODS

Automated formal analysis and verification: an overview

  • Int. J. General Systems
  • 2013
VIEW 2 EXCERPTS
CITES BACKGROUND & METHODS