β Scribed by Vijay K. Garg (auth.)
No coin nor oath required. For personal study only.
Distributed computer systems are now widely available but, despite a number of recent advances, the design of software for these systems remains a challenging task, involving two main difficulties: the absence of a shared clock and the absence of a shared memory. The absence of a shared clock means that the concept of time is not useful in distributed systems. The absence of shared memory implies that the concept of a state of a distributed system also needs to be redefined. These two important concepts occupy a major portion of this book.
Principles of Distributed Systems describes tools and techniques that have been successfully applied to tackle the problem of global time and state in distributed systems. The author demonstrates that the concept of time can be replaced by that of causality, and clocks can be constructed to provide causality information. The problem of not having a global state is alleviated by developing efficient algorithms for detecting properties and computing global functions.
The author's major emphasis is in developing general mechanisms that can be applied to a variety of problems. For example, instead of discussing algorithms for standard problems, such as termination detection and deadlocks, the book discusses algorithms to detect general properties of a distributed computation. Also included are several worked examples and exercise problems that can be used for individual practice and classroom instruction.
Audience: Can be used to teach a one-semester graduate course on distributed systems. Also an invaluable reference book for researchers and practitioners working on the many different aspects of distributed systems.
Front Matter....Pages i-xvii
Introduction to Distributed Systems....Pages 1-10
Time....Pages 11-47
Mutual Exclusion....Pages 49-70
Global State....Pages 71-84
Possible Global Predicates....Pages 85-95
Conjunctive Possible Global Predicates....Pages 97-136
Relational Possible Global Predicates....Pages 137-164
Inevitable Global Predicates....Pages 165-177
Control Flow Predicates....Pages 179-190
Order....Pages 191-212
Computation....Pages 213-246
Back Matter....Pages 247-254
Processor Architectures; Software Engineering/Programming and Operating Systems; Programming Languages, Compilers, Interpreters
π SIMILAR VOLUMES
<P><B></B> Provides a comprehensive treatment of technical problems of distributed database systems from a holistic viewpoint. <B>KEYTOPICS:</B> Explores the development of distributed database management systemsβfocusing on concepts and technical issues. </P>
The fourth edition of this classic textbook provides major updates. This edition has completely new chapters on Big Data Platforms (distributed storage systems, MapReduce, Spark, data stream processing, graph analytics) and on NoSQL, NewSQL and polystore systems. It also includes an updated web data
<p>This third edition of a classic textbook can be used to teach at the senior undergraduate and graduate levels. The material concentrates on fundamental theories as well as techniques and algorithms. The advent of the Internet and the World Wide Web, and, more recently, the emergence of cloud comp
<p>This third edition of a classic textbook can be used to teach at the senior undergraduate and graduate levels. The material concentrates on fundamental theories as well as techniques and algorithms. The advent of the Internet and the World Wide Web, and, more recently, the emergence of cloud comp
Presents a complete introduction to distributed principles and paradigms. Author identifies the seven key principles of distributed systems, and presents extensive examples of each. For all developers, software engineers, and architects who need an in-depth understanding of distributed systems.