JMM是如何解决原子性&可见性&有序性问题