×
文森特·格拉莫利;彼得·库兹涅佐夫;斯利瓦桑·拉维

在寻找最佳并发性的过程中。 （英语） Zbl 1482.68151号

Suomela，Jukka（编辑），《结构信息和通信复杂性》。第23届国际学术讨论会，2016年SIROCCO，芬兰赫尔辛基，2016年7月19日至21日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9988, 143-158 (2016).
摘要：通常使用“高度并发”这个词来表示应该在并发环境中表现良好的数据结构。但我们首先应该如何衡量数据结构的并发性呢？在本文中，我们提出了一种实现这一点的方法，它使我们能够形式化并发优化实现的概念。
这里，程序的并发性定义为程序接受并发调度的能力，即其顺序实现步骤的交错。为了使定义合理，我们引入了一种新的正确性标准，即LS线性化，除了经典的线性化之外，它还要求内存访问的间隔在局部上与顺序执行不可区分。如果一个实现接受所有LS-线性化调度，那么它就是并发最优的。我们探讨了搜索数据结构的并发属性，这些数据结构可以表示为导出插入、删除和搜索操作的有向非循环图。我们首次证明，搜索数据结构的悲观（例如基于保守锁定）和乐观可序列化（例如基于可序列化事务内存）实现在并发性方面是不可比拟的。因此，这两个实现类都不是并发最优的，因此提出了并发最优程序的存在性问题。
关于整个系列，请参见[Zbl 1350.68019号].

引用于1文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
68第05页 数据结构

关键词：

并发;搜索数据结构;下限

软件：

同步试验台;NOrec公司
PDF格式BibTeX公司 XML格式引用
\textit{V.Gramoli}等人，Lect。注释计算。科学。9988、143--158（2016；Zbl 1482.68151）
全文： 内政部 arXiv公司

参考文献：

[1] Afek，Y.、Matveev，A.、Shavit，N.：悲观主义软件锁定。收录：Aguilera，M.K.（编辑）DISC 2012。LNCS，第7611卷，第297–311页。施普林格，海德堡（2012）。doi:10.1007/978-3-642-33651-521·doi:10.1007/978-3-642-33651-521
[2] Aguilera，M.K.，Frölund，S.，Hadzilacos，V.，Horn，S.L.，Toueg，S.：可中止和查询可中止对象及其有效实现。收录于：PODC，第23-32页（2007年）·Zbl 1283.68072号 ·数字对象标识代码：10.1145/1281100.1281107
[3] Attiya，H.，Welch，J.：分布式计算：基础、模拟和高级主题。威利，纽约（2004）·Zbl 0910.68077号 ·doi:10.1002/0471478210
[4] Chaudhri，V.K.，Hadzilacos，V.：动态数据库的安全锁定策略。J.计算。系统。科学。57(3), 260–271 (1998) ·兹伯利0936.68028 ·doi:10.1006/jcss.1998.1563
[5] Dalesandro，L.、Spear，M.F.、Scott，M.L.：NOrec：通过废除所有权记录简化STM。摘自：PPOPP，第67-78页（2010年）·doi:10.1145/1693453.1693464
[6] David，T.，Guerraoui，R.，Trigonakis，V.：异步并发：扩展并发搜索数据结构的秘密。摘自：ASPLOS，第631-644页（2015年）·电话：10.1145/2694344.2694359
[7] Doherty，S.，Groves，L.，Luchangco，V.，Moir，M.：走向正式指定和验证事务内存。电子。注释Theor。计算。科学。259, 245–261 (2009) ·doi:10.1016/j.entcs.2010.01.001
[8] Felber，P.，Fetzer，C.，Riegel，T.：基于文字的软件事务性内存的动态性能调优。收录于：PPoPP，第237–246页（2008年）·doi:10.1145/1345206.1345241
[9] Gramoli，V.：你对同步的了解比以往任何时候都多：同步测试，测量同步对并发算法的影响。摘自：PPoPP，第1-10页（2015年）·doi:10.1145/2858788.2688501
[10] Gramoli，V.，Guerraoui，R.：事务编程民主化。Commun公司。ACM 57（1），86–93（2014）·doi:10.1145/2541883.2541900
[11] Gramoli，V.，Harmanci，D.，Felber，P.：关于事务记忆的输入接受。并行过程。莱特。20(1), 31–50 (2010) ·doi:10.1142/S0129626410000041
[12] Gramoli，V.、Kuznetsov，P.、Ravi，S.：寻求最佳并发。CoRR，abs/1603.01384（2016）·Zbl 1482.68151号
[13] Gramoli，V.，Kuznetsov，P.，Ravi，S.，Shang，D.：简短声明：基于并发最优列表的集合。参加：第29届分布式计算国际研讨会，2015年10月7日至9日，日本东京，DISC 2015。技术报告http://arxiv.org/abs/1502.01633
[14] Guerraoui，R.，Henzinger，T.A.，Singh，V.：交易记忆中的允许性。收录：Taubenfeld，G.（编辑）DISC 2008。LNCS，第5218卷，第305-319页。施普林格，海德堡（2008）。doi:10.1007/978-3-540-87779-0_21·Zbl 1161.68387号 ·doi:10.1007/978-3-540-87779-0_21
[15] Guerraoui，R.，Kapalka，M.：事务记忆原理：分布式计算理论综合讲座。Morgan和Claypool，圣拉斐尔（2010）·Zbl 1315.68065号
[16] Harris，T.L.：非阻塞链接列表的实用实现。收录：Welch，J.（编辑）DISC 2001。LNCS，第2180卷，第300-314页。斯普林格，海德堡（2001）。文件编号：10.1007/3-540-45414-4_21·Zbl 1024.68521号 ·doi:10.1007/3-540-545414-4_21
[17] Heller，S.、Herlihy，M.、Luchangco，V.、Moir，M.，Scherer，W.N.、Shavit，N.：一种基于延迟并发列表的集合算法。摘自：Anderson，J.H.，Prencipe，G.，Wattenhofer，R.（编辑）OPODIS 2005。LNCS，第3974卷，第3-16页。斯普林格，海德堡（2006）。数字对象标识代码：10.1007/117954903·数字对象标识代码：10.1007/117954903
[18] Herlihy，M.：道歉与请求许可：抽象数据类型的乐观并发控制。ACM事务处理。数据库系统。15(1), 96–124 (1990) ·数字对象标识代码：10.1145/77643.77647
[19] Herlihy，M.：无等待同步。ACM事务处理。掠夺。语言系统。13(1), 123–149 (1991) ·doi:10.145/114005.102808
[20] Herlihy，M.，Moss，J.E.B.：事务内存：无锁数据结构的架构支持。收录于：ISCA，第289-300页（1993年）·doi:10.1145/165123.165164
[21] Herlihy，M.，Shavit，N.：多处理器编程的艺术。Morgan Kaufmann，旧金山（2008）
[22] Herlihy，M.，Shavit，N.：关于进步的本质。收录：Fernández Anta，A.，Lipari，G.，Roy，M.（编辑）OPODIS 2011。LNCS，第7109卷，第313–328页。斯普林格，海德堡（2011）。doi:10.1007/978-3642-25873-222·doi:10.1007/978-3642-25873-222
[23] Herlihy，M.，Wing，J.M.：线性化：并发对象的正确性条件。ACM事务处理。程序。语言系统。12(3), 463–492 (1990) ·数字对象标识代码：10.1145/78969.78972
[24] Imbs，D.，de Mendívil，J.R.G.，Raynal，M.：简短声明：虚拟世界一致性：STM系统的新条件。收录于：PODC，第280-281页（2009年）
[25] Kung，H.T.，Papadimitriou，C.H.：数据库并发控制的优化理论。收录于：SIGMOD，第116-126页（1979年）·数字对象标识代码：10.1145/582095.582114
[26] Papadimitriou，C.H.：并发数据库更新的可串行性。J.ACM 26，631–653（1979年）·Zbl 0419.68036号 ·doi:10.1145/322154.322158
[27] Pugh，W.：跳过列表：平衡树的概率替代方法。Commun公司。ACM 33（6），668–676（1990）·数字对象标识代码：10.1145/78973.78977
[28] Shavit，N.，Touitou，D.：软件事务存储器。收录于：PODC，第204-213页（1995年）·Zbl 1373.68178号 ·doi:10.1145/224964.224987
[29] Weihl，W.E.：抽象数据类型的基于交换性的并发控制。IEEE传输。计算。37(12), 1488–1505 (1988) ·Zbl 0674.68016号 ·数字对象标识代码：10.1109/12.9728
[30] Weikum，G.：多级并发控制的理论基础。收录于：PODS，第31–43页（1986年）·数字对象标识代码：10.1145/6012.15401
[31] Weikum，G.，Vossen，G.：事务信息系统：并发控制和恢复的理论、算法和实践。Morgan Kaufmann，旧金山（2002）
[32] Yannakakis，M.：通过锁定的可串行性。J.ACM 31（2），227–244（1984）·Zbl 0631.68078号 ·doi:10.1145/62.322425
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。