内存可见性和禁止指令重排序