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

作者：赵晓凯 孙鲁明存储一致性模型动态验证工具边界图算法时间序性能优化

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社