Programmes Paralleles - Modèles Et Validation - Arnold André

. .

Résumé :
Le parallélisme est un élément central de l'informatique actuelle, comme le prouvent la grande variété des machines qui l'utilisent et les nombreux langages parallèles qui ont été développés durant les dernières années. Cette diversité peut être source de confusion chez l'utilisateur, qui hésite parfois à aborder ce domaine nouveau, d'autant plus qu'il a à surmonter les difficultés de la programmation parallèle. Celle-ci nécessite en effet une approche tout à fait différente de celle de la programmation séquentielle habituelle. Le but de cet ouvrage est de dégager et de faire comprendre simplement les notions fondamentales du parallélisme, en utilisant des modèles qui sont des abstractions des machines réelles et en décrivant comment les difficultés nées du besoin de vérification des programmes parallèles peuvent être maîtrisées. Il s'adresse aux étudiants, programmeurs et ingénieurs, et ne nécessite pas de connaissance préalable du parallélisme, ni des problèmes qu'il pose. Partant d'exemples élémentaires et imagés, il guide progressivement le lecteur jusqu'aux connaissances les plus récentes en matière de vérification de programmes parallèles.

Biographie:
André ARNOLD est professeur à l'université de Bordeaux I et membre du LABRI-CNRS, Béatrice BÉRARD maître de conférences à l'Ecole normale supérieure de Cachan et membre du LIFAC, Joffroy BEAUQUIER et Brigitte ROZOY professeurs à l'université Paris-Sud et membres du LRI-CNRS. Tous quatre ont des activités d'enseignement et de recherche liées au parallélisme et sont les auteurs de nombreux articles scientifiques.

Sommaire:
["Atomicité","Modèles fondés sur des états","Modèles fondés sur un ordre partiel","Vérification de propriétés"]