Algorithmique Répartie
ar

Cette UE présente les bases de l’algorithmique répartie.

Vous trouverez sur cette page quelques documents en supplément de ceux qui vous sont distribués. Ces documents ne vous seront utiles que pour les TP. Ils ne sont donc pas destinés à être imprimés !

Les documents sur MPI :

Les transparents de la présentation et le sujet du TP1

SPIN :

Les transparents du cours 4.

NB : sur les machines de l’ARI, c’est la version 5 de Spin qui est installée. L’interface de saisie des propriétés est différente ce celle de la version 6 téléchargeable sur le site (http://spinroot.com). Vous pouvez voir l’entrée ltl du manuel en ligne (http://spinroot.com/spin/Man/promel...) pour plus d’information sur la saisie des propriétés dans la version 6.

Les fichiers de support pour les TME :

Un rappel de l’algorithme de Naimi-Trehel et le squelette pour le TME 4.

Les simulateurs pour l’implantation MPI des algorithmes Arbre et Echo dans le TME 5.

Le simulateur pour l’implantation MPI de l’algorithme Phase dans le TME 6.

 
Documents utiles