Parallélisation d'une simulation Monte Carlo d'un système de spins et preuve

Raphaël Couturier 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Dans cet article nous décrivons la parallélisation d'une application développée par des physiciens. Les calculs sont réalisés par un nombre important d'itérations courtes dépendantes les unes des autres. Pour paralléliser cette application, nous découpons la grille représentant le système physique en plusieurs sous-grilles et nous regroupons les différents calculs obtenus. Nous avons prouvé à l'aide de PVS (Prototype Verification System) que cette parallélisation est correcte ; pour ce faire nous faisons une abstraction du programme par l'intermédiaire d'une spécification du prouveur PVS. Finalement nous expliquons comment PVS nous permet de trouver la post-condition nécessaire afin de coller les différentes sous-grilles pour garantir que le calcul parallèle est identique au calcul séquentiel.
Type de document :
Communication dans un congrès
Méry, Dominique and Perrin, Guy-René. Renpar'10, 1998, Strasbourg, France, 4 p, 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00098436
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:01:19
Dernière modification le : mardi 24 avril 2018 - 13:34:53

Identifiants

  • HAL Id : inria-00098436, version 1

Collections

Citation

Raphaël Couturier. Parallélisation d'une simulation Monte Carlo d'un système de spins et preuve. Méry, Dominique and Perrin, Guy-René. Renpar'10, 1998, Strasbourg, France, 4 p, 1998. 〈inria-00098436〉

Partager

Métriques

Consultations de la notice

64