一道大题决定去留：为什么synchronized无法禁止指令重排，却能保证有序性？