[PDF][PDF] Wait-free parallel algorithms for the union-find problem
RJ Anderson, H Woll - Proceedings of the twenty-third annual ACM …, 1991 - dl.acm.org
RJ Anderson, H Woll
Proceedings of the twenty-third annual ACM symposium on Theory of computing, 1991•dl.acm.orgWe are interested in designing efficient data structures for a shared memory multiprocessor.
In this paper we focus on the union-find data structure. Our machine model is asynchronous
and allows stopping faults. Thus we require our solutions to the data structure problem have
the wait-free property, meaning that each thread continues to make progress on its
operations, independent of the speeds of the other threads. In this model efficiency is best
measured in terms of the total number of instructions used to perform a sequence of data …
In this paper we focus on the union-find data structure. Our machine model is asynchronous
and allows stopping faults. Thus we require our solutions to the data structure problem have
the wait-free property, meaning that each thread continues to make progress on its
operations, independent of the speeds of the other threads. In this model efficiency is best
measured in terms of the total number of instructions used to perform a sequence of data …
Abstract
We are interested in designing efficient data structures for a shared memory multiprocessor. In this paper we focus on the union-find data structure. Our machine model is asynchronous and allows stopping faults. Thus we require our solutions to the data structure problem have the wait-free property, meaning that each thread continues to make progress on its operations, independent of the speeds of the other threads. In this model efficiency is best measured in terms of the total number of instructions used to perform a sequence of data structure operations, the work performed by the processors. We give a wait-free implementation of an efficient algorithm for union-find. In addition we show that the worst case performance of the algorithm can be improved by simulating a synchronized algorithm, or by simulating a larger machine if the data structure requests support sufficient parallelism. Our solutions apply to a much more general adversary model than has been considered by other authors.
ACM Digital Library