JVM（二）---内存模型，可见性，指令重排序