从两个独立地址空间发起的对同一物理地址的atomic操作，是否会有效？

分析：atomic操作是ldrex/strex之类的指令，基于MESI或类MESI协议，
    而MESI对与cache一致性是基于物理地址实现(如invalid)，
    所以，如果两个独立地址空间中映射同一个地址，那么这个地址就应该可以被atomic