Abstract | ||
---|---|---|
Happens-before memory model (HMM) is used as the basis of Java memory model (JMM). Although HMM itself is simple, some complex axioms have to be introduced in JMM to prevent the causality loop, which causes absurd out-of-thin-air reads that may break the type safety and security guarantee of Java. The resulting JMM is complex and difficult to understand. It also has many anti-intuitive behaviors, as demonstrated by the “ugly examples” by Aspinall and Ševčík [1]. Furthermore, HMM (and JMM) specifies only what execution traces are acceptable, but says nothing about how these traces are generated. This gap makes it difficult for static reasoning about programs. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/s11704-015-4492-4 | Frontiers of Computer Science |
Keywords | Field | DocType |
relaxed memory model,happens-before,operatonal semantics,DRF-Guarantee,JMM | Programming language,Computer science,Axiom,Theoretical computer science,Memory model,Artificial intelligence,Operational semantics,Generative grammar,Hidden Markov model,Type safety,Java,Abstract machine,Machine learning | Journal |
Volume | Issue | ISSN |
10 | 1 | 2095-2228 |
Citations | PageRank | References |
2 | 0.39 | 13 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
yang zhang | 1 | 2 | 0.39 |
Xinyu Feng | 2 | 443 | 30.52 |