文件大小：0.55 MB 17页
可重构格协议及其应用
作者
-
部分： 音量： 第23届分布式系统原理国际会议（OPODIS 2019）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 国际分布式系统原理会议（OPODIS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2020-02-11
文件
文件标识符
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论 → 分布式算法
关键词
可重新配置的服务 格子协议
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Yehuda Afek、Hagit Attiya、Danny Dolev、Eli Gafni、Michael Merritt和Nir Shavit。 共享内存的原子快照。 雅克姆，40（4）：873-8901993。 
-
马科斯·卡瓦佐·阿奎莱拉（Marcos Kawazoe Aguilera）、伊迪特·基达尔（Idit Keidar）、达赫利亚·马尔基（Dahlia Malkhi）和亚历山大·施拉尔（Alexander Shraer）。 未达成一致意见的动态原子存储。 J.ACM，58（2）：7:1-7:322011年。
-
爱德华多·阿尔切里（Eduardo Alchieri）、艾莉森·贝萨尼（Alysson Bessani）、法比奥拉·格雷夫（Fabíola Greve）和乔尼·达席尔瓦·弗拉加（Joni da Silva Fraga）。 高效、模块化、无共识的容错存储重新配置。 在OPODIS中，2017年第26:1-26:17页。
-
詹姆斯·阿斯普内斯（James Aspnes）、哈吉特·阿提亚（Hagit Attiya）和克伦·塞纳（Keren Censor）。 最大寄存器、计数器和单音电路。 在PODC中，第36-45页，2009年。
-
詹姆斯·阿斯彭斯和费斯·艾伦。 采用承诺对象的严格界限。 理论计算。 系统。， 55(3):451-474, 2014. 网址： https://doi.org/10.1007/s00224-013-9448-1 . -
Hagit Attiya、Amotz Bar-Noy和Danny Dolev。 在消息传递系统中稳健地共享内存。 美国医学会杂志（JACM），42（2）：124-1421995。
-
Hagit Attiya、Hyun Chul Chung、Faith Ellen、Saptaparni Kumar和Jennifer L.Welch。 在从不停止更改的系统中模拟共享寄存器。 IEEE传输。 并行分配系统。， 30(3):544-559, 2019.
-
哈吉特·阿提亚（Hagit Attiya）、莫里斯·赫利希（Maurice Herlihy）和奥菲尔·拉赫曼（Ophir Rachman）。 使用格协议的原子快照。 分布式计算。， 8(3):121-132, 1995.
-
罗伯托·巴多尼、西尔维娅·博诺米、安妮·马里·科马拉克和米歇尔·雷纳尔。 在动态分布式系统中实现寄存器。 在ICDCS中，第639-647页，2009年。
-
伊丽莎白·博罗夫斯基（Elizabeth Borowsky）和伊莱·加夫尼（Eli Gafni）。 t-弹性异步计算的广义FLP不可能性结果。 STOC，第91-100页，1993年。
-
克里斯蒂安·卡钦（Christian Cachin）、拉希德·格拉乌伊（Rachid Guerraoui）和路易斯·罗德里格斯（Luís Rodrigues）。 介绍可靠和安全的分布式编程。 施普林格科学与商业媒体，2011年。
-
阿曼多·卡斯塔涅达（Armando Castañeda）、塞尔吉奥·拉兹鲍姆（Sergio Rajsbaum）和米歇尔·雷纳尔（Michel Raynal）。 统一并发对象和分布式任务：间隔线性化。 J.ACM，65（6）：45:1-45:422018年。
-
米盖尔·卡斯特罗和芭芭拉·利斯科夫。 实用的拜占庭容错和主动恢复。 ACM事务处理。 计算。 系统。， 20（4）：398-4612002年。
-
Gregory V.Chockler、Rachid Guerraoui、Idit Keidar和Marko Vukolic。 可靠的分布式存储。 IEEE计算机，42（4）：60-672009。
-
Jose Faleiro、Sriram Rajamani、Kaushik Rajan、Ganesan Ramalingam和Kapil Vaswani。 广义格协议。 PODC，第125-134页，2012年。
-
Michael J.Fischer、Nancy A.Lynch和Michael S.Paterson。 一个错误过程不可能实现分布式共识。 雅克姆，32（2）：374-3822985。
-
埃利·加夫尼。 循环故障检测器：统一同步和异步。 在PODC中，第143-152页，1998年。
-
Eli Gafni和Dahlia Malkhi。 通过节省的推测快照解决方案进行弹性配置维护。 在DISC中，第140-153页，2015年。
-
大卫·吉福德（David K.Gifford）。 复制数据的加权投票。 在SOSP中，第150-1621979页。
-
塞斯·吉尔伯特（Seth Gilbert）、南希·林奇（Nancy A.Lynch）和亚历山大·施瓦茨曼（Alexander A.Shvartsman）。 Rambo：用于动态网络的健壮、可重新配置的原子内存服务。 分布式计算。， 23(4):225-272, 2010.
-
莫里斯·赫利希（Maurice Herlihy）。 无需等待同步。 ACM事务处理。 程序。 语言系统。， 13(1):123-149, 1991.
-
莫里斯·赫利希（Maurice Herlihy）和珍妮特·温格（Jeannette M.Wing）。 线性化：并发对象的正确条件。 ACM事务处理。 程序。 语言系统。， 12(3):463-492, 1990.
-
Leander Jehl、Roman Vitenberg和Hein Meling。 SmartMerge：一种新的原子存储重新配置方法。 在DISC中，第154-169页，2015年。
-
彼得·库兹涅佐夫（Petr Kuznetsov）、蒂鲍特·里乌托德（Thibault Rieutord）和萨拉·图奇·皮尔乔瓦尼（Sara Tucci-Pirgiovanni）。 可重构格协议及其应用。 CoRR，abs/1910.092642019年。 网址： http://arxiv.org/abs/1910.09264 . -
莱斯利·兰波特。 兼职议会。 ACM事务处理。 计算。 系统。， 16（2）:133-169998年。
-
Leslie Lamport、Dahlia Malkhi和Lidong Zhou。 重新配置状态机。 SIGACT新闻，41（1）：63-732010。
-
马蒂厄·佩林（Matthieu Perrin），《并发性和一致性》（Concurrency and Consistency）。 在分布式系统中。 Elsevier，2017年。 网址： https://doi.org/10.1016/B978-1-78548-226-7.50008-2 . -
弗雷德·施耐德。 使用状态机方法实现容错服务：教程。 ACM计算。 调查。， 22(4):299-319, 1990.
-
马克·夏皮罗（Marc Shapiro）、努诺·M·普雷古伊萨（Nuno M.Preguiça）、卡洛斯·巴奎罗（Carlos Baquero）和马雷克·扎维斯基（Marek Zawirski）。 无冲突的复制数据类型。 在SSS中，第386-400页，2011年。
-
Jan Skrzypczak、Florian Schintke和Thorsten Schütt。 无日志的基于状态的CRDT的线性化状态机复制。 CoRR，abs/1905.087332019年。 网址： http://arxiv.org/abs/1905.08733 . -
亚历山大·斯皮格曼（Alexander Spiegelman）、艾迪特·基达尔（Idit Keidar）和达丽亚·马尔基（Dahlia Malkhi）。 动态重构：抽象和最佳异步解决方案。 在DISC中，第40:1-40:15页，2017年。