synchronized、volatile，是如何解决共享变量内存可见性问题的？