memory model

JDMM: A Java Memory Model for Non-cache-coherent Memory Architectures