一种硬件事务存储系统中的事务嵌套处理方案

摘要

事务存储是一种旨在改善多核处理器可编程性的技术,高效的事务嵌套处理是硬件事务存储系统面临的挑战性问题之一.为了在不显著增加硬件复杂性的前提下实现高效的事务嵌套处理,提出了一种支持有条件部分回滚的事务嵌套处理方案CPR,该方案为各层嵌套事务维护统一的数据集合,通过增加少量硬件状态位以记录各层嵌套事务对数据的读/写状态,实现了满足特定条件时事务进行部分回滚,在不显著增加硬件复杂性的前提下,提高了闭合嵌套模型的处理效率.基于模拟器Simics与多核扩展包GEMS进行了模拟实验和性能评价,结果表明,CPR方案在复杂性显著低于nested LogTM的情况下,获得了与其基本一致的性能,同时性能相对于传统的扁平模型有显著提升.