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

摘要：

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

关键词：存储一致性模型、动态验证工具、边界图算法、时间序、性能优化

所属期刊栏目：24

分类号：TP3;TN9

在线出版日期：2016-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：146-151