Mendapatkan item paralel dalam resolusi ketergantungan

Saya telah menerapkan jenis topologi berdasarkan artikel Wikipedia yang saya gunakan untuk resolusi dependensi, tetapi mengembalikan daftar linier. Algoritma apa yang dapat saya gunakan untuk menemukan jalur independen?

Saya berasumsi bahwa edge berarti bahwa Anda harus dieksekusi sebelum v . Jika bukan ini masalahnya, balikkan semua tepinya. Saya selanjutnya berasumsi bahwa Anda kurang tertarik pada jalur (yang sudah diberikan oleh DAG) daripada strategi eksekusi yang baik mengingat dependensi.$(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}$

Anda kemudian dapat menjalankan tugas-tugas Anda seperti ini (mari kita asumsikan ada $k$ set):

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

Tentu saja, ini tidak menghasilkan throughput maksimum jika tugas mengambil jumlah waktu yang berbeda: dua paralel, rantai linear yang bebas disinkronkan setelah setiap elemen. Untuk menghindari ini, saya sarankan Anda bekerja langsung pada DAG dengan traversal paralel yang dimulai pada node sumber - yang ada di$S_0$ - dan sinkronisasi / forking dalam node dengan beberapa tepi masuk / keluar:

parallel foreach T in S_0
  recursive_execute T

dimana

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

dan T.countmerupakan penghitung sederhana yang memiliki jumlah pendahulu Tyang telah dieksekusi, T.indegjumlah pendahulunya dan T.succperangkat penerusnya.