194 pages - septembre 2017
ISBN papier : 9781784052959
ISBN ebook : 9781784062958

 
Effacer

– Papier (Collections classiques, Encyclopédie SCIENCES) :
Livraison offerte pour toute commande directe effectuée sur le site istegroup.com
Délai de livraison : environ deux semaines
Envois uniquement vers : France métropolitaine, Belgique, Suisse et Luxembourg
Impression en couleur
Un ebook de l’ouvrage (à l’exception des titres de l’Encyclopédie SCIENCES) est offert pour tout achat
de sa version papier sur notre site, il vous sera envoyé après la finalisation de votre commande
Offre non applicable aux librairies

– Ebook (Collections classiques, Encyclopédie SCIENCES, Abrégés) :
Prix réservé aux particuliers
Pour les institutions : nous contacter 
Nos ebooks 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.