分析:atomic操作是ldrex/strex之類的指令,基于MESI或類MESI協定, 而MESI對與cache一緻性是基于實體位址實作(如invalid), 是以,如果兩個獨立位址空間中映射同一個位址,那麼這個位址就應該可以被atomic