194 pages - septembre 2017
ISBN papier : 9781784052959
ISBN ebook : 9781784062958
Ouvrage papier 19,00 Acheter sur Amazon

Disponible chez votre libraire
ou chez Amazon


Ebook

9,90

Prix réservé aux particuliers.
Licences pour les institutions : nous contacter
Nos e-books sont au format PDF (compatible sur tout support).

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.

1. Spécifier les objets partagés
2. Aperçu des modèles existants
3. La cohérence d’écritures
4. La cohérence causale
5. L’espace des critères faibles
6. La bibliothèque CODS

Matthieu Perrin

Matthieu Perrin est maître de conférences à l’université de Nantes. Ses principaux sujets d’études concernent la modélisation des systèmes répartis. Cet ouvrage expose les principaux résultats portant sur la spécification des objets partagés dans les systèmes répartis.

Introduction Table des matières