本文已被：浏览 1527次 下载 2046次
Received:March 03, 2015 Revised:April 17, 2015
Received:March 03, 2015 Revised:April 17, 2015
中文摘要: MODV是一个通用的存储一致性模型动态验证工具,该工具实现了基于时间序的边界图算法,具有较低的时间复杂度.为了进一步提高MODV工具的性能,我们采用了多种方法对算法进行了性能优化,使得MODV工具能够有效验证更大规模的并发访存操作.实验结果表明,和基准算法相比,我们的改进算法在性能方面有较大的提升.
Abstract:MODV is a general purpose dynamic verification tool for memory consistency model. It implemented a time order based frontier algorithm, which has the lower time complexity. To achieve higher performance of MODV, we design and implement several accelerate strategies for its algorithm. The experimental results show that the performance of enhanced algorithm is better than the baseline algorithm.
keywords: memory consistency model dynamic verification tool frontier graph algorithm time order performance enhancement
文章编号： 中图分类号： 文献标志码：
基金项目:
引用文本：
赵晓凯,孙鲁明.MODV存储一致性模型验证工具的性能优化.计算机系统应用,2015,24(11):146-151
ZHAO Xiao-Kai,SUN Lu-Ming.Performance Enhancement of MODV Memory Consistency Model Verifitcation Tool.COMPUTER SYSTEMS APPLICATIONS,2015,24(11):146-151
赵晓凯,孙鲁明.MODV存储一致性模型验证工具的性能优化.计算机系统应用,2015,24(11):146-151
ZHAO Xiao-Kai,SUN Lu-Ming.Performance Enhancement of MODV Memory Consistency Model Verifitcation Tool.COMPUTER SYSTEMS APPLICATIONS,2015,24(11):146-151
