2 research outputs found
Space Bounds for Adaptive Renaming
We study the space complexity of implementing long-lived and one-shot
adaptive renaming from multi-reader multi-writer registers, in an asynchronous
distributed system with processes. As a result of an -adaptive renaming
algorithm each participating process gets a distinct name in the range
provided processes participate.
Let be a non-decreasing function
satisfying and let . We show
that any non-deterministic solo-terminating long-lived -adaptive renaming
object requires registers. This implies a lower bound of
registers for long-lived -adaptive renaming, which we observe is tight.
We also prove a lower bound of
registers for implementing any non-deterministic solo-terminating one-shot
-adaptive renaming. We provide two one-shot renaming algorithms: a
wait-free algorithm and an obstruction-free algorithm. Each algorithm employs a
parameter to depict the tradeoff between space and adaptivity. When these
parameters are chosen appropriately, this results in a wait-free one-shot
-adaptive renaming algorithm from registers, and an obstruction-free one-shot -adaptive renaming algorithm
from only registers
Asynchronous Exclusive Selection
An asynchronous system of processes prone to crashes, along with a number
of shared read-write registers, is the distributed setting. We consider
assigning integer numbers to processes in an exclusive manner, in the sense
that no integer is assigned to two distinct processes. In the problem called
Renaming, any processes, which hold original names from a range
, contend to acquire unique integers in a smaller range
as new names using some auxiliary shared registers. We develop a
wait-free -renaming solution operating in local steps, for , and with auxiliary
registers. We develop a wait-free -renaming algorithm operating in
time, with and with registers. We develop an almost
adaptive wait-free -renaming algorithm, with known, operating in
time, with and with
registers. We give a fully adaptive solution of Renaming,
with neither nor known, having as the bound on new
names, operating in steps and using registers. As regards lower
bounds, we show that a wait-free solution of Renaming requires
steps in the worst case. We apply
renaming algorithms to obtain solutions to a problem called Store-and-Collect,
which is about operations of storing and collecting under additional
requirements. We consider the problem called Unbounded-Naming in which
processes may repeatedly request new names, while no name can be reused once
assigned, so that infinitely many integers need to be exclusively assigned as
names in an execution