×
哈吉特·阿提亚;埃什卡尔·希勒尔;阿莱西亚·米拉尼

事务内存的分离访问并行实现的固有限制。 （英语） Zbl 1253.68025号

理论计算。系统。 49，第4期，第698-719页（2011年）.
摘要：事务性内存（TM）是一种常用的方法，用于缓解并发应用程序编程的困难；TM保证由一系列操作组成的事务看起来是以原子方式执行的。TM实现的两个基本特性是不相交访问并行性和读取操作的不可见性。不相交访问并行性确保了对断开连接的数据的操作不会产生干扰，因此它对TM可伸缩性至关重要。读取操作的不可见性意味着它们的实现不会写入内存，从而减少内存争用。
本文证明了事务性存储器实现的一个内在权衡：它们不能既是不相交的访问并行的，也不能具有不可见的只读事务，并且总是成功终止。事实上，在实现\（t\）项的只读事务所需的写入次数上证明了\（\Omega（t）\）的下界，该事务成功地终止于不相交的访问并行TM实现。结果假设了严格的可序列化性，因此在不透明度的假设下成立。本文还展示了如何扩展结果，使其适用于较弱的一致性条件、快照隔离和可序列化性。

引用于4文件

MSC公司：

2007年7月68日 计算机体系结构的数学问题
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

事务性存储器;不相交存取并行;部分快照;下界;不可能结果
PDF格式BibTeX公司 XML格式引用
\textit{H.Attiya}等人，理论计算。系统。49，第4号，698--719（2011；Zbl 1253.68025）
全文： 内政部 哈尔

参考文献：

[1] Afek，Y.、Attiya，H.、Dolev，D.、Gafni，E.、Merritt，M.、Shavit，N.：共享内存的原子快照。J.助理计算。机器。40(4), 873–890 (1993) ·Zbl 0783.68029号 ·数字对象标识代码：10.1145/153724.153741
[2] Attiya，H.，Ellen，F.，Fatourou，P.：更新多编写器快照对象的复杂性。In：程序。第八届分布式计算和网络国际会议，第319-330页（2006）·Zbl 1283.68152号
[3] Attiya，H.，Guerraoui，R.，Ruppert，E.：部分快照对象。In：程序。第20届ACM算法与架构并行研讨会，第336–343页（2008）
[4] Avni，H.，Shavit，N.：在没有全局时钟的情况下保持一致的事务状态。In：程序。第十五届结构信息和通信复杂性国际学术讨论会，第131-140页（2008年）
[5] Aydonat，U.，Abdelrahman，T.：软件事务内存中事务的可序列化性。In:第三届ACM SIGPLAN事务计算研讨会（2008年）
[6] Berenson，H.，Bernstein，P.，Gray，J.，Melton，J.、O'Neil，E.、O'Neil，P.：对ANSI SQL隔离级别的批评。SIGMOD记录24（2），1-10（1995）·doi:10.1145/568271.223785
[7] Dice，D.，Shalev，O.，Shavit，N.：事务锁定II。In：程序。第20届分布式计算国际研讨会，第194–208页（2006年）
[8] Gramoli，V.，Harmanci，D.，Felber，P.：交易记忆的输入接受理论。In：程序。第十三届分布式系统原理国际会议，第527–533页（2008年）
[9] Guerraoui，R.，Kapalka，M.：关于无障碍交易。In：程序。第20届ACM算法和架构并行性研讨会，第304–313页（2008年）
[10] Guerraoui，R.，Kapalka，M.：关于事务性记忆的正确性。In：程序。第十三届ACM SIGPLAN并行编程原理与实践研讨会，第175–184页（2008）
[11] Guerraoui，R.，Kapalka，M.：基于锁的事务内存中的进展语义。In：程序。第14届ACM SIGPLAN并行编程原理与实践研讨会，第404–415页（2009）·Zbl 1315.68065号
[12] Guerraoui，R.，Henzinger，T.A.，Singh，V.：交易记忆中的允许性。In：程序。第22届分布式计算国际研讨会，第305-319页（2008年）·Zbl 1161.68387号
[13] Harris，T.L.，Fraser，K.，Pratt，I.A.：一种实用的多单词比较与转换操作。In：程序。第16届分布式计算国际研讨会，第265-279页（2002年）·Zbl 1029.68525号
[14] Herlihy，M.，Shavit，N.：多处理器编程的艺术。Morgan Kaufmann，圣马特奥（2008）
[15] Herlihy，M.，Wing，J.M.：线性化：并发对象的正确性条件。ACM事务处理。程序。语言系统。12(3), 463–492 (1990) ·数字对象标识代码：10.1145/78969.78972
[16] Herlihy，M.，Luchangco，V.，Moir，M.：Scherer III W.N.：用于动态大小数据结构的软件事务内存。In：程序。第22届ACM分布式计算原理研讨会，第92–101页（2003年）
[17] Imbs，D.，Raynal，M.：软件事务内存的基于锁的协议。In：程序。第十三届分布式系统原理国际会议，第226-245页（2008年）
[18] Imbs，D.，Raynal，M.：需要时提供帮助，但不需要更多：高效读/写部分快照。In：程序。第23届分布式计算国际研讨会，第142–156页（2009年）·Zbl 1261.68028号
[19] Imbs，D.，Raynal，M.，de Mendivil，J.R.：简短声明：虚拟世界一致性：STM系统的新条件。In：程序。第28届ACM分布式计算原理研讨会，第280-281页（2009年）
[20] Israel，A.，Rappoport，L.：强共享内存原语的非联合访问并行实现。In：程序。第13届ACM分布式计算原理研讨会，第151-160页（1994年）·Zbl 1373.68102号
[21] Israel，A.，Shirazi，A.：更新快照内存的时间复杂性。Inf.流程。莱特。65(1), 33–40 (1998) ·Zbl 1339.68022号 ·doi:10.1016/S0020-0190（97）00189-0
[22] Keidar，I.和Perelman，D.：关于避免事务内存中的空闲中止。In：程序。第21届ACM算法和架构并行性研讨会，第59-68页（2009年）·Zbl 1320.68055号
[23] Lu，S.，Bernstein，A.，Lewis，P.：在不同的隔离级别上正确执行事务。IEEE传输。知识。数据工程16（9），1070–1081（2004）·doi:10.1109/TKDE.2004.34
[24] Napper，J.，Alvisi，L.：无锁可序列化事务。技术报告TR-05-04，德克萨斯大学奥斯汀分校（2005）
[25] Papadimitriou，C.H.：并发数据库更新的可串行性。J.助理计算。机器。26（4），631–653（1979年）·Zbl 0419.68036号 ·doi:10.1145/322154.322158
[26] Riegel，T.、Felber，P.、Fetzer，C.：一种带有急切验证的惰性快照算法。In：程序。第20届分布式计算国际研讨会，第284–298页（2006）·Zbl 1155.68341号
[27] Riegel，T.、Fetzer，C.、Felber，P.：软件事务内存的快照隔离。In:第一届ACM SIGPLAN事务计算研讨会（2006年）·Zbl 1188.68101号
[28] Riegel，T.，Fetzer，C.，Sturzrehm，H.，Felber，P.：从因果到z线性化的事务记忆。In：程序。第26届ACM分布式计算原理研讨会，第340–341页（2007年）·Zbl 1283.68120号
[29] Weikum，G.，Vossen，G.：事务信息系统：并发控制和恢复的理论、算法和实践。Morgan Kaufmann，圣马特奥（2001）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。