Randomized Wait-Free Naming
نویسندگان
چکیده
We present new distributed randomized naming protocols improving previous results in renaming and unique processor identity protocols. They are wait-free (which implies maximal fault-tolerance) and allow stronger adversaries. They also have low complexity. We give the rst wait-free protocol achieving optimal key space range. (This is impossible for deterministic wait-free methods, so we use randomization.) We also introduce a novel wait-free object, a test-and-set object which upon invocation succeeds with probability less than 1, and we give a low complexity implementation of such objects.
منابع مشابه
Competitive Freshness Algorithms for Wait-Free Data Objects
Wait-free concurrent data objects are widely used in multiprocessor systems and real-time systems. Their popularity results from the fact that they avoid locking and that concurrent operations on such data objects are guaranteed to finish in a bounded number of steps regardless of the other operations interference. The data objects allow high access parallelism and guarantee correctness of the ...
متن کاملA Randomized Algorithm for Two - ProcessWait - Free Test
The work of Herlihy and Plotkin on universal shared objects shows how to implement arbitrary wait-free read-modify-write objects from a bounded number of shared read/write bits. deterministically in a concurrent setting using only atomic shared variables. We present a simple randomized algorithm for 2-process wait-free test-and-set, implemented with two 4-valued single writer single reader atom...
متن کاملThe Anonymous Consensus Hierarchy and Naming Problems
This paper investigates whether the assumption of unique identifiers is essential for wait-free distributed computing using shared objects of various types. Algorithms where all processes are programmed identically and do not use unique identifiers are called anonymous. A variety of results are given about the anonymous solvability of two key problems, consensus and naming, in systems of variou...
متن کاملRandomized Wait Free Concurrent Objects
A concurrent object is a data structure shared by concurrent processes A wait free implementation of a concurrent object guarantees that every operation completes in a nite number of steps regardless of how processes interleave It is known however that if concurrent processes communicate only by applying read and write operations to a shared memory then it is impossible to con struct wait free ...
متن کاملWait-Freedom is Harder Than Lock-Freedom Under Strong Linearizability
In randomized algorithms, replacing atomic shared objects with linearizable [1] implementations may affect probability distributions over outcomes [2]. To avoid this problem in the adaptive adversary model, it is necessary and sufficient that implemented objects satisfy strong linearizability [2]. In this paper we study the existence of strongly linearizable implementations from multi-writer re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994