نتایج غیرممکن برای محاسبات توزیع‌شده ۲۰۲۲
Impossibility Results for Distributed Computing 2022

برای درک قدرت سیستم‌های توزیع‌شده، لازم است محدودیت‌های ذاتی آن‌ها را بشناسیم: چه مسائلی را نمی‌توان در سیستم‌های خاص، یا بدون منابع کافی (مانند زمان یا فضا) حل کرد. این کتاب تکنیک‌های کلیدی برای اثبات چنین نتایج ناممکنی را ارائه می‌دهد و آن‌ها را در مسائل مختلف در مدل‌های سیستمی گوناگون به کار می‌گیرد. بینش‌های به دست آمده از این نتایج برجسته شده، جنبه‌هایی از یک مسئله که آن را دشوار می‌کند جدا شده، ویژگی‌های یک معماری که آن را برای حل کارآمد برخی مسائل ناکافی می‌سازد شناسایی شده، و مدل‌های سیستمی مختلف با یکدیگر مقایسه می‌شوند.

To understand the power of distributed systems, it is necessary to understand their inherent limitations: what problems cannot be solved in particular systems, or without sufficient resources (such as time or space). This book presents key techniques for proving such impossibility results and applies them to a variety of different problems in a variety of different system models. Insights gained from these results are highlighted, aspects of a problem that make it difficult are isolated, features of an architecture that make it inadequate for solving certain problems efficiently are identified, and different system models are compared.