达米安·伊姆斯；米歇尔·雷纳尔 需要时提供帮助，但仅此而已：高效的读/写部分快照。 （英语） Zbl 1261.68028号 Keidar，Idit（编辑），《分布式计算》。2009年9月23日至25日，第23届国际研讨会，DISC 2009，西班牙埃尔切。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04354-3/pbk）。计算机科学课堂讲稿5805142-156（2009）。 摘要：原子快照对象是一个可以被容易崩溃的异步进程并发访问的对象。它由\（m\）个组件（基本原子寄存器）组成，由两个操作定义：一个更新操作允许进程原子地为组件分配新值，另一个快照操作原子地读取并返回所有组件的值。为了应对并发、异步和故障的净影响，实现更新操作的算法必须帮助并发快照操作，使其始终终止。本文是关于部分快照对象的。这样的对象提供了一个快照操作，可以将组件的任何子集作为输入参数，并自动读取和返回该组件子集的值。这篇论文有两篇贡献。首先，介绍了部分快照对象算法的两个属性，称为help-lonality和freshness。帮助级别要求更新操作仅帮助读取其写入的组件的并发部分快照操作。当组件\（r）的更新有助于部分快照时，刷新要求更新为部分快照提供组件\（r\）的值，该值至少与写入该组件的值相同。（到目前为止，还没有提出满足这些特性的快照算法。）第二个贡献包括更新和部分快照算法，它们是无等待的、线性化的，并且满足先前的效率特性。有趣的是，所提出算法的基本原理与目前使用的不同，即它基于“先写，后帮助”策略。本文还对以前的算法进行了改进。这种改进基于LL/SC原子寄存器（而不是读/写寄存器），将基址寄存器的数量从\（O（n^{2}）\）减少到\（O）（n）\）。这显示了在使用“先写后帮助”策略时，在基本操作的同步能力和基本原子寄存器的数量之间进行的一个有趣的权衡。关于整个系列，请参见[Zbl 1175.68013号]. 引用于5文件 MSC公司： 64岁以下 分布式系统 关键词：自适应算法；异步共享存储系统；异步；原子性；效率；并发；线性化能力；LL/SC原子寄存器；地方；部分快照；进程崩溃；读/写原子寄存器；无等待算法 PDF格式BibTeX公司 XML格式引用 \textit{D.Imbs}和\textit{M.Raynal}，莱克特。注释计算。科学。5805142-156（2009年；Zbl 1261.68028） 全文： DOI程序 链接