TY - GEN
T1 - Computing with infinitely many processes
T2 - 14th International Conference on Distributed Computing, DISC 2000
AU - Merritt, Michael
AU - Taubenfeld, Gadi
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.
Copyright:
Copyright 2016 Elsevier B.V., All rights reserved.
PY - 2000
Y1 - 2000
N2 - We explore four classic problems in concurrent computing (election, mutual exclusion, consensus, and naming) when the number of processes which may participate is infinite. Partial information about the number of actually participating processes and the concurrency level is shown to affect the possibility and complexity of solving these problems. We survey and generalize work carried out in models with finite bounds on the number of processes, and prove several new results. These include improved bounds for election when participation is required and a new adaptive algorithm for starvation-free mutual exclusion in a model with unbounded concurrency. We also explore models where objects stronger than atomic registers, such as testandset bits, semaphores or read-modify- write registers, are used.
AB - We explore four classic problems in concurrent computing (election, mutual exclusion, consensus, and naming) when the number of processes which may participate is infinite. Partial information about the number of actually participating processes and the concurrency level is shown to affect the possibility and complexity of solving these problems. We survey and generalize work carried out in models with finite bounds on the number of processes, and prove several new results. These include improved bounds for election when participation is required and a new adaptive algorithm for starvation-free mutual exclusion in a model with unbounded concurrency. We also explore models where objects stronger than atomic registers, such as testandset bits, semaphores or read-modify- write registers, are used.
UR - http://www.scopus.com/inward/record.url?scp=34547538473&partnerID=8YFLogxK
U2 - 10.1007/3-540-40026-5_11
DO - 10.1007/3-540-40026-5_11
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:34547538473
SN - 3540411437
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 164
EP - 178
BT - Distributed Computing-14th InternationalConference, DISC 2000, Proceedings
A2 - Herlihy, Maurice
PB - Springer Verlag
Y2 - 4 October 2000 through 6 October 2000
ER -