Chip Multithreaded Consistency Model
Chip Multithreaded Consistency Model
复制标题
芯片多线程一致性模型
DOI：
10.1007/s11390-008-9132-0
复制
发表时间：
2008-03
影响因子：
0.7
通讯作者：
中科院分区：
文献类型：
--
作者：
多线程技术是高性能处理器的发展趋势。内存一致性模型对多线程处理器的正确性、性能和复杂性至关重要。提出了一种适用于多线程处理器的芯片多线程一致性模型。提出并形式化了芯片多线程一致性对内存事件排序的约束。利用胡伟武提出的临界循环思想，我们证明了所提出的芯片多线程一致性模型满足顺序一致性模型正确执行的准则。芯片多线程一致性模型提供了一种相对于顺序一致性模型获得高性能的方法，并保证了软件在多线程处理器上的执行结果与在单处理器上的执行结果相同的兼容性。提出了龙芯2号SMT处理器中芯片多线程一致性模型的实现策略。龙芯2号SMT处理器基于每个线程的顺序内存访问队列，通过异常机制正确支持芯片多线程一致性模型。
Multithreaded technique is the developing trend of high performance processor. Memory consistency model is essential to the correctness, performance and complexity of multithreaded processor. The chip multithreaded consistency model adapting to multithreaded processor is proposed in this paper. The restriction imposed on memory event ordering by chip multithreaded consistency is presented and formalized. With the idea of critical cycle built by Wei-Wu Hu, we prove that the proposed chip multithreaded consistency model satisfies the criterion of correct execution of sequential consistency model. Chip multithreaded consistency model provides a way of achieving high performance compared with sequential consistency model and ensures the compatibility of software that the execution result in multithreaded processor is the same as the execution result in uniprocessor. The implementation strategy of chip multithreaded consistency model in Godson-2 SMT processor is also proposed. Godson-2 SMT processor supports chip multithreaded consistency model correctly by exception scheme based on the sequential memory access queue of each thread.
登录
查看更多内容
DOI：
10.1109/iccd.2006.4380860
发表时间：
2006-10
期刊：
2006 International Conference on Computer Design
影响因子：
--
作者：
Zusong Li;Xianchao Xu;Weiwu Hu;Zhimin Tang
通讯作者：
Zusong Li;Xianchao Xu;Weiwu Hu;Zhimin Tang
DOI：
10.1007/s12045-015-0242-z
发表时间：
2015-09
期刊：
Resonance
影响因子：
--
作者：
V. Arun
通讯作者：
V. Arun
DOI：
--
发表时间：
2002
期刊：
Intel Technology Journal
影响因子：
--
作者：
D. Marr
通讯作者：
D. Marr
DOI：
10.1109/cmpcon.1993.289730
发表时间：
1993-03
期刊：
Digest of Papers. Compcon Spring
影响因子：
--
作者：
B. Bershad;M. Zekauskas;W. Sawdon
通讯作者：
B. Bershad;M. Zekauskas;W. Sawdon
DOI：
10.1093/comjnl/45.3.320
发表时间：
2002
期刊：
Comput. J.
影响因子：
--
作者：
T. Ungerer;B. Robic;J. Silc
通讯作者：
T. Ungerer;B. Robic;J. Silc