Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions

Maurice P. Herlihy, Yoram Moses, Mark R. Tuttle

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

ملخص

Decision tasks require that nonfaulty processes make decisions based on their input values. Simultaneous decision tasks require that nonfaulty processes decide in the same round. Most decision tasks have known worst-case lower bounds. Most also have known worst-case optimal protocols that halt in the number of rounds given by the worst-case lower bound, and some have early-stopping protocols that can halt earlier than the worst-case lower bound (sometimes in as early as two rounds). We consider what might be called earliest-possible protocols for simultaneous decision tasks. We present a new technique that converts worst-case optimal decision protocols into all-case optimal simultaneous decision protocols: For every behavior of the adversary, the all-case optimal protocol decides as soon as any protocol can decide in a run with the same adversarial behavior. Examples to which this can be applied include set consensus, condition-based consensus, renaming and order-preserving renaming. Some of these tasks can be solved significantly faster than the classical simultaneous consensus task. A byproduct of the analysis is a proof that improving on the worst-case bound for any simultaneous task by even a single round is as hard as reaching simultaneous consensus.

اللغة الأصليةالإنجليزيّة
عنوان منشور المضيفPODC'11 - Proceedings of the 2011 ACM Symposium Principles of Distributed Computing
الصفحات231-238
عدد الصفحات8
المعرِّفات الرقمية للأشياء
حالة النشرنُشِر - 2011
الحدث30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC'11, Held as Part of the 5th Federated Computing Research Conference, FCRC - San Jose, CA, الولايات المتّحدة
المدة: ٦ يونيو ٢٠١١٨ يونيو ٢٠١١

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

الاسمProceedings of the Annual ACM Symposium on Principles of Distributed Computing

!!Conference

!!Conference30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC'11, Held as Part of the 5th Federated Computing Research Conference, FCRC
الدولة/الإقليمالولايات المتّحدة
المدينةSan Jose, CA
المدة٦/٠٦/١١٨/٠٦/١١

All Science Journal Classification (ASJC) codes

  • !!Software
  • !!Hardware and Architecture
  • !!Computer Networks and Communications

بصمة

أدرس بدقة موضوعات البحث “Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا