📚 网上馆配 · 在线荐购平台

内容简介：本书从基础概念入手，在介绍内存一致性与缓存连贯性的本质区别与内在联系的基础上，解析连续一致性(SC)、全存储排序(TSO)及松弛内存模型等主流内存模型的设计哲学与实现策略，并通过监听协议和目录协议详尽剖析缓存连贯性协议的设计空间、状态机模型及性能优化方法。最后拓展讨论异构系统(特别是GPU)的一致性挑战、形式化验证方法以及前沿研究方向。