Distributed Computing

Fundamentals, Simulations, and Advanced Topics

Hagit Attiya, Jennifer Welch

414 pages, parution le 30/04/2004

Ajouter à une liste

Indisponible

Résumé

The explosive growth of distributed computing systems makes understanding them imperative. To make this notoriously difficult subject accessible, Distributed Computing: Fundamentals, Simulations, and Advanced Topics; Second Edition, provides a solid introduction to the mathematical foundations and theory of distributed computing, highlighting common themes and basic techniques.

The authors present the fundamental issues underlying the design of distributed systems--communication, coordination, synchronization, and uncertainty--as well as fundamental algorithmic concepts and lower-bound techniques. The book's unifying approach emphasizes the similarities between different models and explains inherent discrepancies between them. Focusing on ideas rather than optimizations, the book discusses major models of distributed computing, including:

Message passing and shared memory communication; synchronous and asynchronous timing models, failures, proofs of correctness, and lower bounds
Leader election, mutual exclusion, and consensus
Causality of events and clock synchronization
Simulations between models of distributed computing
Advanced topics including randomization, the wait-free hierarchy, asynchronous solvability, and failure detectors

With new material on such subjects as fast mutual exclusion and queue locks, and improved coverage of existing material throughout, this Second Edition will serve as a comprehensive textbook for graduate and advanced undergraduate students, and as a key reference for researchers and practicing professionals.

L'auteur - Hagit Attiya

Hagit Attiya received her PhD in Computer Science from Hebrew University, Jerusalem, Israel. Since 1990, she has taught in the Department of Computer Science at the Technion, HaifaIsraels leading technological university. She has published widely in leading journals and has served on the program committees for many international conferences, including chairing the program committee for the 1997 ACM Symposium on Principles of Distributed Computing.

L'auteur - Jennifer Welch

Jennifer Welch received her PhD in Computer Science from MIT in 1988. She is currently a professor in the Department of Computer Science at Texas A&M University. She has published numerous technical papers on the theory of distributed computing and has served on the program committees for several international conferences on the subject, including chairing the program committees for the 1999 ACM Symposium on Principles of Distributed Computing and the 2001 International Symposium on Distributed Computing. She has also received several teaching awards.

Sommaire

Introduction
Part I: Fundamentals
- Basic Algorithms in Message-Passing Systems
- Leader Election in Rings
- Mutual Exclusion in Shared Memory
- Fault-Tolerant Consensus
- Causality and Time
Part II: Simulations
- A Formal Model for Simulations
- Broadcast and Multicast
- Distributed Shared Memory
- Fault-Tolerant Simulations of Read/Write Objects
- Simulating Synchrony
- Improving the Fault Tolerance of Algorithms
- Fault-Tolerant Clock Synchronization
Part III: Advanced Topics
- Randomization
- Wait-Free Simulations of Arbitrary Objects
- Problems Solvable in Asynchronous Systems
- Solving Consensus in Eventually Stable Systems

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Wiley
Auteur(s)	Hagit Attiya, Jennifer Welch
Parution	30/04/2004
Nb. de pages	414
Format	16 x 24
Couverture	Relié
Poids	730g
Intérieur	Noir et Blanc
EAN13	9780471453246
ISBN13	978-0-471-45324-6