15.2 RVWMO内存模型中的一些约束条件