摘要
Yehuda Afek、Dalia Dauber和Dan Touitou。 1995年,无需等待。 ACM STOC-95会议记录。 谷歌学者 数字图书馆 Yehuda Afek、Michael Merritt、Gadi Taubenfeld和Dan Touitou。 1997.分离多对象操作(扩展抽象)。 ACM PODC-97会议记录。 谷歌学者 数字图书馆 穆斯塔奎·阿哈迈德(Mustaque Ahamad)、里达·巴齐(Rida A.Bazzi)、兰吉特·约翰(Ranjit John)、科利王子(Prince Kohli)和吉尔·内格尔(Gil Neiger)。 1993年。处理器一致性的力量。 ACM SPAA-93会议记录。 谷歌学者 数字图书馆 鲍文·阿尔珀恩(Bowen Alpern)和弗雷德·施奈德(Fred B.Schneider)。 1985.定义活力。 通知。 过程。 莱特。 第21、4页(1985年)。 谷歌学者 交叉引用 Masoud Saeida Ardekani、Pierre Sutra和Marc Shapiro。 2011.无法确保真正复制的STM中的快照隔离。 在WTTM会议记录中。 谷歌学者 Masoud Saeida Ardekani、Pierre Sutra、Marc Shapiro和Nuno Preguiça。 2013.关于快照隔离的可扩展性。 欧元区并行处理。 柏林施普林格。 谷歌学者 数字图书馆 Hagit Attiya和Eyal Dagan。 1996.通用操作:一元与二进制。 在ACM PODC-96。 谷歌学者 数字图书馆 Hagit Attiya和Panagiota Fatourou。 2015.软件事务内存中的分离访问并行性。 在事务内存中。 基础、算法、工具和应用。 施普林格国际出版公司。 谷歌学者 Hagit Attiya和Eshcar Hillel。 2006.高并发双链接列表的内置着色。 ACM DISC-06会议记录。 谷歌学者 数字图书馆 Hagit Attiya和Eshcar Hillel。 2011.单版本STM可以是多版本许可的。 ICDCN--11会议记录。 斯普林格·弗拉格。 谷歌学者 数字图书馆 Hagit Attiya、Eshcar Hillel和Alessia Milani。 2009.事务内存的分离访问并行实现的固有限制。 ACM SPAA-09会议记录。 谷歌学者 数字图书馆 Hagit Attiya、Eshcar Hillel和Alessia Milani。 2011.事务内存的分离访问并行实现的固有限制。 理论计算。 系统。 49, 4 (2011). 谷歌学者 数字图书馆 Hagit Attiya和Jennifer Welch。 分布式计算:基础、模拟和高级主题。 John Wiley 8 Sons,新泽西州。 谷歌学者 数字图书馆 格雷格·巴恩斯。 1993年。一种实现无锁共享数据结构的方法。 ACM SPAA-93会议记录。 谷歌学者 数字图书馆 哈尔·贝伦森、菲尔·伯恩斯坦、吉姆·格雷、吉姆·梅尔顿、伊丽莎白·奥尼尔和帕特里克·奥尼尔。 1995年,对ANSI SQL隔离级别的批评。 ACM SIGMOD Rec.24,2(1995),1--10。 谷歌学者 数字图书馆 菲利普·伯恩斯坦(Philip A.Bernstein)、瓦斯科·哈齐拉科斯(Vassco Hadzilacos)和内森·古德曼(Nathan Goodman)。 1987.数据库系统中的并发控制和恢复。 Addison-Wesley Longman出版公司。 谷歌学者 数字图书馆 维克多·布什科夫(Victor Bushkov)、拉希德·格雷劳伊(Rachid Guerraoui)和米查·卡帕(Micha Kapa)。 2012.关于事务性内存的活性。 ACM PODC-12会议记录。 谷歌学者 数字图书馆 Ricardo J.Dias、João Seco和João M.Lourenço。 2010.软件事务内存中的快照隔离异常检测。 InForum会议记录--10。 谷歌学者 戴夫·戴斯和尼尔·沙维特。 2006.是什么让交易更快? 在交易程序--06中。 谷歌学者 Faith Ellen、Panagiota Fatourou、Eleftherios Kosmas、Alessia Milani和Corentin Travers。 2012.确保分离访问并行性和等待自由的通用结构。 ACM PODC-12会议记录。 谷歌学者 数字图书馆 Faith Ellen、Panagiota Fatourou、Eleftherios Kosmas、Alessia Milani和Corentin Travers。 2016年,确保分离访问并行性和等待自由的通用结构。 分布计算。 29,4(2016年8月1日),251--277。 谷歌学者 数字图书馆 Alan Fekete、Dimitrios Liarokapis、Elizabeth O-Neil、Patrick O-Neil和Dennis Shasha。 2005.使快照隔离可序列化。 ACM事务处理。 数据库系统。 30, 2 (2005). 谷歌学者 数字图书馆 帕斯卡·费尔伯(Pascal Felber)、克里斯托夫·费泽(Christof Fetzer)和托瓦尔·里格尔(Torvald Riegel)。 2008.基于字的软件事务内存的动态性能调整。 PPoPP-08会议记录。 美国医学会,237--246。 谷歌学者 数字图书馆 Keir Fraser和Tim Harris,2007年。 无锁并发编程。 ACM事务处理。 计算。 系统。 第25、2条,第5条(2007年)。 谷歌学者 数字图书馆 库罗什·加拉乔尔洛、丹尼尔·列诺斯基、詹姆斯·劳登、菲利普·吉本斯、阿诺普·古普塔和约翰·亨尼西。 1990年。可扩展共享内存多处理器中的内存一致性和事件排序。 ACM ISCA会议记录--90。 纽约州纽约市,15-26。 谷歌学者 数字图书馆 塞斯·吉尔伯特和南希·林奇。 2002.布鲁尔猜想和一致、可用、分区容忍web服务的可行性。 ACM SIGACT新闻33,2(2002)。 谷歌学者 数字图书馆 J.R.古德曼。 1989.缓存一致性和顺序一致性。 技术报告。 技术报告61,IEEE可扩展相干接口工作组。 谷歌学者 吉姆·格雷。 1980年,交易模型。 ICALP-80会议记录。 斯普林格·弗拉格。 谷歌学者 数字图书馆 Rachid Guerraoui和Michal Kapalka。 2008年。关于无障碍交易。 ACM SPAA-08会议记录。 谷歌学者 数字图书馆 Rachid Guerraoui和Michal Kapalka。 2008年。关于事务性内存的正确性。 ACM PPoPP-08会议记录。 谷歌学者 数字图书馆 Rachid Guerraoui和Michal Kapalka。 2009.基于锁的事务内存进展的语义。 在POPL-09会议记录中。 顶点,404-415。 谷歌学者 数字图书馆 Rachid Guerraoui和Michal Kapalka。 2010年,交易记忆原理。 摩根和克莱普尔。 谷歌学者 数字图书馆 M.Herlihy先生。 1990.实现高度并发数据结构的方法。 ACM SIGPLAN非。 25, 3 (1990). 谷歌学者 数字图书馆 莫里斯·赫利希(Maurice Herlihy)。 1991.无等待同步。 ACM事务处理。 程序。 语言系统。 13, 1 (1991). 谷歌学者 数字图书馆 莫里斯·赫利希(Maurice Herlihy)、维克托·卢昌科(Victor Luchangco)、马克·莫尔(Mark Moir)和威廉·谢勒(William N.Scherer),第三版,2003年。 用于动态大小数据结构的软件事务性内存。 ACM PODC-03会议记录。 谷歌学者 数字图书馆 莫里斯·赫利希和J.艾略特·莫斯。 1993.事务内存:无锁数据结构的体系结构支持。 SIGARCH计算。 建筑师。 新闻21,2(1993)。 谷歌学者 数字图书馆 P.W.Hutto和M.Ahamad。 1990.慢速内存:削弱一致性以增强分布式共享内存中的并发性。 ICDCS会议记录--90。 IEEE,302-309。 谷歌学者 Damien Imbs和Michel Raynal。 2010年。一种具有不可见读取操作的通用STM协议,满足虚拟世界一致性条件。 SIROCCO-09会议记录。 谷歌学者 数字图书馆 Amos Israel和Lihu Rappoport。 1994.强共享内存原语的非联合存取并行实现。 ACM PODC-94会议记录。 谷歌学者 数字图书馆 彼得·库兹涅佐夫和斯利瓦桑·拉维。 2015.关于事务性记忆中的部分等待自由。 ICDCN--15会议记录。 谷歌学者 数字图书馆 R.J.Lipton和J.S.Sandberg,1988年。 Pram:可扩展共享内存。 技术报告CS-TR-180-88。 普林斯顿大学。 谷歌学者 海纳·利茨(Heiner Litz)、大卫·切里顿(David Cheriton)、阿明·菲鲁兹沙扬(Amin Firoozshahian)、奥米德·阿齐兹(Omid Azizi)和约翰·史蒂文森(John P.Stevenson)。 2014.SI-TM:通过快照隔离降低事务内存中止率。 在ACM ASPLOS-14会议记录中。 383--398. 谷歌学者 数字图书馆 南希·A·林奇。 1996年,分布式算法。 摩根考夫曼出版公司。 谷歌学者 数字图书馆 Virendra J.Marathe、William N.Scherer和Michael L.Scott。 2005.自适应软件事务性内存。 DISC-05会议记录。 斯普林格·弗拉格。 谷歌学者 数字图书馆 苏珊·奥维基和莱斯利·兰波特。 1982.证明并发程序的活性属性。 ACM事务处理。 程序。 语言系统。 4, 3 (1982), 455--495. 谷歌学者 数字图书馆 克里斯托斯·帕帕迪米特里奥。 1979.并发数据库更新的可序列化性。 J.ACM 26,4(1979)。 谷歌学者 数字图书馆 塞巴斯蒂亚诺·佩卢索、罗伯托·帕尔米耶里、保罗·罗曼诺、比诺伊·拉文德兰和弗朗西斯科·夸利亚。 2015.分离访问并行性:事务内存实现的不可能性、可能性和成本。 ACM PODC-15会议记录。 谷歌学者 数字图书馆 Dmitri Perelman、Rui Fan和Idit Keidar。 2010年。关于在STM中维护多个版本。 ACM PODC会议记录--10。 谷歌学者 数字图书馆 M.Raynal、G.Thia-Kime和M.Ahamad。 1997.从可序列化到协作应用的因果事务。 在EUROMICRO-97会议记录中。 谷歌学者 托瓦尔·里格尔(Torval Riegel)、克里斯托夫·费泽尔(Christof Fetzer)和帕斯卡·费尔伯(Pascal Felber)。 2006.软件事务内存的快照隔离。 ACM TRANSACT-06会议记录。 谷歌学者 尼尔·沙维特和丹·图图。 1995.软件事务性内存。 ACM PODC-95会议记录。 谷歌学者 数字图书馆 Fuad Tabba、Mark Moir、James R.Goodman、Andrew W.Hay和Cong Wang。 2009年,NZTM:非阻塞零方向事务性内存。 ACM SPAA-09会议记录。 谷歌学者 数字图书馆 约翰·图雷克(John Turek)、丹尼斯·沙沙(Dennis Shasha)和桑迪普·普拉卡什(Sundeep Prakash)。 1992.无阻塞锁定:使基于锁的并发数据结构算法无阻塞。 ACM PODS-92会议记录。 谷歌学者 数字图书馆
建议
PCL定理:交易不可能是平行的、一致的和实时的 SPAA’14:第26届ACM算法和架构并行性研讨会论文集 我们表明,设计一个确保并行性的事务性内存系统是不可能的,即事务不需要同步,除非它们访问相同的应用程序对象,同时确保很少的一致性,即一致性。。。 SI-TM:通过快照隔离降低事务内存中止率 ASPLOS’14:第19届编程语言和操作系统体系结构支持国际会议论文集 事务性内存代表了一种对并发应用程序进行编程的有吸引力的概念模型。 不幸的是,高事务中止率会导致性能显著下降。 传统事务性内存实现不仅。。。