Certification logicielle de Calcul Global avec dépendances sur grille.

Sébastien Varrette (1, 2, 3) , Jean-Louis Roch (1, 2, 3)

1 ID-IMAG - Informatique et Distribution
2 MOAIS - PrograMming and scheduling design fOr Applications in Interactive Simulation
3 APACHE - Parallel algorithms and load sharing

De plus en plus d'applications gourmandes en ressources de calcul et en mémoire exploitent des infrastructures distribuées composées de l'interconnexion de machines géographiquement dispersées. On parle de grilles de grappes. Il se pose alors le problème de la certification de l'exécution d'un programme parallèle sur une grille non sécurisée. Ce domaine fait l'objet de nombreux travaux, tant au niveau matériel que logiciel. Nous proposons ici une méthode logicielle originale basée sur le calcul dynamique du flot de données associé à une exécution partielle du programme sur une machine sécurisée. Ce flot de données est un résumé de l'exécution : toute exécution complète du programme sur une machine distante non sécurisée avec les mêmes entrées fournit un flot dont le résumé doit correspondre à celui obtenu par exécution partielle.

Mots clés: certification d'exécution; calcul pair-à-pair; parallélisme

Domaines: Cryptographie et sécurité [cs.CR]

Sébastien Varrette, Jean-Louis Roch. Certification logicielle de Calcul Global avec dépendances sur grille.. 2003, pp.169--176. ⟨hal-00005851⟩