×

兹马思-数学第一资源

\(\mathrm{TM}^{2}\mathrm{C}\):用于许多核心的软件事务性内存。(英语) Zbl 06916556
摘要:事务性内存是并发系统的一个吸引人的范例。在过去的二十年里,许多软件实现都被提出用于共享内存多核系统和分布式机器集群。然而,芯片制造商已经开始生产许多核心架构,低网络片上通信延迟和对缓存一致性的支持有限,使得现有的事务性内存实现不适用。本文提出了\(\mathrm{TM}^{2}\mathrm{C}),这是第一个适用于许多核心系统的软件事务性内存协议,因此具有分布式事务和利用共享内存的特点。\(\mathrm{TM}^{2}\mathrm{C}\)利用片上网络上的快速消息,使对共享数据的访问一致。特别是保证了分布式事务管理器优先提交和检测所有冲突。我们在Intel、AMD和Tilera体系结构上评估\(\mathrm{TM}^{2}\mathrm{C}\),从常见的多核到实验性的多核。我们建立在新的消息传递协议之上,基于软件和硬件,它们本身就很有趣。我们对各种基准测试的结果,包括真实的银行和MapReduce应用程序,表明\(\mathrm{TM}^{2}\mathrm{C})无论底层平台如何,都可以很好地伸缩。

理学硕士:
68米14 分布式系统
68M07型 计算机体系结构的数学问题
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Abts,D.,Enright Jerger,N.D.,Kim,J.,Gibson,D.,Lipasti,M.H.:通过在许多核心CMP中更好地放置内存控制器来实现可预测的性能。2009年第461-45页
[2] Aguilera,M.,Merchant,A.,Veitch,A.,Karamanolis,C.:Sinfonia:构建可伸缩分布式系统的新范式。入:SOSP(2007)
[3] Attiya,H.,Gramoli,V.,Milani,A.:简短声明:合并一个改进的基于目录的一致性协议。In:SPAA,第72-73页(2010年)
[4] Attiya,H.,Gramoli,V.,Milani,A.:一个可证明的无饥饿的分布式目录协议。In:SSS,第405-419页(2010年)
[5] Balaji,P.,Narravula,S.,Vaidyanathan,K.,Krishnamoorthy,S.,Wu,J.,Panda,D.K.:集群中infiniband上的套接字直接协议:它是否有益?In:ISPASS,第28-35页(2004年)
[6] Baumann,A.,Barham,P.,Dagand,P.-E.,Harris,T.,Isaacs,R.,Peter,S.,Roscoe,T.,Schupbach,A.,Singhania,A.:多核系统的新操作系统架构。在:SOSP,第29-44页(2009年)
[7] Bayer,R;Schkolnick,M,《b-树上操作的并发性》,Acta Inf.,9,1-21,(1977)·Zbl 0343.68022
[8] Berezecki,M.,Frachtenberg,E.,Paleczny,M.,Steele,K.:许多核心键值存储。In:IGCC,第1-8页(2011年)
[9] Bieniusa,A.,Fuhrmann,T.:后见一致性:完全分散的stm算法。In:IPDPS,第1-12页(2010年)
[10] Bocchino,R.,Adve,V.,Chamberlain,B.:大规模集群的软件事务性内存。In:PPoPP,第247-258页(2008年)
[11] Borkar,S.:千核芯片:技术视角。In:DAC,第746-749页(2007年)
[12] Borkar,S;Chien,AA,《微处理器的未来》,Commun。ACM,54,67-77,(2011年)
[13] Boyd Wickizer,S.,Clements,A.T.,Mao,Y.,Pesterev,A.,Kaashoek,M.F.,Morris,R.,Zeldovich,Ni.:linux多核可伸缩性分析。输入:OSDI(2010)
[14] Boyd Wickizer,S.,Kaashoek,M.F.,Morris,R.,Zeldovich,N.:不可伸缩锁是危险的。In:Linux研讨会论文集(2012)
[15] Carvalho,N.,Romano,P.,Rodrigues,L.:基于异步租赁的软件事务性内存复制。In:中间件,第376-396页(2010年)
[16] Carvalho,N.,Romano,P.,Rodrigues,L.:SCert:复制软件事务性内存中的推测性认证。In:SYSTOR,第10:1-10:13页(2011年)
[17] Choi,B.,Komuravelli,R.,Sung,H.,Smolinski,R.,Honarmand,N.,Adve,S.V.,Adve,V.S.,Carter,N.P.,Chou,C.-T.:Denovo:重新思考有规律并行的内存层次结构。摘自:《公约》,第155-166页(2011年)
[18] Conway,P;Kalyanasundharam,N;Donley,G;Lepak,K;Hughes,B,《amd opteron处理器的缓存层次结构和内存子系统》,Micro IEEE,30,16-29,(2010)
[19] Couceiro,M.,Romano,P.,Carvalho,N.,Rodrigues,L.:D2STM:可靠的分布式软件事务性内存。In:PRDC,第307-313页(2009年)
[20] Dalessandro,L.,Spear,M.F.,Scott,M.L.:Norec:通过废除所有权记录来简化STM。PPoPP(2010年)
[21] David,T.,Guerraoui,R.,Trigoraakis,V.:关于同步,你一直想知道但又不敢问的所有事情。参见:SOSP,第33-48页(2013年)
[22] Défago,X.,Schiper,A.,Urbán,P.:全序广播和多播算法:分类和调查。ACM计算调查,第372-421页(2004年)
[23] Dice,D.,Shalev,O.,Shavit,N.:事务锁定II。In:光盘,第194-208页(2006年)
[24] Dice,D.,Shavit,N.:TLRW:读写锁的返回。In:SPAA(2010年)
[25] Dragojevic,A;Felber,P;Gramoli,V;Guerraoui,R,为什么STM不仅仅是一个研究玩具,公社。ACM,54,70-77,(2011年)
[26] Fan,B.,Andersen,D.G.,Kaminsky,M.:Memc3:具有更简单缓存和更智能哈希的紧凑并发memcache。在NSDI(2013年)
[27] Felber,P.,Fetzer,C.,Riegel,T.:基于字的软件事务性内存的动态性能调整。In:PPoPP,第237-246页(2008年)
[28] Felber,P.,Gramoli,V.,Guerraoui,R.:弹性交易。In:光盘,第93-107页(2009年)·Zbl 1261.68024
[29] Ferdman,M;Adileh,A;Kocberber,O;Volos,S;Alisafee,M;Jevdjic,D;Kaynak,C;Popescu,AD;Ailamaki,A;Falsafi,B,量化新兴横向扩展应用程序与现代处理器ACM Trans之间的不匹配。计算机。系统,30,15:1-15:24,(2012年)
[30] Gramoli,V.:比你想知道的更多的关于同步:synchronbench,测量同步对并发算法的影响。In:PPoPP,第1-10页(2015年)
[31] Gramoli,V.,Guerraoui,R.,Trigoraakis,V.:TM2C:用于多核的软件事务性内存。2012年欧洲系统354页·Zbl 06916556
[32] Gray,J.:数据库操作系统注释。在:操作系统,高级课程,LNCS第60卷,第393-481页(1978)
[33] Guerraoui,R.,Herlihy,M.,Pochon,B.:走向事务竞争管理器的理论。In:PODC,第258-264页(2005年)·Zbl 1314.68088
[34] Guerraoui,R.,Kapalka,M.:基于锁的事务性内存中进程的语义。POPL,第404-415页(2009年)·Zbl 1315.68065
[35] Guerraoui,R.,Kapalka,M.:事务性记忆的原理。分布式计算理论综合讲座。摩根和克莱普尔出版社,圣拉斐尔(2010)·Zbl 1242.68056
[36] Harmanci,D;Gramoli,V;Felber,P;Fetzer,C,Extensible transactional memory testbed,J.《并行分布》。计算机,701053-1067,(2010)·Zbl 1233.68164
[37] Harris,T.,Larus,J.R.,Rajwar,R.:事务性记忆。计算机架构综合讲座,第二版。摩根和克莱普尔出版社,圣拉斐尔(2010)
[38] Herlihy,M.,Luchangco,V.,Moir,M.:实现软件事务性内存的灵活框架。In:OOPSLA,第253-262页(2006年)
[39] Herlihy,M.,Luchangco,V.,Moir,M.,Scherer,W.:用于动态大小数据结构的软件事务性内存。摘自:PODC,第92-101页(2003年)
[40] Herlihy,M.,Moss,J.E.B.:事务性内存:对无锁数据结构的体系结构支持。In:ISCA,第289-300页(1993年)
[41] Herlihy,M.,Shavit,N.:多处理器编程的艺术。爱思唯尔(2012年)。(改版再版)
[42] Herlihy,M.,Sun,Y.:用于度量空间网络的分布式事务性内存。In:光盘,第58-208页(2005年)·Zbl 1266.68038
[43] Howard,J.,Dighe,S.,Hoskote,Y.,Vangal,S.,Finan,D.,Ruhl,G.,Jenkins,D.,Wilson,H.,Borkar,N.,Schrom,G.,Pailet,F.,Jain,S.,Jacob,T.,Yada,S.,Marella,S.,Salihundam,P.,Erraguntla,V.,Konow,M.,Riepen,M.,Droege,G.,Lindemann,J.,Gries,M.,Apel,T.,Henriss,K.,Lund Larsen,T.,S.,S.,Borkar,S.,De,V。,Van Der Wijngaart,R.,Mattson,T.:一个48核IA-32消息传递处理器,45纳米CMOS中的DVFS。In:ISSCC,第108-109页(2010年)·Zbl 1233.68164
[44] 英特尔事务性内存abi。http://software.intel.com/sites/default/files/m/5/a/2/a/f/8097-intel_TM_ABI_1_0_1.pdf(2009)
[45] Jacobi,C.,Slegel,T.,Greiner,D.:ibm system z的事务性内存体系结构和实现。In:MICRO,pp.25-36(2012)
[46] Johnson,R;Pandis,I;Stoica,R;Athanasoulis,M;Ailamaki,A,《多核和多插槽硬件上写前日志的可伸缩性》,VLDB J.,21239-263,(2012年)
[47] Jose,J.,Subramoni,H.,Luo,M.,Zhang,M.,Huang,J.,Wasi ur Rahman,M.,Islam,N.S.,Ouyang,X.,Wang,H.,Sur,S.,Panda,D.K.:高性能rdma互连的Memcached设计。In:ICPP,第743-752页(2011年)
[48] Kelm,J.H.,Johnson,D.R.,Tuohy,W.,Lumetta,S.S.,Patel,S.J.:内聚性:加速器的混合记忆模型。In:ISCA,第429-440页(2010年)
[49] Kontothanassis,L.,Scott,M.:大规模多处理器的软件缓存一致性。In:HPCA,第286-295页(1995年)
[50] Kotselidis,C.,Ansari,M.,Jarvis,K.,Luján,M.,Kirkham,C.,Watson,I.:DiSTM:集群的软件事务性内存框架。In:ICPP,第51-58页(2008年)
[51] Lenoski,D.,Laudon,J.,Gharachorloo,K.,Gupta,A.,Hennessy,J.:DASH多处理器基于目录的缓存一致性协议。In:ISCA,第148-159页(1990年)
[52] Lim,H.,Fan,B.,Andersen,D.G.,Kaminsky,M.:淤泥:一种内存高效、高性能的键值存储。摘自:SOSP,第1-13页(2011年)
[53] 利斯科夫:阿古斯语言和系统。In:分布式系统:规范的方法和工具,高级课程,LNCS第190卷,第343-430页(1985年)
[54] Manassiev,K.,Mihailescu,M.,Amza,C.:在事务性内存集群中利用分布式版本并发性。在PPoPP,第198-208页(2006年)
[55] Martin,M.,Blundell,C.,Lewis,E.:事务性内存原子性语义的微妙之处。IEEE计算机。阿基特。利特。5(2006年)
[56] Martin,MMK;Hill,医学博士;Sorin,DJ,为什么片上缓存一致性会一直存在,Common。ACM,55,78-89,(2012年)
[57] Mattson,T.G.,Riepen,M.,Lehnig,T.,Brett,P.,Haas,W.,Kennedy,P.,Howard,J.,Vangal,S.,Borkar,N.,Ruhl,G.,Dighe,S.:48核SCC处理器:程序员的观点。In:SC,第1-11页(2010年)
[58] Mellor Crummey,J;Scott,ML,《共享内存多处理器上可伸缩同步算法》,ACM TOCS,9,21-65,(1991)
[59] 迈克尔,MM,《危险指针:无锁对象的安全内存回收》,IEEE Trans。平行分布。系统,15491-504,(2004年)
[60] Olszewski,M.,Cutler,J.,Steffan,J.G.:Judostm:软件事务性内存的动态二进制重写方法。摘自:《公约》,第365-375页(2007年)
[61] Papamarcos,M.S.,Patel,J.H.:一种针对具有私有缓存的多处理器的低开销一致性解决方案。In:ISCA,第348-354页(1984年)
[62] Pritchett,D,《碱:酸的替代品》,Queue,6,48-55,(2008)
[63] Rajwar,R.,Goodman,J.R.:推测性锁省略:支持高并发多线程执行。In:MICRO,第294-305页(2001年)
[64] Romano,P.,Carvalho,N.,Rodrigues,L.:走向分布式软件事务性存储系统。In:LADIS,第1-4页(2008年)
〔65〕 Romano,P;Rodrigues,L;Carvalho,N;Cachopo,J,《Cloud tm:利用分布式事务性内存利用云》,SIGOPS Oper。系统。修订版,44,1-6,(2010年)
[66] Saad,M.,Ravindran,B.:Snake:控制流分布式软件事务性内存。In:SSS,第238-252页(2011年)
[67] Saad,M.,Ravindran,B.:事务转发算法。技术报告,Virigina Tech(2011)
[68] Scherer W.,Scott,M.:动态软件事务性内存中的竞争管理。In:PODC Java程序并发与同步研讨会(2004)
〔69〕 Scherer W.,Scott,M.:动态软件事务性内存的高级竞争管理。In:PODC,第240-248页(2005年)
[70] Sewall,J;Chhugani,J;Kim,C;Satish,N;Dubey,P,Palm:多核处理器上对b+树的并行架构友好的无锁修改,PVLDB,4795-806,(2011)
[71] 事务性内存软件。In:PODC,第204-213页(1995年)·Zbl 1373.68178
[72] Spear,M.F.,Maraah,V.J.,Dalessandro,L.,Scott,M.L.:软件事务性内存的私有化技术。在:PODC(2007年)·兹布1283.68122
[73] Tilera瓷砖gx。http://www.mellanox.com/related-docs/prod_multi_core/PB_TILE-Gx36.pdf(2014年)
[74] Wang,A.,Gaudet,M.,Wu,P.,Amaral,J.N.,Ohmacht,M.,Barton,C.,Silvera,R.,Michael,M.:事务性内存的blue gene/q硬件支持评估。摘自:《公约》,第127-136页(2012年)
[75] Welc,A.,Saha,B.,Adl Tabatabai,A.-R.:不可撤销交易及其应用。在:SPAA(2008年)
[76] 关于分布式事务内存的竞争管理器和缓存一致性协议的设计。博士论文,弗吉尼亚理工大学(2009)
[77] Zhang,B.,Ravindran,B.:中继:分布式事务内存的缓存一致性协议。In:OPODIS,第48-53页(2009年)
数字图书馆提供的数学或参考资料就是基于此。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。