随机两进程无等待测试集

Randomized Two-Process Wait-Free Test-and-Set

John Tromp, Paul Vitanyi

备注：: 9 pages, 4 figures, LaTeX source; Submitted

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们提出了第一个明确的，目前最简单的，随机算法的2进程等待免费的测试和设置。它由两个4值单写单读原子变量实现。测试和设置最多需要11个预期的基本步骤，而重置只需要1个基本步骤。基于有限状态分析，正确性证明和预期长度被压缩到一个表中。

英文摘要：

We present the first explicit, and currently simplest, randomized algorithm for 2-process wait-free test-and-set. It is implemented with two 4-valued single writer single reader atomic variables. A test-and-set takes at most 11 expected elementary steps, while a reset takes exactly 1 elementary step. Based on a finite-state analysis, the proofs of correctness and expected length are compressed into one table.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

异步移动机器人的随机集结

Randomized Gathering of Asynchronous Mobile Robots

本文回顾了广泛研究的\textit{gathering}问题的两个机器人的情况下，允许随机化的异步调度模型。调度器被认为是对手，它决定了机器人的激活时间表。基于对随机比特结果的了解，对手有两种类型，即遗忘型和自适应型。机器人遵循\textit{wait-look-compute-move}循环。在本文中，我们根据对手控制等待时间，计算延迟和机器人速度等参数的能力对问题进行分类，并检查收集对抗知识和能力的可行性。主要贡献包括：（i）零计算延迟;（ii）等待时间和计算延迟之和大于一个正值的不经意对手收集的可能性。我们用不可能来补充可能性。我们表明，这是不可能的机器人聚集对非负等待时间和非负计算延迟的自适应对手。最后，我们还扩展了我们的算法，多个机器人合并。

2019-09-22cs.DC

快速公平的随机无等待锁

Fast and Fair Randomized Wait-Free Locks

我们提出了一个随机的方法，在任何进程可以任意延迟的情况下，具有较强的时间和公平性的界限的无等待锁。我们的方法支持一个tryLock操作，该操作被赋予一组锁，以及在获取所有锁时运行的代码。如果锁上存在争用，则tryLock操作或尝试可能会失败，在这种情况下，代码不会运行。给定算法已知的关于任何锁的点争用的上界$κ$，以及关于tryLock的集合中的锁的数量的上界$L$，tryLock将以至少$1/(κL)$的概率成功获取其锁并运行代码。这是公平的。此外，如果任何锁中的代码的最大步骤复杂度是$T$，则无论成功还是失败，尝试都将执行$O(κ^2 L^2 T)$步骤。这些尝试是独立的，因此，如果在失败时重复重试tryLock，则它将在$O(κ^3 L^3 T)$预期的步骤中成功，并且很有可能不会太多。

2022-10-28cs.DCcs.DS

最优空间中的确定性快速随机测试集

Deterministic and Fast Randomized Test-and-Set in Optimal Space

test-and-set对象是共享内存系统的基本同步原语。一个test-and-set对象存储一个位，初始化为0，并支持一个操作test&set（），该操作将位的值设置为1并返回其先前的值。本文研究了在具有n个进程的标准异步共享内存模型中，实现测试和设置对象所需的原子寄存器数量。对于无障碍（Giakkoupis和Woelfel，2012）和无死锁（Styer和Peterson，1989）实现，最佳下限是log（n）-1。最近提出了一种使用O（sqrt（n））寄存器的确定性无障碍实现（Giakkoupis，Helmi，Higham和Woelfel，2013）。本文关闭了这些已知的上限和下限之间的差距，提出了一个确定性的无障碍实现的测试和设置对象从Theta（log n）寄存器的大小Theta（log n）位。我们还提供了一种技术来转换任何确定性的无障碍算法，其中，从任何配置，任何过程都可以完成，如果它运行了b个步骤没有干扰，到一个随机的无等待算法的不经意的对手，其中预期的步骤复杂度是多项式在n和b。这种转换允许我们将我们的无障碍算法与Giakkoupis和Woelfel（2012）的随机测试和设置算法相结合，以从Theta（log n）寄存器获得随机无等待的测试和设置算法，具有针对遗忘对手的预期步骤复杂度Theta（log* n）。

2016-08-22cs.DC

一个并发无界无等待图

A Concurrent Unbounded Wait-Free Graph

