Spécificationvérification, optimisation Previous: DISTRIBUTION ET ORDONNANCEMENT

Formalisation de l'implantation

Routage
définitions de chemins dans le graphe architecture (routes)

P= ensemble des processeurs, L= ensemble des liaisons de communication
R= ensemble de tous les chemins dans
(par ex. avec Distribution
ajout d'opérations de communication inter-processeurs

opérations exécutées par le processeur p
dépendances entre opérations exécutées par p
dépendances inter-processeur routées sur r

Chaque arc inter-partition est transformé en une chaîne (graphe linéaire) comportant un sommet pour chaque liaison de la route :

Les arcs sont des transferts intra-processeur inter-unités.

Les sommets sont des nouvelles ``opérations de communication'', implantée chacune par un transfert de mémoire à mémoire et une synchronisation, nécessitant la collaboration de toutes les unités de communication de l.

En regroupant les d'un même et les d'un même on obtient les ensembles et .