首页/论文/1007.1802

arXiv 1007.18022010-07-31cs.DCcs.NI

实际稳定的原子存储器

Practically Stabilizing Atomic Memory

Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sebastien Tixeuil

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

对单写多读原子寄存器进行了自稳定模拟。该模拟在异步消息传递系统中工作，并且允许进程崩溃，只要至少其中的大多数仍然工作。模拟中的一个关键元素是一个新的有界标记方案的组合构造，该方案可以容纳任意标签，即，包括那些不是由方案本身产生的。

英文摘要：

A self-stabilizing simulation of a single-writer multi-reader atomic register is presented. The simulation works in asynchronous message-passing systems, and allows processes to crash, as long as at least a majority of them remain working. A key element in the simulation is a new combinatorial construction of a bounded labeling scheme that can accommodate arbitrary labels, i.e., including those not generated by the scheme itself.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

实际自稳定虚拟同步

Practically-Self-Stabilizing Virtual Synchrony

虚拟同步是一个重要的抽象，当在异步的、通常是大型的、消息传递的分布式系统上实现时，它被证明是非常有用的。容错设计是此类实现成功的关键标准。这是因为大型分布式系统可以是高度可用的，只要它们不依赖于每个系统参与者的完整操作状态。也就是说，他们采用冗余的数字，以克服非最佳行为的参与者，并获得全球的鲁棒性和高可用性。自稳定系统可以容忍瞬态故障，驱动系统到一个任意的不可预测的配置。这样的系统会自动从任意配置中恢复一致性，然后产生所需的系统行为。实际上，自稳定系统确保了实际上无限数量的连续步骤的期望系统行为，$2^{64}$步骤。我们提出了第一个实际的自稳定虚拟同步算法。该算法是几个新技术的组合，可能是独立的利益。特别是，我们提出了一种新的计数器算法，建立了一个有效的实际无界计数器，这反过来又可以直接用于实现自稳定多写多读（MWMR）寄存器仿真。其他组件包括自稳定组成员资格、自稳定多播和复制状态机的自稳定仿真。当我们基于虚拟同步而不是共识来实现复制状态机时，系统在与基于共识的复制状态机相关的更极端的异步执行中前进。

2018-04-25cs.DC

拜占庭异步消息传递系统中基于服务器的存储稳定化

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems

一个稳定的拜占庭单写单读（SWSR）定期寄存器，稳定后，第一次调用写操作，首先提出。然后，通过使用写入的（有界）序列号来消除新/旧排序倒置，从而获得实际稳定的SWSR原子寄存器。一个实际上稳定的拜占庭单写多读（SWMR）原子寄存器，然后通过使用几个副本的SWSR原子寄存器。最后，有界的时间戳，每个作家的时间戳，连同SWMR原子寄存器，被用来构建一个实际稳定的拜占庭多写多读（MWMR）原子寄存器。在实现原子寄存器的$n$服务器的系统中，并且除了瞬时故障之外，如果通信是异步的，则构造容忍t<n/8拜占庭服务器，并且如果通信是同步的，则构造容忍t<n/3拜占庭服务器。所提出的算法的值得注意的特点是，（据我们所知）这些是第一个建立一个原子读/写存储的异步服务器上容易出现短暂的故障，其中最多的t可以是拜占庭。

2015-02-28cs.DC

实际有界状态空间的保稳定性

Preserving Stabilization while Practically Bounding State Space

稳定性是处理意外瞬态故障的关键可靠性属性，因为它保证即使在存在此类故障的情况下，系统也会恢复到满足其规范的状态。稳定化的理想属性之一是对每个变量使用有界空间。在本文中，我们提出了一个算法，将一个稳定的程序，使用无界域的变量到一个稳定的程序，使用有界的变量和（实际上有界的）物理时间。虽然非稳定化程序（不处理瞬时故障）可以通过分配足够大但有界的空间来处理无界变量，但需要处理任意瞬时故障的稳定化程序不能做同样的事情，因为瞬时故障可能会破坏变量的最大值。我们证明了我们的转换算法适用于几个问题，包括逻辑时钟，向量时钟，互斥，领导选举，扩散计算，基于Paxos的共识，等等。此外，我们的方法也可以用来绑定计数器在早期的工作中使用的Katz和Perry添加稳定的非稳定程序。通过将我们的算法与Katz和Perry的早期工作相结合，通过为变量分配足够大但有界的空间，可以为丰富的一类问题提供稳定性。

2017-06-09cs.DC

执行公平性缺失时的实用自稳定向量时钟

Practically-Self-Stabilizing Vector Clocks in the Absence of Execution Fairness

