一把锁的两种承诺：synchronized如何同时保证互斥与内存可见性？_并发编程_poemyang