JDMM: A Java Memory Model for Non-Cache-Coherent Memory Architectures

摘要

As the number of cores continuously grows, processor designers are considering non coherent memories as more scalable and energy efficient alternatives to the current coherent ones. The Java Memory Model (JMM) requires that all cores can access the Java heap. It guarantees sequential consistency for data-racefree programs and no out-of-thin-air values for non data-racefree programs. To implement the Java Memory Model over noncache-coherent and distributed architectures Java Virtual Machines (JVMs) are most likely to employ software caching.