MODV存储一致性模型验证工具的性能优化

• 作者: 孙鲁明 赵晓凯
• 来源期刊: 计算机系统应用
• 关键词: 存储一致性模型 动态验证工具 边界图算法 时间序 性能优化
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 软件技术·算法
• 页码范围: 146-151
• 页数: 6页
• 字数: 5927字
• 语种: 中文

摘要

MODV是一个通用的存储一致性模型动态验证工具,该工具实现了基于时间序的边界图算法,具有较低的时间复杂度.为了进一步提高MODV工具的性能,我们采用了多种方法对算法进行了性能优化,使得MODV工具能够有效验证更大规模的并发访存操作.实验结果表明,和基准算法相比,我们的改进算法在性能方面有较大的提升.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵晓凯	中国科学院软件研究所	1	0	0.0	0.0
5	孙鲁明	中国科学院软件研究所	2	3	1.0	1.0