CONCURRENCE COHERENCE DANS SYSTMS REPRTS. Questo articolo non è disponibile.CONCURRENCE COHERENCE DANS SYSTMS REPRTS

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.

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.