一种ARM存储模型的快速检测方法.PDFVIP

第 47 卷 第 6 期 西 安 交 通 大 学 学 报 Vol.47 No.6 2013 年 6 月 JOURNAL OF XI’AN JIAOTONG UNIVERSITY Jun. 2013 一种ARM 存储模型的快速检测方法 1 2,1 1 吕正 , 陈昊 , 陈峰 (1. 西北大学信息科学与技术学院, 710069, 西安; 2. 中国劳动关系学院高职学院, 100048, 北京) 摘要：针对 ARM 多核处理器存储模型正确性的快速检测问题，提出了一种利用时间序和悬空 窗口的有界特性的快速检测方法，并实现了检测工具。该方法给出了ARM 存储模型基于barrie