We consider the task of assigning unique integers to a group of processes in an asynchronous distributed system of a total of $n$ processes prone to crashes that communicate through shared read-write registers. In the Renaming problem, an arbitrary group of $k\le n$ processes that hold the original names from a range $[N]=\{1,\ldots,N\}$, contend to acquire unique integers in a smaller range $[M]$ as new names using some $r$ auxiliary shared registers. We give number of wait-free renaming algorithms, in particular an adaptive one having $M=8k-\lg k-1$ as a bound on the range of new names that operates in $O(k)$ local steps and uses $r=O(n^2)$ registers. As a lower bound, we show that a wait-free solution to Renaming requires $1+\min\{k-2,\lfloor\log_{2r} \frac{N}{M+k-1}\rfloor\}$ steps in the worst case. We apply renaming algorithms to obtain solutions to Store&Collect problem, which is about a group of $k\le n$ processes with the original names in a range $[N]$ proposing individual values (operation Store) and returning a view of all proposed values (operation Collect), while using some $r$ auxiliary shared read-write registers. We consider a problem Mining-Names, in which processes may repeatedly request positive integers as new names subject to the constraints that no integer can be assigned to different processes and the number of integers never acquired as names is finite in an infinite execution. We give two solutions to Mining-Names in a distributed system in which there are infinitely many shared read-write registers available. A non-blocking solution leaves at most $2n-2$ nonnegative integers never assigned as names, and a wait-free algorithm leaves at most $(n+2)(n-1)$ nonnegative integers never assigned as names.
翻译:我们考虑在一个非同步分布系统中为一组进程分配独有的整数任务, 这个系统是一个总值为$nn 且容易崩溃的流程, 它通过共享读写登记册进行沟通。 在重命名问题中, 一个任意的 $k\le n$ 进程组, 它持有一个范围的 $[N]\\\\\\\\\\\\\\\\\\\\\\\\\\ $, 以较小范围获得独有的整数 $ $( $), 使用一些 $nnnn, 且不等待重命名。 我们给一个适应的n=8k- lg k-1$, 在一个以 $( k) 当地步骤运行并使用 $( $) $ (n) liver2) 注册的新的整数 。 我们使用重新命名的算法, 将一个最坏的正数( 将一个正数的运算法, 将一个正数的运算的运算中, 将一个最有正数的运算的运算中, 以所有的运算中, 将一个正数表示号作为正数 。