Titre : |
Distributed computing : Fundamentals, simulations and advanced topics |
Type de document : |
texte imprimé |
Auteurs : |
Hagit Attiya, Auteur ; Jennifer Welch, Auteur |
Mention d'édition : |
2e éd. |
Editeur : |
Hoboken, New Jersey : Wiley-Interscience |
Année de publication : |
2004 |
Collection : |
Wiley series on parallel and distributed computing |
Importance : |
1 vol. (414 p.) |
Présentation : |
ill., fig., graph. |
Format : |
24 cm |
ISBN/ISSN/EAN : |
978-0-471-45324-6 |
Langues : |
Anglais (eng) |
Catégories : |
Informatique
|
Mots-clés : |
Traitement électronique des données
Traitement réparti |
Index. décimale : |
004.3 Modes de traitement des données |
Résumé : |
La croissance explosive des systèmes informatiques distribués rend leur compréhension impérative. Pour rendre ce sujet notoirement difficile accessible, Distributed Computing: Fundamentals, Simulations, and Advanced Topics; Deuxième édition, fournit une introduction solide aux fondements mathématiques et à la théorie de l'informatique distribuée, mettant en évidence des thèmes communs et des techniques de base.
Les auteurs présentent les problèmes fondamentaux qui sous-tendent la conception des systèmes distribués - communication, coordination, synchronisation et incertitude - ainsi que les concepts algorithmiques fondamentaux et les techniques de limite inférieure. L'approche unificatrice du livre souligne les similitudes entre les différents modèles et explique les divergences inhérentes entre eux. En se concentrant sur des idées plutôt que des optimisations, le livre discute des modèles principaux de l'informatique distribuée, en incluant:
Transmission de messages et communication de mémoire partagée; modèles de synchronisation synchrones et asynchrones, défaillances, preuves de correction et limites inférieures
Élection du chef, exclusion mutuelle et consensus
Causalité des événements et synchronisation de l'horloge
Simulations entre modèles d'informatique distribuée
Sujets avancés, y compris la randomisation, la hiérarchie sans attente, la solvabilité asynchrone et les détecteurs de pannes
Avec de nouveaux matériaux sur des sujets tels que l'exclusion mutuelle rapide et les verrous de files d'attente, et une meilleure couverture du matériel existant, cette seconde édition servira de manuel complet pour les étudiants diplômés et avancés et sera une référence clé pour les chercheurs et les professionnels. |
Note de contenu : |
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 |
Côte titre : |
Fs/19742 |
Distributed computing : Fundamentals, simulations and advanced topics [texte imprimé] / Hagit Attiya, Auteur ; Jennifer Welch, Auteur . - 2e éd. . - Hoboken, New Jersey : Wiley-Interscience, 2004 . - 1 vol. (414 p.) : ill., fig., graph. ; 24 cm. - ( Wiley series on parallel and distributed computing) . ISBN : 978-0-471-45324-6 Langues : Anglais ( eng)
Catégories : |
Informatique
|
Mots-clés : |
Traitement électronique des données
Traitement réparti |
Index. décimale : |
004.3 Modes de traitement des données |
Résumé : |
La croissance explosive des systèmes informatiques distribués rend leur compréhension impérative. Pour rendre ce sujet notoirement difficile accessible, Distributed Computing: Fundamentals, Simulations, and Advanced Topics; Deuxième édition, fournit une introduction solide aux fondements mathématiques et à la théorie de l'informatique distribuée, mettant en évidence des thèmes communs et des techniques de base.
Les auteurs présentent les problèmes fondamentaux qui sous-tendent la conception des systèmes distribués - communication, coordination, synchronisation et incertitude - ainsi que les concepts algorithmiques fondamentaux et les techniques de limite inférieure. L'approche unificatrice du livre souligne les similitudes entre les différents modèles et explique les divergences inhérentes entre eux. En se concentrant sur des idées plutôt que des optimisations, le livre discute des modèles principaux de l'informatique distribuée, en incluant:
Transmission de messages et communication de mémoire partagée; modèles de synchronisation synchrones et asynchrones, défaillances, preuves de correction et limites inférieures
Élection du chef, exclusion mutuelle et consensus
Causalité des événements et synchronisation de l'horloge
Simulations entre modèles d'informatique distribuée
Sujets avancés, y compris la randomisation, la hiérarchie sans attente, la solvabilité asynchrone et les détecteurs de pannes
Avec de nouveaux matériaux sur des sujets tels que l'exclusion mutuelle rapide et les verrous de files d'attente, et une meilleure couverture du matériel existant, cette seconde édition servira de manuel complet pour les étudiants diplômés et avancés et sera une référence clé pour les chercheurs et les professionnels. |
Note de contenu : |
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 |
Côte titre : |
Fs/19742 |
|  |