Titre :	Distributed algorithms
Type de document :	texte imprimé
Auteurs :	Nancy A. Lynch (1918-1984), Auteur
Editeur :	San Francisco : Morgan Kaufmann
Année de publication :	1997
Importance :	1vol. (872 p.)
Présentation :	ill.
Format :	24 cm
ISBN/ISSN/EAN :	978-1-55860-348-6
Langues :	Anglais (eng)
Catégories :	Informatique
Mots-clés :	Traitement réparti Algorithmes : Programmation Traitement électronique des données : Traitement réparti Algorithmes distribués
Index. décimale :	005.2 Programmation informatique pour les ordinateurs
Résumé :	Dans les algorithmes distribués, Nancy Lynch fournit un plan pour la conception, l'implémentation et l'analyse d'algorithmes distribués. Elle dirige son livre à un large public, y compris les étudiants, les programmeurs, les concepteurs de systèmes et les chercheurs. Distributed Algorithms contient les algorithmes les plus significatifs et les résultats d'impossibilité dans la zone, le tout dans un cadre simple d'automates théoriques. Les algorithmes sont corrects, et leur complexité est analysée en fonction de mesures de complexité définies avec précision. Les problèmes abordés comprennent l'allocation des ressources, la communication, le consensus entre les processus distribués, la cohérence des données, la détection des interblocages, l'élection des responsables, les instantanés globaux et bien d'autres. Le matériel est organisé selon le modèle du système, d'abord par le modèle de synchronisation, puis par le mécanisme de communication interprocessus. Le matériau des modèles de système est isolé dans des chapitres séparés pour faciliter la consultation. La présentation est complètement rigoureuse, mais est assez intuitive pour une compréhension immédiate. Ce livre familiarise les lecteurs avec des problèmes importants, des algorithmes et des résultats d'impossibilité dans le domaine: les lecteurs peuvent alors reconnaître les problèmes lorsqu'ils surviennent en pratique, appliquer les algorithmes pour les résoudre et utiliser les résultats d'impossibilité pour déterminer si les problèmes sont insolubles. Le livre fournit également aux lecteurs les outils mathématiques de base pour concevoir de nouveaux algorithmes et prouver de nouveaux résultats d'impossibilité. En outre, il enseigne aux lecteurs comment raisonner avec soin sur les algorithmes distribués - pour les modéliser formellement, concevoir des spécifications précises pour leur comportement requis, prouver leur exactitude, et évaluer leur performance avec des mesures réalistes.
Note de contenu :	Sommaire : 1. Introduction Part I. Synchronous network algorithms 2. Modelling I : synchronous network model 3. Leader election, in a synchronous ring 4. Algorithms in general synchronous networks 5. Distributed consensus with link failures 6. DIstributed consensus with process failures 7. More consensus problems Part II. Asynchronous algorihtms 8. Modelling II : asynchronous system model Part IIA. Asynchronous shared memory algorihtms 10. Mutual exclusion 11. Resource allocation 12. Consensus 13. Atomic objects Part IIB. Asynchronous network algorithms 14. Modelling IV. Asynchronous network model 15. Basic asynchronous network algorithms 16. Synchronizers 17. Shared memory versus networks 18. Logical time 19. Global snapshots and stable properties 20. Network resource allocation 21. Asynchronous networks with process failures 22. Data link protocols Part III. Partially synchronous algorithms 23. Partially synchronous system models 24. Mutual exclusion with partial synchrony 25. Consensus with partial synchrony
Côte titre :	Fs/19741

Distributed algorithms [texte imprimé] / Nancy A. Lynch (1918-1984), Auteur . - San Francisco : Morgan Kaufmann, 1997 . - 1vol. (872 p.) : ill. ; 24 cm.
ISBN : 978-1-55860-348-6
Langues : Anglais (eng)

Catégories :	Informatique
Mots-clés :	Traitement réparti Algorithmes : Programmation Traitement électronique des données : Traitement réparti Algorithmes distribués
Index. décimale :	005.2 Programmation informatique pour les ordinateurs
Résumé :	Dans les algorithmes distribués, Nancy Lynch fournit un plan pour la conception, l'implémentation et l'analyse d'algorithmes distribués. Elle dirige son livre à un large public, y compris les étudiants, les programmeurs, les concepteurs de systèmes et les chercheurs. Distributed Algorithms contient les algorithmes les plus significatifs et les résultats d'impossibilité dans la zone, le tout dans un cadre simple d'automates théoriques. Les algorithmes sont corrects, et leur complexité est analysée en fonction de mesures de complexité définies avec précision. Les problèmes abordés comprennent l'allocation des ressources, la communication, le consensus entre les processus distribués, la cohérence des données, la détection des interblocages, l'élection des responsables, les instantanés globaux et bien d'autres. Le matériel est organisé selon le modèle du système, d'abord par le modèle de synchronisation, puis par le mécanisme de communication interprocessus. Le matériau des modèles de système est isolé dans des chapitres séparés pour faciliter la consultation. La présentation est complètement rigoureuse, mais est assez intuitive pour une compréhension immédiate. Ce livre familiarise les lecteurs avec des problèmes importants, des algorithmes et des résultats d'impossibilité dans le domaine: les lecteurs peuvent alors reconnaître les problèmes lorsqu'ils surviennent en pratique, appliquer les algorithmes pour les résoudre et utiliser les résultats d'impossibilité pour déterminer si les problèmes sont insolubles. Le livre fournit également aux lecteurs les outils mathématiques de base pour concevoir de nouveaux algorithmes et prouver de nouveaux résultats d'impossibilité. En outre, il enseigne aux lecteurs comment raisonner avec soin sur les algorithmes distribués - pour les modéliser formellement, concevoir des spécifications précises pour leur comportement requis, prouver leur exactitude, et évaluer leur performance avec des mesures réalistes.
Note de contenu :	Sommaire : 1. Introduction Part I. Synchronous network algorithms 2. Modelling I : synchronous network model 3. Leader election, in a synchronous ring 4. Algorithms in general synchronous networks 5. Distributed consensus with link failures 6. DIstributed consensus with process failures 7. More consensus problems Part II. Asynchronous algorihtms 8. Modelling II : asynchronous system model Part IIA. Asynchronous shared memory algorihtms 10. Mutual exclusion 11. Resource allocation 12. Consensus 13. Atomic objects Part IIB. Asynchronous network algorithms 14. Modelling IV. Asynchronous network model 15. Basic asynchronous network algorithms 16. Synchronizers 17. Shared memory versus networks 18. Logical time 19. Global snapshots and stable properties 20. Network resource allocation 21. Asynchronous networks with process failures 22. Data link protocols Part III. Partially synchronous algorithms 23. Partially synchronous system models 24. Mutual exclusion with partial synchrony 25. Consensus with partial synchrony
Côte titre :	Fs/19741