多处理器环境下的存储模型与缓存一致性协议的分析。