| 
      
    
    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 PaperNo 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},} |