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

第 1期 电 子 学 报 V0I．42 No．1 2014年 1月 Al：TAELECm 0NICA SINICA Jan． 2O14 一 种硬件事务存储系统中的事务嵌套处理方案 刘 轶，吴名瑜，王永会，钱德沛 (北京航空航天大学计算机学院中德联合软件研究所，北京 100191) 摘 要：事务存储是一种旨在改善多核处理器可编程住的技术，高效的事务嵌套处理是硬件事务存储系统面临 的挑战性问题之一 ．为了在不显著增加硬件复杂性的前提下实现高效的事务嵌套处理 ，提出了一种支持有条件部分回 滚的事务嵌套处理方案 CPR，该方案为各层嵌套事务维护统一的数据集合，通过增加少量硬件状态位以记录各层嵌套 事务对数据的读／写状态，实现了满足特定条件时事务进行部分回滚，在不显著增加硬件复杂性的前提下，提高了闭合 嵌套模型的处理效率 ．基于模拟器Simics与多核扩展包 GEMS进行 了模拟实验和性能评价，结果表明，CPR方案在复 杂性显著低于nestedLogTM的情况下，获得了与其基本一致的性能，同时性能相对于传统的扁平模型有显著提升． 关键词： 事务存储 ；多核处理器；可编程性；事务嵌套；部分回滚 中图分类号： TP302 文献标识码： A 文章编号： 0372．2112(2014)01—0130—07 电子学报URL：http：／／www．ei01lrrIa】．org．ca DOI：10．3969／j．issn．0372-2112．0214．01．021 SupportingTransactionNestinginHardwareTransactionalMemory LIUYi，WUMing-yu，WANGYong-hui，QraNDe-pei (Sino-GermanJoint Institute，SchoolofComputer，BeihangUniversity，＆ 增 100191，China) Abstract： Transactionalmemoryisallattractivetechnologytoimprove ojmm biⅡtyofmulti-coreprocessors．However， therestillexistchallengesfor~ardwaretransactionalmemoryincludingefficienttransactionnesting．Tosupportclosednestinge1_缸一 cienflywihtoutnicreasinghardwarecomplexitiessignificantly．thispaperproposesaCPR schemewhichsupportsconditionalpartial rollbackonconflict．Insteadofrollingbacktotheoutermosttransactionasincommonly-usedflatteningmodel，thea)Rschemeiust rollsbacktohteconflictedVansactino itselforoneofitsouter-leveltransactionsifgivenconditionissatisfied．Byaddingaseriesof hardwarebitsintransactionalbuffre torecordread／writestatusofeachnestedffansacfion．theCPRcshemeonlymaintainsaglobal datasetfro allofhtenestedtransactionsrahterthannidependentadtaestforeachnestedtransactionasinnestedLogTM ．Eval~tion resultsshow that