矢量时钟算法是基本的无等待构建块，有助于事件的因果排序。作为无等待算法，它们保证在有限数量的步骤内完成操作。稳定算法允许系统在发生瞬时故障后恢复，例如软错误和任意违反系统设计行为所依据的假设。我们提出了第一个，据我们所知，稳定的矢量时钟算法的异步容易崩溃的消息传递系统，可以恢复在一个无等待的方式发生瞬时故障后。在这些设置中，证明从（通信和崩溃故障以及）瞬时故障中的有限且无等待的恢复，限制消息和存储大小，处理所有陈旧信息的移除而不阻塞，以及处理计数器溢出事件（在不同网络节点同时发生）是具有挑战性的。我们提出了一个算法，从来没有违反安全的情况下，瞬态故障，并提供有限的时间恢复公平执行，遵循最后的瞬态故障。新颖之处在于，在没有执行公平性的情况下，该算法保证了系统可能违反安全性的次数的界限（而现有算法可能由于瞬时故障和崩溃故障的存在而永远阻塞）。由于矢量时钟促进了一些基本的同步构建块（不需要远程副本同步）在异步系统中，我们相信，我们的分析见解是有用的其他系统的设计，不能保证执行的公平性。

2017-12-21cs.DCcs.DS

自稳定Paxos

Self-Stabilizing Paxos

我们提出了第一个自稳定的共识和复制状态机的异步消息传递系统。该方案不要求所有参与者在达到实际无限执行之前进行一定数量的步骤，其中复制的状态机表现出期望的行为。换句话说，系统达到一个配置，它根据复制的状态机的指定要求进行操作，对于所有实际考虑而言足够长的执行时间。

2013-05-18cs.DC

非支持环境下的Dijkstra自稳定算法

Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments

第一个自稳定算法[Dij 73]假设存在一个中央守护进程，该守护进程每次激活一个处理器，以根据其自身状态和邻居的状态来改变状态。随后的研究重新考虑了这种算法，没有中央守护进程的假设，并在不同形式的通信，如链接寄存器的模型。在所有这些研究中，一个共同的特征是通信的原子性，无论是通过共享变量还是读/写寄存器。本文削弱了通信模型的原子性假设，提出了容忍各种较弱形式的原子性的[Dij 73]版本。首先，提出了常规寄存器的情况下的解决方案。然后，安全寄存器的情况下被认为是消极和积极的结果。本文还提出了一种基于寄存器的[Dij 73]的实现，该寄存器具有概率正确的行为，这需要弱稳定的概念。

2001-05-07cs.DC

更多相关论文收起更多论文

几乎公平消息传递网络中的自稳定私有分布式共享原子存储器

Self-Stabilizing and Private Distributed Shared Atomic Memory in Seldomly Fair Message Passing Networks

我们研究的问题，私人模仿共享内存的消息传递网络。该系统包括在N个服务器上存储和检索复制信息的客户端，其中e个是恶意的。当客户端访问恶意服务器时，该服务器响应的数据字段可能与其最初存储的值不同。然而，服务器应答和协议动作中的所有其他控制变量都是根据服务器算法的。对于Cadambe等人的编码原子存储（CAS）算法，我们提出了一种增强，确保没有信息泄漏和恶意容错。我们还考虑恢复后发生的瞬态故障，违反了假设，根据该系统的行为。在它们最后一次发生之后，瞬时故障使系统处于任意状态（而程序代码保持不变）。我们提出了一种自稳定算法，它恢复后发生的瞬态故障。Cadambe等人的这一补充考虑了异步设置，只要不发生瞬时故障。从使系统计数器（接近）到它们的最大值的瞬时故障的恢复可以包括使用全局重置过程，这要求系统运行由公平调度器控制。在恢复期之后，为不一定由公平调度器控制的异步系统运行提供安全属性。由于恢复期是有界的，瞬时故障的发生是极其罕见的，我们称之为自稳定的设计准则存在很少的公平。我们的自稳定算法在异步执行期间使用有界存储（不一定公平）。据我们所知，我们是第一个在网络系统中模拟原子共享内存的背景下解决隐私和自稳定问题的人。

2018-06-09cs.DC

改进的静默自稳定BFS树算法

Silent Self-stabilizing BFS Tree Algorithms Revised

在本文中，我们回顾了两个基本结果的自稳定文献沉默BFS生成树的构造：Dolev等人的算法和黄和陈的算法。更确切地说，我们提出了在复合原子模型的三个简单的适应这些算法的启发。然后，我们提出了这三个算法的深入研究。我们的研究结果与正确性（收敛性和封闭性，假设一个分布式的不公平守护进程）和复杂性（分析的稳定时间轮和步骤）。

