This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable Shared-memory MultiProcessor (***) at three levels of abstraction: the memory consistency model, ...
详细信息
This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable Shared-memory MultiProcessor (***) at three levels of abstraction: the memory consistency model, the cache coherence protocol, and the implementation.
暂无评论