Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct

@inproceedings{Clarke2015UsingA,
  title={Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct},
  author={David A. W. Clarke and Tim Miller and Antonette Mendoza},
  booktitle={ASWEC},
  year={2015}
}
The Java Memory Model (JMM) offers significant guarantees of sequentially consistent behaviour where concurrent access to shared data is regulated by synchronisation. Using the Java synchronized construct incurs high overheads. Using other light-weight protocols for synchronization is much cheaper, though more prone to error. We propose a static analysis approach to detecting race conditions in such Java programs. Our approach analyses the use of shared variables within programs, and summarises… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…