Elements of Distributed Computing

Vijay K. Garg

424 pages, parution le 26/06/2002

Ajouter à une liste

Indisponible

Résumé

A lucid and up-to-date introduction to the fundamentals of distributed computing systems.

As distributed systems become increasingly available, the need for a fundamental discussion of the subject has grown. Designed for first-year graduate students and advanced undergraduates as well as practicing computer engineers seeking a solid grounding in the subject, this well-organized text covers the fundamental concepts in distributed computing systems such as time, state, simultaneity, order, knowledge, failure, and agreement in distributed systems.

Departing from the focus on shared memory and synchronous systems commonly taken by other texts, this is the first useful reference based on an asynchronous model of distributed computing, the most widely used in academia and industry. The emphasis of the book is on developing general mechanisms that can be applied to a variety of problems. Its examples–clocks, locks, cameras, sensors, controllers, slicers, and synchronizers–have been carefully chosen so that they are fundamental and yet useful in practical contexts.

The text's advantages include:

Emphasizes general mechanisms that can be applied to a variety of problems
Uses a simple induction-based technique to prove correctness of all algorithms
Includes a variety of exercises at the end of each chapter
Contains material that has been extensively class tested
Gives instructor flexibility in choosing appropriate balance between practice and theory of distributed computing

Contents

Introduction.
Model of a Computation.
Logical Clocks.
Verifying Clock Algorithms.
Clocks of Different Dimensions.
Mutual Exclusion: Using Timestamps.
Mutual Exclusion: Tokens and Quorums.
Drinking Philosophers Problem.
Leader Election.
Global State.
Observing Global Predicates.
Observing Conjuctive Predicates.
Channel Predicates.
Termination Detection.
Control of a Distributed Computation.
Causal Message Ordering.
Synchronous and Total Message Ordering.
Computation of a Global Functon.
Repeated Global Computation of a Global Function.
Synchronizers.
Slicers.
Distributed Shared Memory.
Self-Stabilization.
Knowledge and Common Knowledge.
Consensus Under Asynchrony.
Consensus Under Synchrony.
Failure Detectors.
Easy Problems in Asychronous Systems.
Checkpointing for Recovery.
Message Logging for Recovery.

Appentix: Partial Orders.

L'auteur - Vijay K. Garg

Vijay K.Garg is an internationally known expert on wireless communications technologies and is an author of numerous other books published by Prentice Hall PTR, including Wireless and Personal Communications Systems with Joe Wilkes, Applications of CDMA in Wireless Communications with Ken Smolik and Joe Wilkes, and Principles and Applications of GSM with Joe Wilkes. Dr. Garg is a Fellow of the American Society of Mechanical Engineers (ASME) and American Society of Civil Engineers (ASCE). He is senior member of IEEE and a feature editor for IEEE Communications Magazine PCS Series.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Wiley
Auteur(s)	Vijay K. Garg
Parution	26/06/2002
Nb. de pages	424
Format	16 x 24
Couverture	Broché
Poids	746g
Intérieur	Noir et Blanc
EAN13	9780471036005