|
| Titre : |
Elements of distributed computing |
| Type de document : |
texte imprimé |
| Auteurs : |
Vijay K. Garg |
| Editeur : |
New York : Wiley-Interscience |
| Année de publication : |
2002 |
| Importance : |
1 vol (423 p.) |
| Présentation : |
ill. |
| Format : |
25 cm |
| ISBN/ISSN/EAN : |
978-0-471-03600-5 |
| Catégories : |
Informatique
|
| Mots-clés : |
Informatique distribuée |
| Index. décimale : |
004.3 Modes de traitement des données |
| Résumé : |
Une introduction lucide et à jour aux fondamentaux des systèmes informatiques distribués.
À mesure que les systèmes distribués deviennent de plus en plus disponibles, la nécessité d'une discussion fondamentale sur le sujet s'est accrue. Conçu pour les étudiants diplômés de première année et les étudiants de premier cycle ainsi que les ingénieurs informaticiens qui cherchent une base solide dans ce domaine, ce texte bien organisé couvre les concepts fondamentaux des systèmes informatiques distribués tels que temps, état, simultanéité, ordre, connaissance, échec et accord dans les systèmes distribués.
S'écartant de la focalisation sur la mémoire partagée et des systèmes synchrones communément pris par d'autres textes, c'est la première référence utile basée sur un modèle asynchrone de calcul distribué, le plus largement utilisé dans le milieu universitaire et industriel. L'accent du livre est sur le développement de mécanismes généraux qui peuvent être appliqués à une variété de problèmes. Ses exemples - horloges, serrures, caméras, capteurs, contrôleurs, trancheuses et synchroniseurs - ont été soigneusement choisis pour qu'ils soient fondamentaux et utiles dans des contextes pratiques.
Les avantages du texte comprennent:
Souligne les mécanismes généraux qui peuvent être appliqués à une variété de problèmes
Utilise une technique simple basée sur l'induction pour prouver l'exactitude de tous les algorithmes
Comprend une variété d'exercices à la fin de chaque chapitre
Contient un matériau qui a été largement testé en classe
Donne de la flexibilité à l'instructeur dans le choix de l'équilibre approprié entre la pratique et la théorie de l'informatique distribuée |
| Note de contenu : |
Sommaire
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. |
| Côte titre : |
Fs/19743 |
Elements of distributed computing [texte imprimé] / Vijay K. Garg . - New York : Wiley-Interscience, 2002 . - 1 vol (423 p.) : ill. ; 25 cm. ISBN : 978-0-471-03600-5
| Catégories : |
Informatique
|
| Mots-clés : |
Informatique distribuée |
| Index. décimale : |
004.3 Modes de traitement des données |
| Résumé : |
Une introduction lucide et à jour aux fondamentaux des systèmes informatiques distribués.
À mesure que les systèmes distribués deviennent de plus en plus disponibles, la nécessité d'une discussion fondamentale sur le sujet s'est accrue. Conçu pour les étudiants diplômés de première année et les étudiants de premier cycle ainsi que les ingénieurs informaticiens qui cherchent une base solide dans ce domaine, ce texte bien organisé couvre les concepts fondamentaux des systèmes informatiques distribués tels que temps, état, simultanéité, ordre, connaissance, échec et accord dans les systèmes distribués.
S'écartant de la focalisation sur la mémoire partagée et des systèmes synchrones communément pris par d'autres textes, c'est la première référence utile basée sur un modèle asynchrone de calcul distribué, le plus largement utilisé dans le milieu universitaire et industriel. L'accent du livre est sur le développement de mécanismes généraux qui peuvent être appliqués à une variété de problèmes. Ses exemples - horloges, serrures, caméras, capteurs, contrôleurs, trancheuses et synchroniseurs - ont été soigneusement choisis pour qu'ils soient fondamentaux et utiles dans des contextes pratiques.
Les avantages du texte comprennent:
Souligne les mécanismes généraux qui peuvent être appliqués à une variété de problèmes
Utilise une technique simple basée sur l'induction pour prouver l'exactitude de tous les algorithmes
Comprend une variété d'exercices à la fin de chaque chapitre
Contient un matériau qui a été largement testé en classe
Donne de la flexibilité à l'instructeur dans le choix de l'équilibre approprié entre la pratique et la théorie de l'informatique distribuée |
| Note de contenu : |
Sommaire
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. |
| Côte titre : |
Fs/19743 |
|  |
Ajouter le résultat dans votre panier Affiner la recherche