2015-09-13cs.DC

$O(nΔ^3)$移动中链路寄存器模型最大匹配的自稳定算法

A self-stabilizing algorithm for maximal matching in link-register model in $O(nΔ^3)$ moves

在匹配问题中，每个节点都有一个指向它的一个邻居或$null$的指针，当每个节点指向一个自己指向它的邻居时（它们被称为已婚），或者指向$null$时，计算最大匹配，在这种情况下，没有邻居也可以指向$null$。本文提出了一种自稳定的分布式算法来计算在读/写原子下的链路寄存器模型中的最大匹配，其复杂性为{ $O(nΔ^3)$ }在对抗分布式守护进程下移动，其中$Δ$是图的最大度。

2017-09-14cs.DC

多项式步长的自稳定断开元件检测与有根最短路径树维护

Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps

我们处理的问题，保持最短路径树植根于一些进程r在网络中，可能会断开拓扑变化后。然后，目标是在其连接组件中维护以r为根的最短路径树，并且使其他组件的所有进程检测到r不是其连接组件的一部分。我们提出，在复合原子模型中，一个沉默的自稳定算法，这个问题的工作在半匿名网络，边缘有严格的正权重。该算法不需要任何关于网络全局参数的先验知识。我们证明了它的正确性，假设分布式不公平的守护进程，最一般的守护进程。它的循环稳定时间至多为3nmax+D，其中nmax是连通分支中非根过程的最大个数，D是Vr的跳直径.此外，如果我们另外假设边的权重是正整数，那么它在多项式步骤中稳定下来：也就是说，我们展示了O（maxi nmax^3 n）的界，其中maxi是边的最大权重，n是进程的数量。

2017-11-30cs.DCcs.NI

可靠的自稳定准同步通信

Reliable Self-Stabilizing Communication for Quasi Rendezvous

本文提出了三个基本的公平和可靠的链路通信原语的自稳定协议。我们假设一个链接寄存器通信模型下的读/写原子，其中每个进程可以读取，但不能写入其邻居的寄存器。第一个原语保证任何进程只有在其所有邻居都读取了前一个值之后才在其寄存器中写入新值，无论进程的动作的初始调度如何。第二个原语通过使用交替位协议实现了“弱会合”通信机制：每当一个进程连续将n个值（可能是相同的值）写入寄存器时，每个邻居都保证从寄存器中读取每个值至少一次。在前一个协议的基础上，第三个原语实现了一个“准会合”：换句话说，这个原语进一步确保了两个写操作之间只存在一个读操作所有协议都是自稳定的，并且在异步任意网络中运行。本文的目标是通过一个单独的过程来处理每个原语，这可以在更复杂的自稳定协议中用作“黑盒”。

2010-05-31cs.DC

时间、空间与工作负载之间的权衡：自稳定齐鸣的案例

Trade-off between Time, Space, and Workload: the case of the Self-stabilizing Unison

提出一种在弱模型下解决异步齐鸣问题的自稳定算法，在匿名网络中实现了时间、空间与工作负载的有效权衡，并以此高效模拟同步算法，刷新了领导者选举与生成树构建的纪录。

2023-08-03cs.DC

邻域互余：自稳定实现的外观-计算-移动机器人（扩展摘要）

Neighborhood Mutual Remainder: Self-Stabilizing Implementation of Look-Compute-Move Robots (Extended Abstract)

局部互斥保证没有两个相邻进程同时进入临界区，同时满足互斥和无饥饿特性。另一方面，进程可能希望与邻居同时执行某些操作。当然，我们可以使用全局同步的时钟来实现这个任务，但是在一般的分布式系统中实现它是非常昂贵的。本文定义了邻域互余的新概念。满足邻域互余要求的分布式算法应满足全局公平性、l-排斥性和重复局部会合要求。全局公平性是满足当每个进程（请求进入临界区无限频繁）执行的临界区无限频繁，l-排除是满足当最多l个相邻进程进入临界区在同一时间，和重复的局部会合是满足当每个进程无限频繁的封闭的邻居没有进程在临界区或尝试区。我们首先形式化了邻域互余的概念，并给出了一个简单的自稳定算法来演示实现邻域互余的设计范式。我们还提出了两个应用程序的邻域相互剩余的Look-Compute-Move机器人系统。一个是用于实现移动原子属性，另一个是用于实现FSYNC调度器，其中机器人拥有以相同速度前进的独立时钟。这些是LCM同步的第一个自稳定实现。

