片上多核处理器存储一致性验证（副本）.pdf

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.21, No.4, April 2010, pp.863−874 doi: 10.3724/SP.J.1001.2010.03705 Tel/Fax: +86-10 © by Institute of Software , the Chinese Academy of Sciences . All rights reserved. ∗ 片上多核处理器存储一致性验证 1,2+ 1 1 3 1 王朋宇 , 陈云霁 , 沈海华 , 陈天石 , 张 珩 1( 中国科学院 计算技术研究所 计算机系统结构重点实验室,北京 100190) 2( 中国科学院 研究生院,北京 100049) 3( 中国科学技术大学 计算机科学技术系,安徽 合肥 230027) Memory Consistency Verification of Chip Multi-Processor 1,2+ 1 1 3 1 WANG Peng-Yu , CHEN Yun-Ji , SHEN Hai-Hua , CHEN Tian-Shi , ZHANG Heng 1(Key Laboratory of Computer System and Architecture, Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, China) 2(Graduate University, The Chinese Academy of Sciences, Beijing 100049, China) 3(Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China) + Corresponding author: E-mail: wangpengyu@ Wang PY, Chen YJ, Shen HH, Chen TS, Zhang H. Memory consistency verification of chip multi-processor. Journal of Software, 2010,21(4):863−874. /1000-9825/3705.htm Abstract : Memory consistency verification is an important part of functional validation of CMP (chip multi- processor). Since checking an execution of a parallel program against a memory consistency model is known to be an NP-hard problem, in practice, incomplete verification methods with higher than O(n3) time complexity are used to deal with memory consistency verification. In this paper, a l