×

在设计灵活的事务性内存支持时实现权衡。 (英语) Zbl 1233.68169号

摘要:我们介绍了FlexTM(灵活事务内存),这是一个高性能的TM框架,它允许软件确定何时(急切地、延迟地或以混合方式)以及如何管理冲突,同时使用硬件来管理事务状态和跟踪冲突。FlexTM协调四种解耦的硬件机制:读写签名,总结了每线程访问集;每线程冲突摘要表(CST),用于标识发生冲突的处理器;可编程数据隔离,在本地缓存中缓冲推测性更新,并使用溢出表处理无限更新;和alert-on-update,当另一个处理器写入指定位置时,它会立即通知线程。CST支持基于STM的提交协议,该协议以分散的方式(无全局仲裁)管理冲突,并允许并行提交。

MSC公司:

第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] C.S.Ananian、K.Asanovic、B.C.Kuszmaul、C.E.Leiserson、S.Lie,《无限事务记忆》,摘自:Proc。第11届国际交响乐团。《高性能计算机体系结构》,加利福尼亚州旧金山,2005年2月,第316-327页。
[2] L.Baugh,N.Neelakantan,C.Zilles,《使用硬件内存保护构建高性能、强原子混合事务内存》,摘自:Proc。第35届国际交响乐团。《计算机体系结构》,中国北京,2008年6月。
[3] Bloom,B.H.:具有允许错误的散列编码中的时空权衡,《ACM通信》13,第7期,422-426(1970)·兹比尔0195.47003 ·数字对象标识代码:10.1145/362686.3692
[4] 布伦德尔,C。;Lewis,E.C。;Martin,M.M.K.:事务内存原子语义的精髓,IEEE计算机体系结构信函5,第2期(2006)
[5] J.Bobba、K.E.Moore、H.Volos、L.Yen、M.D.Hill、M.M.Swift、D.A.Wood,《硬件事务性内存中的性能病理学》,摘自:Proc。第34届国际交响乐团。《计算机体系结构》,加州圣地亚哥,2007年6月,第32-41页。
[6] J.Bobba,N.Goyal,M.D.Hill,M.M.Swift,D.A.Wood,TokenTM:使用硬件事务内存高效执行大型事务,见:Proc。第35届国际交响乐团。《计算机体系结构》,中国北京,2008年6月。
[7] L.Ceze,J.Tuck,C.Cascaval,J.Torrellas,《多处理器中推测线程的批量消歧》,摘自:Proc。第33届国际交响乐团。《计算机体系结构》,马萨诸塞州波士顿,2006年6月。
[8] L.Ceze,J.Tuck,P.Montesinos,J.Torrellas,BulkSC:顺序一致性的批量强制执行,摘自:Proc。第34届国际交响乐团。《计算机体系结构》,加利福尼亚州圣地亚哥,2007年6月。
[9] H.Chafi,J.Casper,B.D.Carlstrom,A.McDonald,C.Cao Minh,W.Baek,C.Kozyrakis,K.Olukotun,《事务性内存的可扩展非阻塞方法》,摘自:Proc。第13届国际交响乐团。《高性能计算机体系结构》,亚利桑那州凤凰城,2007年2月。
[10] W.Chuang,S.Narayanasamy,G.Venkatesh,J.Sampson,M.V.Biesbrock,G.Pokam,B.Calder,O.Colavin,《基于页面的无限事务内存》,收录于:Proc。第12届编程语言和操作系统架构支持国际会议,加州圣何塞,2006年10月,第347-358页。
[11] J.Chung、C.Cao Minh、A.McDonald、T.Skare、H.Chafi、B.D.Carlstrom、C.Kozyrakis、K.Olukotun,《事务内存虚拟化的权衡》,摘自:Proc。第十二届编程语言和操作系统体系结构支持国际会议,加利福尼亚州圣何塞,2006年10月,第371–381页·Zbl 1119.68041号
[12] L.Dalesandro,M.L.Scott,强隔离是一个薄弱的想法,见:第四届ACM SIGPLAN事务计算研讨会,罗利,北卡罗来纳州,2009年2月。
[13] P.Damron、A.Fedorova、Y.Lev、V.Luchangco、M.Moir、D.Nussbaum,《混合事务内存》,摘自:Proc。2006年10月在加利福尼亚州圣何塞市举行的第十二届国际编程语言和操作系统体系结构支持大会。
[14] D.Dice,O.Shalev,N.Shavit,事务锁定II,in:Proc。第20届国际学术研讨会。《分布式计算》,瑞典斯德哥尔摩,2006年9月,第194-208页。
[15] 弗雷泽,K。;Harris,T.:无锁并发编程,计算机系统上的ACM事务25,第2期(2007年)
[16] J.Friedrich、B.McCredie、N.James、B.Huott、B.Curran、E.Fluhr、G.Mittal、E.Chan、Y.Chan、D.Plass、S.Chu、H.Le、L.Clark、J.Ripley、S.Taylor、J.Dilullo、M.Lanzerotti,《Power6微处理器的设计》,摘自:Proc。国际固态电路会议,加利福尼亚州旧金山,2007年2月,第96-97页。
[17] J.R.Goodman,多处理器虚拟地址缓存的一致性,摘自:Proc。第二届国际编程语言和操作系统体系结构支持大会,1987年10月,第72-81页。
[18] R.Guerraoui,M.Kapaĺka,J.Vitek,STMBench7:软件事务性内存的基准,见:Proc。2007年3月,第二届欧洲系统大会在葡萄牙里斯本举行。
[19] L.Hammond,V.Wong,M.Chen,B.Hertzberg,B.Carlstrom,M.Prabhu,H.Wijaya,C.Kozyrakis,K.Olukotun,《交易记忆连贯性和一致性》,摘自:Proc。第31届国际交响乐团。《计算机体系结构》,2004年6月,德国慕尼黑。
[20] M.Herlihy,V.Luchangco,M.Moir,W.N.Scherer III,《用于动态大小数据结构的软件事务内存》,摘自:Proc。第22交响乐团。《分布式计算原理》,马萨诸塞州波士顿,2003年7月,第92-101页。
[21] M.Herlihy,J.E.Moss,《事务内存:无锁数据结构的架构支持》,摘自:Proc。第20届国际交响乐团。计算机体系结构,加利福尼亚州圣地亚哥,1993年5月。扩展版为CRL 92/07,DEC剑桥研究实验室,1992年12月。
[22] M.D.Hill,D.Hower,K.E.Moore,M.M.Swift,H.Volos,D.A.Wood,解构硬件事务性内存系统的案例,技术报告1594,威斯康星大学麦迪逊分校计算机科学系,2007年。
[23] S.Kumar、M.Chu、C.J.Hughes、P.Kundu、A.Nguyen,《混合事务记忆》,摘自:Proc。第11交响乐团。《并行编程原理与实践》,纽约州纽约市,2006年3月。
[24] Larus,J.R。;Rajwar,R.:事务性记忆(2007)
[25] J.Laudon,D.Lenoski,《SGI起源:ccNUMA高可伸缩服务器》,摘自:Proc。第24届国际交响乐团。《计算机体系结构》,科罗拉多州丹佛,1997年6月。
[26] Y.Lev,J.-W.Maessen,《分割硬件事务:使用最佳硬件事务内存实现事务的真正嵌套》,摘自:Proc。第13届ACM交响乐团。《并行编程原理与实践》,犹他州盐湖城,2008年2月。
[27] V.J.Marathe、W.N.Scherer III、M.L.Scott,《自适应软件事务内存》,摘自:Proc。第19届国际交响乐团。分布式计算,2005年9月,波兰克拉科夫。
[28] V.J.Marathe、M.F.Spear、C.Heriot、A.Acharya、D.Eisenstat、W.N.Scherer III、M.L.Scott,《降低软件事务性内存的开销》,摘自:Proc。2006年6月于加拿大安大略省渥太华市举行的第一届ACM SIGPLAN交易计算研讨会。扩展版为TR 893,罗切斯特大学计算机科学系,2006年3月。
[29] M.M.K.Martin、D.J.Sorin、B.M.Beckmann、M.R.Marty、M.Xu、A.R.Alameldeen、K.E.Moore、M.D.Hill、D.A.Wood,Multifacet的通用执行驱动多处理器模拟器(GEMS)工具集,载于:ACM SIGARCH Computer Architecture News,2005年9月。
[30] C.Cao Minh、M.Trautmann、J.Chung、A.McDonald、N.Bronson、J.Casper、C.Kozyrakis、K.Olukotun,《具有强隔离保证的有效混合事务存储系统》,摘自:Proc。第34届国际交响乐团。《计算机体系结构》,加利福尼亚州圣地亚哥,2007年6月。
[31] K.E.Moore、J.Bobba、M.J.Moravan、M.D.Hill、D.A.Wood,《LogTM:基于日志的事务性内存》,摘自:Proc。第十二届国际交响乐团。《高性能计算机体系结构》,德克萨斯州奥斯汀,2006年2月。
[32] R.Rajwar,M.Herlihy,K.Lai,虚拟化事务内存,摘自:Proc。第32届国际交响乐团。《计算机体系结构》,威斯康星州麦迪逊,2005年6月。
[33] B.Saha,A.-R.Adl-Tabatabai,R.L.Hudson,C.Cao Minh,B.Hertzberg,McRT-STM:多核运行时的高性能软件事务内存系统,见:Proc。第11交响乐团。《并行编程原理与实践》,美国纽约,2006年3月。
[34] N.Sakran、M.Yuffe、M.Mehalel、J.Doweck、E.Knoll、A.Kovacs,《65 nm双核64b merom处理器的实现》,摘自:Proc。国际固态电路会议,加利福尼亚州旧金山,2007年2月。
[35] D.Sanchez,L.Yen,M.D.Hill,K.Sankaralingam,《为事务性内存实现签名》,摘自:Proc。第40届国际交响乐团。《微体系结构》,伊利诺伊州芝加哥,2007年12月。
[36] W.N.Scherer III,M.L.Scott,动态软件事务内存的高级争用管理,在:Proc。第24届ACM交响乐团。《分布式计算原理》,内华达州拉斯维加斯,2005年7月。
[37] W.N.Scherer III,M.L.Scott,STM竞争管理中的随机化(海报纸),摘自:Proc。第24届ACM交响乐团。《分布式计算原理》,内华达州拉斯维加斯,2005年7月。
[38] M.L.Scott,事务内存语义的顺序规范,见:第一届ACM SIGPLAN事务计算研讨会,加拿大安大略省渥太华,2006年6月。
[39] A.Shrraman、M.F.Spear、H.Hossain、S.Dwarkadas、M.L.Scott,《灵活事务内存的集成硬件-软件方法》,摘自:Proc。第34届国际交响乐团。《计算机体系结构》,加利福尼亚州圣地亚哥,2007年6月。更早但扩展的版本为TR 910,罗切斯特大学计算机科学系,2006年12月。
[40] A.Shriraman、S.Dwarkadas和M.L.Scott,《灵活解耦事务内存支持》,摘自:Proc。第35届国际交响乐团。《计算机体系结构》,中国北京,2008年6月。扩展版可用作TR 925,URCS,2007年11月·Zbl 1233.68169号
[41] A.Shrraman,S.Dwarkadas,硬件事务内存中的引用冲突,见:Proc。2009年6月于美国纽约州举行的2009年ACM国际超级计算大会。
[42] M.F.Spear、V.J.Marathe、W.N.Scherer III、M.L.Scott,《软件事务内存的冲突检测和验证策略》,摘自:Proc。第20届国际交响乐团。关于分布式计算,瑞典斯德哥尔摩,2006年9月。
[43] M.F.Spear、A.Shrraman、H.Hossain、S.Dwarkadas、M.L.Scott,Alert-on-update:共享内存多处理器的通信辅助工具(海报纸),摘自:Proc。第十二交响乐团。《并行编程原理与实践》,加州圣何塞,2007年3月。
[44] M.F.Spear、L.Dalesandro、V.Marathe、M.L.Scott,《软件事务内存中争用管理的综合策略》,摘自:Proc。第14交响乐团。《并行编程原理与实践》,2009年3月。
[45] S.Tomić,C.Perfumo,C.Kulkarni,A.Armejach,A.Cristal,O.Unsal,T.Harris,M.Valero,EazyHTM,急-缓硬件事务内存,in:Proc。第42届国际交响乐团。关于微体建筑,美国纽约,2009年12月。
[46] L.Yen、J.Bobba、M.R.Marty、K.E.Moore、H.Valos、M.D.Hill、M.M.Swift、D.A.Wood、LogTM-SE:从缓存中解耦硬件事务性内存,见:Proc。第13届国际交响乐团。《高性能计算机体系结构》,亚利桑那州凤凰城,2007年2月。
[47] C.Zilles,L.Baugh,《扩展硬件事务性内存以支持非繁忙等待和非事务性操作》,摘自:Proc。2006年6月于加拿大安大略省渥太华市举行的第一届ACM SIGPLAN交易计算研讨会。
[48] Sun Microsystems Inc,OpenSPARC T2核心微体系结构规范,2005年7月。
[49] Rochester Software Transactional Memory Runtime,2006年,www.cs.Rochester.edu/research/synchronization/rstm/。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。