Ottenere elementi paralleli nella risoluzione delle dipendenze

Ho implementato un ordinamento topologico basato sull'articolo di Wikipedia che sto usando per la risoluzione delle dipendenze, ma restituisce un elenco lineare. Che tipo di algoritmo posso usare per trovare i percorsi indipendenti?

— Masse
fonte

Un modo per risolverlo è modellare i nodi nel grafico come attori e lasciare che alcune librerie di attori si occupino dell'ordinamento.

— svick,

Si considera che un bordo mezzi che deve essere eseguita prima . In caso contrario, girare attorno a tutti i bordi. Suppongo inoltre che tu sia meno interessato ai percorsi (quelli già forniti dal DAG) che a una buona strategia di esecuzione date le dipendenze. $(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

dove

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

ed T.countè un semplice contatore che contiene il numero di predecessori Tgià eseguiti, T.indegil numero di predecessori e T.succl'insieme di successori.

— Raffaello
fonte