Computing with infinitely many processes: Under assumptions on concurrency and participation

Michael Merritt, Gadi Taubenfeld

نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

ملخص

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.

اللغة الأصليةالإنجليزيّة
عنوان منشور المضيفDistributed Computing-14th InternationalConference, DISC 2000, Proceedings
المحررونMaurice Herlihy
ناشرSpringer Verlag
الصفحات164-178
عدد الصفحات15
رقم المعيار الدولي للكتب (المطبوع)3540411437
المعرِّفات الرقمية للأشياء
حالة النشرنُشِر - 2000
الحدث14th International Conference on Distributed Computing, DISC 2000 - Toledo, أسبانيا
المدة: ٤ أكتوبر ٢٠٠٠٦ أكتوبر ٢٠٠٠

سلسلة المنشورات

الاسمLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
مستوى الصوت1914
رقم المعيار الدولي للدوريات (المطبوع)0302-9743
رقم المعيار الدولي للدوريات (الإلكتروني)1611-3349

!!Conference

!!Conference14th International Conference on Distributed Computing, DISC 2000
الدولة/الإقليمأسبانيا
المدينةToledo
المدة٤/١٠/٠٠٦/١٠/٠٠

ملاحظة ببليوغرافية

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.

بصمة

أدرس بدقة موضوعات البحث “Computing with infinitely many processes: Under assumptions on concurrency and participation'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا