- Abstract:
-
In this paper, we report on our experiment, which shows that Sun's Java Virtual Machine, the Hotspot JVM, does not conform with the current Java Language Specification, namely with the Java Memory Model (JMM). Although we have not been able to observe a behaviour that is forbidden by the JMM directly, we show that the Hotspot JVM produces code that can lead to such behaviour.
- Copyright:
- 2008 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- No links available
- Bibtex format
- @Misc{EDI-INF-RR-1252,
- author = {
Jaroslav Sevcik
},
- title = {The Sun Hotspot JVM does not conform with the Java Memory Model},
- year = 2008,
- month = {Apr},
- }
|