Obtendo itens paralelos na resolução de dependências

Eu implementei uma classificação topológica com base no artigo da Wikipedia que estou usando para resolução de dependências, mas ele retorna uma lista linear. Que tipo de algoritmo posso usar para encontrar os caminhos independentes?

Suponho que uma borda significa que u deve ser executado antes de v . Se não for esse o caso, vire todas as bordas. Além disso, suponho que você esteja menos interessado em caminhos (já fornecidos pelo DAG) do que em uma boa estratégia de execução, dadas as dependências.$(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

Onde

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

e T.counté um contador simples que contém o número de predecessores Tjá executados, T.indego número de predecessores e T.succo conjunto de sucessores.