2019-03-07cs.DC

一种自稳定的最小k-k算法

A Self-Stabilizing Minimal k-Grouping Algorithm

考虑最小k-分组问题：给定图G=（V，E）和常数k，将图G划分为直径不大于k的子图，使得任意两个子图的并的直径大于k.我们给出了一个沉默的自稳定的异步分布式算法，这个问题的复合原子模型的计算，假设网络有唯一的进程标识符。我们的算法在弱公平守护进程下工作。时间复杂度（即，达到合法配置的轮数）是O（nD/k），其中n是网络中的进程数，\diam是网络的直径。每个进程的空间复杂度为O（（n + n_{false}）log n），其中n_{false}是错误标识符的数量，即，不匹配任何进程的标识符，但在初始配置时存储在至少一个进程的本地存储器中的标识符。我们的算法保证收敛后的组数至多为$2n/k+1$。我们还给出了一种新的组合技术，重复连接一个沉默的算法，我们称之为循环组合。

2019-07-25cs.DC

异步故障网络系统的自稳定快照对象

Self-Stabilizing Snapshot Objects for Asynchronous Fail-Prone Network Systems

快照对象模拟可以原子读取的单写入器/多读取器共享寄存器数组的行为。Delporte-Gallet等人提出了两种用于异步易崩溃消息传递系统中快照对象的容错算法。他们的第一个算法是\emph{non-blocking};它允许在所有写入操作停止后终止快照操作。它使用$O(n ν)$位的$O(n)$消息，其中$n$是节点数，$ν$是表示对象所需的位数。他们的第二个算法允许快照操作总是独立于写操作终止。它会引发$O(n^2)$消息。Delporte-Gallet等人的故障模型考虑了节点崩溃。我们的目标是通过自我稳定的镜头设计更强大的快照对象-一个非常强大的容错概念。除了Delporte-Gallet et al.的故障模型，我们的自稳定算法可以恢复后发生的瞬态故障，这些故障代表任意违反的假设，根据该系统的设计操作。我们提出了自稳定的变化Delporte-Gallet等人。的非阻塞算法和总是终止算法。我们的算法有类似的Delporte-Gallet等人的通信成本。和$O(1)$恢复时间从瞬态故障。主要的区别是，我们的建议，考虑重复八卦的$O(ν)$位消息和处理有界空间。我们还考虑了一个输入参数，$δ$，我们声称有能力平衡快照操作的成本。我们验证了我们的正确性证明，评估了Delporte-Gallet等人的性能。的算法和我们提出的变化，并通过PlanetLab实验，其中观察到显着的延迟和通信成…

2020-02-28cs.DC

认证自稳定框架

A Framework for Certified Self-Stabilization

提出一个基于 Coq 的通用框架，用于认证分布式自稳定算法的证明，并通过认证一个构建 $k$-聚类的静默自稳定算法的非平凡部分及输出簇头数量上界来验证框架。

2017-11-21cs.DCcs.LO

自稳定开销：编码原子存储的实验研究

Self-stabilization Overhead: an Experimental Case Study on Coded Atomic Storage

共享内存仿真可以用作容错和高可用性的分布式存储解决方案，也可以用作低级同步原语。Attiya、Bar-Noy和Dolev是第一个提出单写入器、多读取器可线性化寄存器仿真的人，其中寄存器被复制到所有服务器。最近，Cadambe等人提出了编码原子存储（CAS）算法，该算法使用擦除编码来实现数据冗余，其通信成本比以前的算法解决方案低得多。尽管CAS可以容忍服务器崩溃，但它的设计目的并不是为了在不需要外部（人为）干预的情况下从意外的瞬时故障中恢复。在这方面，Dolev、Petig和Schiller最近开发了CAS的自稳定版本，我们称之为CASSS。正如人们所期望的那样，自我稳定并不是免费的午餐;它主要是为了检测不一致和陈旧的信息而引入的通信开销。因此，人们会怀疑自稳定引入的开销是否会抵消纠删编码的好处。为了回答这个问题，我们在PlanetLab（一个行星级分布式基础设施）上实现并实验评估了CASSS算法。评估表明，我们的实现CASSS规模非常好的服务器的数量，并发客户端的数量，以及复制对象的大小。更重要的是，它表明（a）与传统CAS算法（我们也实现了）相比，只有恒定的开销，（b）恢复期（在最后一次发生瞬时故障后）与几个客户端（读/写）操作一样快。我们的研究结果表明，CASSS不会显着影响效率，同时处理自动恢复从瞬时故障和所需资源的大小有界。

2018-07-26cs.DC