×
德林·哈曼奇;文森特·格拉莫利;费伯，帕斯卡;克里斯托夫·费泽尔

可扩展事务内存测试床。 （英语） Zbl 1233.68164号

J.平行分布计算。 70，第10号，1053-1067（2010）.
摘要：事务性内存（TM）是一种很有前途的抽象，因为它向并发应用程序的程序员隐藏了所有同步复杂性。更具体地说，TM范式实现了从应用程序编程到TM编程的复杂性转变。因此，专业程序员现在已经开始寻找理想的TM，它将为所有并发应用程序带来一劳永逸的性能。研究人员最近发现了TM可能面临的许多问题。令人惊讶的是，在这些场景中从未测试过任何TM。在本文中，我们介绍了第一个迄今为止的TM试验台。我们提出了一个框架TMunit，它提供了一种特定于领域的语言来快速编写TM工作负载，从而使我们的测试套件易于扩展。我们的可复制语义测试通过可复制的反例表明，现有的TM不满足最近的一致性标准。我们的性能测试确定了知名TM执行不同的工作负载。最后，其他测试表明一些工作负载阻碍了争用管理器的进展。

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）
68平方米 计算机系统环境下的性能评估、排队和调度

关键词：

事务性存储器;语义学;性能

软件：

veriSoft软件;航空工业组织;溅水-2;临时数据库;TM单元;橡皮擦;巴黎证券交易所;采矿台;蜗杆工作台;ConTest公司;STM台架7;印章;李-TM;ALPBench公司;Specomp公司
PDF格式BibTeX公司 XML格式引用
\textit｛D.Harmanci｝等人，J.平行分布计算。70，编号10，1053--1067（2010年；兹bl 1233.68164）
全文： 内政部 链接

参考文献：

