Java之volatile如何保证可见性和指令重排序