Object Race Detection

Abstract

We present an on-the-fly mechanism that detects access conflicts in executions of multi-threaded Java programs. Access conflicts are a conservative approximation of data races. The checker tracks access information at the level of objects (object races) rather than at the level of individual variables. This viewpoint allows the checker to exploit specific… (More)
DOI: 10.1145/504282.504288

8 Figures and Tables

Topics

Statistics

0102030'03'05'07'09'11'13'15'17
Citations per Year

334 Citations

Semantic Scholar estimates that this publication has 334 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics