×
达米安·伊姆斯;米歇尔·雷纳尔

必要时提供帮助，但仅限于：高效的读/写部分快照。 （英语） Zbl 1231.68082号

J.平行分布计算。 72，第1期，第1-12页（2012）.
摘要：原子快照对象是一个可以被容易崩溃的异步进程并发访问的对象。它由\（m\）个组件（基本原子寄存器）组成，由两个操作定义：一个更新操作允许进程原子化地为组件分配新值，另一个快照操作原子化地读取并返回所有组件的值。为了应对并发、异步和故障的净影响，实现更新操作的算法必须帮助并发快照操作，使其始终终止。
本文是关于部分快照对象的。这样的对象提供了一个快照操作，可以将组件的任何子集作为输入参数，并自动读取和返回该组件子集的值。这篇论文有两篇贡献。首先，介绍了部分快照对象算法的两个属性，称为help-lonality和freshness。帮助级别要求更新操作仅帮助读取其写入的组件的并发部分快照操作。当组件r的更新有助于部分快照时，新鲜度要求更新为部分快照提供组件r的值，该值至少与它写入该组件的值一样新。（到目前为止，还没有提出满足这些特性的快照算法）。第二个贡献包括一个更新和一个部分快照算法，该算法无需等待，可线性化，并满足先前的效率特性。有趣的是，所提出算法的基本原理与目前使用的不同，即它基于“先写，后帮助”策略。本文还对以前的算法进行了改进。这种改进基于LL/SC原子寄存器（而不是读/写寄存器），将基址寄存器的数量从\（O（n^2）\）减少到\（O）（n）\）。这显示了在使用“先写后帮助”策略时，在基本操作的同步能力和基本原子寄存器的数量之间进行的一个有趣的权衡。

引用于6文件

MSC公司：

64岁以下 分布式系统
68宽15 分布式算法

关键词：

自适应算法;异步共享存储系统;异步;原子性;效率;并发;线性化能力;LL/SC原子寄存器;地方;部分快照;进程崩溃;读/写原子寄存器;无等待算法
PDF格式BibTeX公司 XML格式引用
\textit{D.Imbs}和\textit{M.Raynal}，J.并行分布计算。72，编号1，1-12（2012年；兹bl 1231.68082）
全文： 内政部 链接

参考文献：

[1] Afek，Y。；阿提亚，H。；多列夫，D。；加夫尼，E。；Merritt，M。；Shavit，N.：共享内存的原子快照，《ACM杂志》第40期，第4期，873-890页（1993年）·Zbl 0783.68029号 ·数字对象标识代码：10.1145/153724.153741
[2] Afek，Y。；斯图普，G。；Touitou，D.：长寿命自适应采集与应用，262-272（1999）
[3] 阿奎莱拉，M.K.：《在无数生物的土地上愉快漫步》，ACM SIGACT新闻分布式计算专栏35，第2期，36-59（2004）
[4] J.Anderson，复合寄存器，in：Proc。第九届ACM分布式计算原理研讨会，PODC’90，1990年，第15-29页。
[5] Anderson，J.：多写入复合寄存器，分布式计算7，第4期，175-195（1994）
[6] Attiya，H.：《需要：事务内存的基础》，ACM SIGACT新闻分布式计算专栏39，第1期，59-61（2008）
[7] 阿提亚，H。；Fouren，A.：《适应争论点的算法》，《ACM期刊》50，第4期，444-468（2003）·Zbl 1325.68032号
[8] 阿提亚，H。；Fouren，A。；Gafni，E.：一种具有应用程序的自适应采集算法，分布式计算1587-96（2002）
[9] 阿提亚，H。；Guerraoui，R。；Ruppert，E.：部分快照对象，336-343（2008）
[10] 阿提亚，H。；Rachman，O.：（O（nlogn）运算中的原子快照，SIAM计算杂志27，第2期，319-340（1998）·Zbl 0907.68053号 ·doi:10.1137/S00975397952795279463
[11] 阿提亚，H。；Welch，J.：分布式计算：基础、模拟和高级主题，（2004）·Zbl 0910.68077号
[12] Chandy，K.M。；Lamport，L.：分布式快照：确定分布式系统的全局状态，计算机系统上的ACM事务3，No.1，63-75（1985）
[13] F、 艾伦：拍一张快照有多难？，28-37 (2005) ·Zbl 1117.68320号 ·doi:10.1007/b105088
[14] Felber，P。；Fetzer，C。；Guerraoui，R。；哈里斯：交易又回来了，但还是一样吗？，ACM SIGACT新闻分布式计算专栏39，第1期，47-58（2008）
[15] Guerraoui，R。；Kapałka，M.：关于事务记忆的正确性，175-184（2008）
[16] Guerraoui，R。；Raynal，M.：《从不可靠对象到可靠对象：原子寄存器和一致性的案例》，Lncs，47-61（2007）
[17] Herlihy，M.P.：无等待同步，编程语言和系统上的ACM事务13，第1期，124-149（1991）·Zbl 1314.68380号
[18] Herlihy，M.P。；Luchangco，V.：分布式计算和多核革命，ACM SIGACT新闻分布式计算专栏39，第1期，62-72（2008）
[19] Herlihy，M.P。；沙维特，N.：《多处理器编程的艺术》（2008）
[20] Herlihy，M.P。；Wing，J.M.：线性化：并发对象的正确性条件，编程语言和系统上的ACM事务12，第3期，463-492（1990）
[21] 艾姆斯·D。；Raynal，M.：一种满足不透明度和累进性的基于锁的STM协议，Lncs，226-245（2008）
[22] 艾姆斯·D。；Raynal，M.：需要时提供帮助，但不再需要：高效读/写部分快照，Lncs，142-156（2009）·Zbl 1261.68028号
[23] 井上，I。；Chen，W。；T.Masuzawa。；Tokura，N.：使用多写多读寄存器的线性时间快照，130-140（1994）
[24] A.Israeli，L.Rappoport，强共享内存原语的Disjoint访问并行实现，in：Proc。第13届ACM分布式计算原理研讨会，PODC’94，1994年，第151-160页·Zbl 1373.68102号
[25] Jayanti，P.：最佳多写快照算法，723-732（2005）·Zbl 1192.68449号 ·数字对象标识代码：10.1145/1060590.1060697
[26] Lynch，N.A.：分布式算法（1996）·Zbl 0877.68061号
[27] 北沙维特。；Touitou，D.：软件事务存储器，分布式计算10，第2期，99-116（1997）
[28] Taubenfeld，G.：同步算法和并发编程（2006）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。