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

 
Clear

– Paperback:
Free delivery for any order placed directly through the ISTE Group website istegroup.com
Delivery time: approximately two weeks
Deliveries only within metropolitan France, Belgium, Switzerland and Luxembourg
Printed in color
An ebook version is provided free with every hardcopy ordered through our website
It will be sent after the order is completed
Offer not applicable to bookshops

– Ebook:
Prices reserved for private individuals
Licenses for institutions: contact us
Our ebooks are in PDF format (readable on any device)

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.