Obtention d'éléments parallèles dans la résolution des dépendances

J'ai implémenté un tri topologique basé sur l'article Wikipedia que j'utilise pour la résolution des dépendances, mais il renvoie une liste linéaire. Quel type d'algorithme puis-je utiliser pour trouver les chemins indépendants?

— Masse
source

Une façon de résoudre ce problème consiste à modéliser les nœuds du graphique en tant qu'acteurs et à laisser une bibliothèque d'acteurs s'occuper de l'ordre.

— svick

Je suppose qu'un bord signifie que doit être exécuté avant . Si ce n'est pas le cas, retournez tous les bords. Je suppose en outre que vous êtes moins intéressé par les chemins (ceux déjà fournis par le DAG) que par une bonne stratégie d'exécution compte tenu des dépendances. $(u,v)$ $u$ $v$

$S_i$ $G = (V,E)$

$\qquad \displaystyle \begin{align} S_0 &= \{ v \in V \mid \forall u \in V. (u,v) \notin E \} \\ S_{i+1} &= \{v \in V \mid \forall u \in V. (u,v) \in E \to u \in \bigcup_{k=0}^i S_k \} \end{align}$

$k$

for i=0 to k
  parallel foreach T in S_k
    execute T

$S_0$

parallel foreach T in S_0
  recursive_execute T

où

recursive_execute T {
  atomic { if T.count++ < T.indeg then return }
  execute T
  parallel foreach T' in T.succ
    recursive_execute T'
}

et T.countest un simple compteur contenant le nombre de prédécesseurs Tdéjà exécutés, T.indegle nombre de prédécesseurs et T.succl'ensemble des successeurs.

— Raphael
source