Précédent : Séparation du contrôle et des Remonter : Nouvelles fonctionnalités et distribution de Suivant : Mises en oeuvre distribuées

Calcul de lignées sur entrées

Ce calcul consiste à partitionner un graphe selon le critère qualitatif suivant :

Deux noeuds sont éléments de la même lignée sur entrée si et seulement si ils sont précédés du même sous-ensemble d'entrées.

Le graphe résultant est constitué de noeuds (lignées) représentant eux-mêmes des graphes. Ce partitionnement est à la base d'un nouveau schéma de génération de code séquentiel : une lignée peut être exécutée de manière atomique dès que ses entrées sont disponibles.