volatile是怎么保证可见性和指令重排序的