Concurrence et Cohérence Dans les Systèmes Répartis.

Cover -- Table des matières -- Introduction -- Table des notations -- Chapitre 1. Spécifier les objets partagés -- Chapitre 2. Aperçu des modèles existants -- Chapitre 3. La cohérence d'écritures -- Chapitre 4. La cohérence causale -- Chapitre 5. L'espace des critères faibles -- Chapitre 6. La bibliothèque CODS -- Conclusion -- Bibliographie -- Index.

La société moderne est de plus en plus dominée par la société virtuelle, le nombre d'internautes dans le monde ayant dépassé les trois milliards en 2015. A la différence de leurs homologues séquentiels, les systèmes répartis sont beaucoup plus difficiles à concevoir, et sont donc sujets à de nombreux problèmes.La cohérence séquentielle fournit la même vue globale à tous les utilisateurs, mais le confort d'utilisation qu'elle apporte est trop coûteux, voire impossible, à mettre en oeuvre à grande échelle. Concurrence et cohérence dans les systèmes répartis examine les meilleures façons de spécifier les objets que l'on peut tout de même implémenter dans ces systèmes.Cet ouvrage explore la zone grise des systèmes répartis et dresse une carte des critères de cohérence faible, identifiant plusieurs familles et démontrant comment elles peuvent s'intégrer dans un langage de programmation.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.