Some docs and paper abour JMM(Java Memory Model)