Bağımlılık çözünürlüğünde paralel öğeler elde etme

Bağımlılık çözümü için kullandığım Wikipedia makalesine dayalı bir topolojik sıralama uyguladım , ancak doğrusal bir liste döndürür. Bağımsız yolları bulmak için ne tür bir algoritma kullanabilirim?

Bir kenar varsayalım bu araçlar u sahip önce çalıştırılacak v . Durum böyle değilse, tüm kenarları çevirin. Ayrıca, bağımlılık göz önüne alındığında iyi bir yürütme stratejisine kıyasla yollarla (zaten DAG tarafından verilenler) daha az ilgilendiğinizi varsayıyorum.$(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

nerede

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

ve daha önce yapılmış olanların sayısı, önceden gelenlerin sayısı ve halefler kümesini T.counttutan basit bir sayaçtır .TT.indegT.succ