Hagit Attiya

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 highlighted, aspects of a problem that make it difficult are isolated, features of an architecture that make, inadequate for solving certain problems efficiently are identified, and different system models are compared.