[1] M.阿巴迪。；Birrell，A。；哈里斯·T。；Isard，M.：事务存储和自动互斥的语义，SIGPLAN不是。43，第1期，63-74（2008）·Zbl 1295.68149号
[2] 2009年先进同步设施（ASF）评估http://forums.amd.com/devblog/blogpost.cfm？threadid=118419&catid=317。
[3] 安萨里，M。；Kotselidis，C。；贾维斯，K。；M.Luján。；柯克汉姆，C。；Watson，I.：Lee-TM：事务性内存的非平凡基准，196-207（2008）
[4] Aslot，V。；多梅卡，M.J。；艾根曼，R。；盖特纳，G。；琼斯·W·B。；Parady，B.：Specomp:测量并行计算机性能的新基准套件，1-10（2001）·Zbl 0986.68740号
[5] Ben-Asher，Y。；Farchi，E。；Eytani，Y.：发现并发错误的启发式方法，288.1（2003）
[6] 比尼亚，C。；库马尔，S。；辛格，J.P。；Li，K.：PARSEC基准套件：特性和架构含义，72-81（2008）
[7] 布伦德尔，C。；刘易斯，E。；Martin，M.：《解构事务语义：原子性的微妙之处》（2005）
[8] Minh，C.Cao；钟，J。；科兹拉基斯，C。；Olukotun，K.：STAMP:斯坦福多处理事务应用，35-46（2008）
[9] 钟，J。；Chafi，H。；明，C。；A.麦当劳。；Carlstrom，B。；Olukotun，K.Kozyrakis C.：多线程程序的常见事务行为，266-277（2006）·兹比尔1119.68041
[10] 达莱桑德罗。；马拉特，V.J。；斯皮尔，M.F。；Scott，M.L.：C++中基于库的软件事务性内存的功能和限制，（2007）·Zbl 1283.68122号
[11] Dice，D。；沙列夫，O。；Shavit，N.：交易锁定II，194-208（2006）
[12] Dragojevic，A。；Guerraoui，R。；Kapalka，M.：伸展事务性记忆，155-165（2009）·Zbl 1315.68065号
[13] Edelstein，O。；Farchi，E。；Goldin，E。；Nir，Y。；Ratsaby，G。；Ur，S.：测试多线程Java程序的框架，并发计算。实际。exp.15，No.3-5，485-499（2003）·Zbl 1009.68542号 ·doi:10.1002/cpe.654
[14] Felber，P。；Fetzer，C。；Riegel，T.：基于文字的软件事务性内存的动态性能调优，237-246（2008）
[15] Felber，P。；格拉莫利，V。；Guerraoui，R.：弹性交易，Lncs 580593-107（2009）·Zbl 1261.68024号
[16] Godefroid，P.：使用verisoft对编程语言进行模型检查，174-186（1997）
[17] 格拉莫利，V。；Harmanci，D。；Felber，P.：关于事务记忆的输入接受理论，Lncs 5401，527-533（2008）
[18] 格雷，J。；Reuter，A.：事务处理：概念和技术（1992）·Zbl 0781.68006号
[19] Guerraoui，R。；Henzinger，T.A。；Jobstmann，B。；Singh，V.：模型检查事务性存储器，372-382（2008）·Zbl 1160.68441号
[20] Guerraoui，R。；Henzinger，T.A。；Singh，V.：事务记忆中的非决定性和完整性，21-35（2008）·兹比尔1160.68441
[21] Guerraoui，R。；Henzinger，T.A。；Singh，V.：放松内存模型上的软件事务内存，321-336（2009）·Zbl 1242.68162号
[22] Guerraoui，R。；Herlihy，M。；Pochon，B.：多态竞争管理，303-323（2005）·Zbl 1314.68088号
[23] Harmanci，D。；Felber，P。；格拉莫利，V。；Fetzer，C.：Tmunit：测试软件事务性存储器（2009）·Zbl 1233.68164号
[24] 哈里斯·T。；Fraser，K.：轻量级事务的语言支持，388-402（2003）
[25] Herlihy，M。；Lev，Y.：Tm_db:事务程序的通用调试库，136-145（2009）
[26] Herlihy，M。；Wing，J.M.：线性化：并发对象的正确条件，ACM trans。程序。语言系统。12，No.3，463-492（1990）
[27] Herlihy，M。；卢昌科，V。；莫尔，M。；Iii，W.N.Scherer：动态数据结构的软件事务存储器，92-101（2003）
[28] 艾姆斯·D。；De Mendvil，J.R.González；Raynal，M.：《虚拟世界一致性：STM系统的新条件》，280-281（2009）
[29] Jaleel，A。；马蒂娜，M。；Jacob，B.：CMP上数据挖掘工作负载的最后一级缓存（LLC）性能——并行生物信息学工作负载的案例研究，88-98（2006）
[30] Guerraoui，R。；Kapałka，M.：关于事务记忆的正确性，175-184（2008）
[31] Guerraoui，R。；卡帕？卡，M。；Vitek，J.：Stmbench7：软件事务内存的基准，SIGOPS操作。系统。第41版，第3期，315-324（2007）
[32] Kestor，G。；Stipic，S。；Unsal，O.S。；克里斯塔尔，A。；Valero，M.：RMS-TM：用于识别、挖掘和合成应用的事务内存基准，（2009）
[33] 拉鲁斯，J。；Rajwar，R.：事务性记忆（2006）
[34] 列夫，Y。；卢昌科，V。；马拉特，V。；莫尔，M。；努斯鲍姆，D。；Olszewski，M.：可扩展软件事务内存剖析（2009）
[35] 朗，B。；霍夫曼，D。；Strooper，P.：测试并发Java组件的工具支持，IEEE trans。柔和。eng.29，No.6，555-566（2003）
[36] J.Lourenço，G.Cunha，软件事务性内存引擎的测试模式，收录于：ACM并行和分布式系统研讨会：测试和调试，2007年，第36-42页。
[37] 卢，S。；Tucek，J。；秦，F。；周瑜：AVIO：通过访问交织不变量检测原子性违规，37-48（2006）
[38] 露西亚，B。；Devietti，J。；斯特劳斯，K。；Ceze，L.：原子援助：检测和幸存原子性违规，277-288（2008）
[39] Sasanka，R.Man-Lap Li；Adve，S。；Chen，Y.-K。；Debes，E.：复杂多媒体应用程序的alpbench基准套件，34-45（2005）
[40] 马诺维特，C。；Hangal，S。；Chafi，H。；A.麦当劳。；科兹拉基斯，C。；Olukotun，K.：测试事务性内存的实现，134-143（2006）
[41] 梅农，V。；Balensiefer，S。；施佩斯曼，T。；Adl-Tabatabai，A.-R。；Hudson，R.L。；萨哈，B。；Welc，A.：Java STM的实用弱原子语义，314-325（2008）
[42] 穆苏瓦西，M。；卡迪尔，S。；球，T。；巴斯勒，G。；Nainar，宾夕法尼亚州。；Neamtiu，I.：在并发程序中发现和复制黑森病，267-280（2008）
[43] Narayanan，R。；Ozisikyilmaz，B。；赞布雷诺，J。；梅米克，G。；Choudhary，A.：Minebench:数据挖掘工作负载的基准套件，182-188（2006）
[44] 奥利里，J。；萨哈，B。；Tuttle，M.R.：使用自旋检查事务性内存的模型，335-342（2009）
[45] Papadimitriou，C.H.：并发数据库更新的可序列化性，J.ACM 26，No.4，631-653（1979）·Zbl 0419.68036号 ·doi:10.1145/322154.322158
[46] Perfumo，C。；Sönmez，N。；Stipic，S。；Unsal，O。；克里斯托·A。；哈里斯·T。；Valero，M.：《软件事务内存（STM）的限制：在多核环境中剖析haskell STM应用程序》，67-78（2008）
[47] 普格，W。；Ayewah，N.：单元测试并发软件，513-516（2007）
[48] Riegel，T。；Felber，P。；Fetzer，C.：具有即时验证的惰性快照算法，284-298（2006）·Zbl 1155.68341号 ·doi:10.1007/11864219_20
[49] T.Riegel，C.Fetzer，H.Sturzerhm，P.Felber，《从因果到z线性化的事务记忆》，瑞士诺伊赫大学，2007年·Zbl 1283.68120号
[50] 萨维奇，S。；Burrows，M。；Nelson，G。；Sobalvarro，P。；Anderson，T.：橡皮擦：多线程程序的动态数据竞争检测器，ACM trans。计算。系统。15，第4期，391-411（1997）
[51] W.N.Scherer III，M.L.Scott，动态软件事务内存中的冲突管理，收录于：Java程序中的并发和同步研讨会，2004年。
[52] 施佩斯曼，T。；梅农，V。；Adl-Tabatabai，A.-R。；Balensiefer，S。；格罗斯曼，D。；哈德逊，R.L。；摩尔，K.F。；Saha，B.：在STM中强制隔离和排序，而不是SIGPLAN。42，第6号，78-88（2007）
[53] 斯皮尔，M。；Dalesandro，L。；马拉特，V。；Scott，M.：软件事务内存中争用管理的综合策略，141-150（2009）
[54] S.D.Stoller，使用随机调度测试并发Java程序，in；运行时验证研讨会，第70卷（4），2002年，第142-157页。
[55] 泰，K.C。；卡弗，R.H。；Obaid，E.E.：通过确定性执行调试并发ada程序，IEEE trans。柔和。eng.17，No.1，45-63（1991）
[56] 吴，南卡罗来纳州。；Ohara，M。；托里，E。；辛格，J.P。；Gupta，A.：《splash-2计划：特征和方法考虑》，24-36（1995）
[57] Zyulkyarov，F。；Cvijic，S。；Unsal，O。；克里斯托·A。；伊瓜德，E。；哈里斯·T。；Valero，M.：Wormbench——评估事务性内存系统的可配置工作负载，61-68（2008）
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。