12.3 读/改/写共享存储器上的一致性问题