在本文中，我们提出了一个有效的并发无等待算法来构造一个无界有向图的共享内存结构。据我们所知，这是第一个无等待算法的无界有向图中的顶点和/或边的插入和删除可以同时发生。为了在动态设置中实现无等待，线程通过其他线程使用操作符描述符来帮助彼此执行所需的任务。为了提高算法的性能，我们还提出了一种基于快速路径-慢速路径原理的优化无等待图，并证明了所有的图操作都是无等待的和可线性化的。我们在C++中实现了我们的算法，并通过几个微基准测试其性能。我们的实验结果显示，与基于全局锁的实现相比，平均提高了9倍。

2019-04-24cs.DC

不交集并的一个随机并行算法

A Randomized Concurrent Algorithm for Disjoint Set Union

不交集并问题是数据结构中的一个基本问题，有着广泛的应用。我们扩展了一个已知的有效的顺序算法，这个问题得到一个简单而有效的并发等待免费的算法上运行的异步并行随机存取机（APRAM）。对我们的结果至关重要的是随机化的使用。在一定的独立性假设下，对于一个有n个元素，m个操作和p个过程的问题实例，我们的算法做Theta（m（alpha（n，m/（np））+ log（np/m + 1）预期的工作，其中期望是在算法所做的随机选择上，alpha是Ackermann函数的函数逆。此外，每个操作都需要O（log n）的步骤，具有高概率。我们的算法是显着更简单，更有效地比以前的算法提出的安德森和沃尔。在我们的独立性假设下，我们的算法实现了几乎线性的加速应用程序中，所有或大部分的进程可以保持忙碌。

2016-12-05cs.DCcs.DS

并行不交集并

Concurrent Disjoint Set Union

我们开发和分析并发算法的不相交的集合联合（union-find）问题在共享内存，异步多处理器模型的计算，与CAS（比较和交换）或DCAS（双比较和交换）作为同步原语。我们给出了一个确定性的有界无等待算法，使用DCAS和有$O(m \cdot (\log(np/m + 1) + α(n, m/(np)))$的总工作界的问题与$n$元素和$m$操作解决的$p$过程，其中$α$是一个功能逆的阿克曼函数。我们给出了两个只使用CAS的随机算法，并且在期望上有相同的工作界。即使调度器是对抗的，第二随机算法的分析也是有效的。我们的DCAS和随机算法每次操作都要执行$O(\log n)$步骤，DCAS算法是最差情况，随机算法是高概率。我们的工作和步长边界只在$p$中以几何方式增长，使我们的算法真正具有可扩展性。我们证明了一类对称算法，包括我们的，没有更好的步骤或工作界是可能的。

2020-03-02cs.DCcs.DS

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

高效的随机化测试集实现

Efficient Randomized Test-And-Set Implementations

我们研究随机测试和设置（TAS）的实现从寄存器中的异步共享内存模型与n个进程。我们介绍了组选举的问题，领导选举的自然变种，并提出了一个框架，从组选举对象的TAS对象的实现。然后，我们提出了两个组选举算法，每个产生一个有效的TAS实现。第一种实现在位置不经意攻击者模型中具有预期的最大步长复杂度$O(\log^\ast k)$，第二种实现具有针对任何读/写不经意攻击者的预期的最大步长复杂度$O(\log\log k)$，其中$k\leq n$是竞争。这些算法改进了Alistarh和Aspnes [2]提出的$O(\log\log n)$期望最大步复杂度的上界。我们还针对强自适应对手提出了对Alistarh，Attiya，Gilbert，Giurgiu和Guerraoui [5]的TAS算法的修改，将其空间复杂度从超线性提高到线性，同时保持其$O(\log n)$预期的最大步长复杂度。然后，我们描述了如何将该算法与任何随机TAS算法相结合，预期最大步的复杂性$T(n)$在一个较弱的对手模型，使所得到的算法有$O(\log n)$预期最大步的复杂性对任何强的自适应对手和$O(T(n))$在较弱的对手模型。最后，证明了对于任意随机2进程TAS算法，存在一个由不经意对手确定的调度，使得至少有$(1/4)^t$一个进程至少需要t步才能完成其TAS操作.这补充了Attiya和Censor-Hill…

2019-02-11cs.DC

使用测试和设置和最大寄存器的一位交换对象

A one-bit swap object using test-and-sets and a max register

我们描述了一个线性化的，等待免费实现的一位交换对象从一个单一的最大寄存器和一个无界数组的测试和设置位。每个交换操作最多需要三个步骤。使用标准的随机结构，最大寄存器和测试和设置位可以被读写寄存器取代，代价是将交换操作的成本提高到预期的O（max（log n，min（log t，n）步，其中t是交换对象先前改变其值的次数，n是进程的数量。

2012-10-23cs.DCcs.DS