SRS:A Split-Range Shared Memory Consistency Model for Thousand-Core Processors

摘要：

　　A novel memory consistency model for thousand-core processors is presented.The model simplifies cache coherence for the full chip,and reduces cache design complexity.In addition,the model has the ability to describe the direct exchange of data on chip,thereby alleviating the off-chip memory bandwidth requirements.The paper gives a formal definition of the model,and proves that the model is sequentially consistent.All aspects of the definition are fully used in the process of proof,which means that there is no redundancy in the definition.Therefore,based on the split-range shared memory consistency model,a shared memory system can achieve high performance at low hardware cost.Meanwhile,the model is easy to be understood and used by programmers.

关键词： many-core processor memory system memory consistency model sequential consistency formal description

作者: Hui Lyu Fang Zheng Xianghui Xie

作者单位: State Key Laboratory of Mathematical Engineering and Advanced Computing,Wuxi

会议类型: 国际会议

会议名称: ACA,Advanced Computer Architecture(2014年全国计算机体系结构学术会议)

会议地点: 沈阳

会议语种:英文

页码: 31-42

在线出版日期: 2014-08-23（万方平台首次上网日期，不代表论文的发表时间）