의존성 해결에서 병렬 항목 가져 오기

의존성 해결에 사용 하는 Wikipedia 기사 를 기반으로 토폴로지 정렬을 구현 했지만 선형 목록을 반환합니다. 독립 경로를 찾기 위해 어떤 종류의 알고리즘을 사용할 수 있습니까?

— 질량
소스

이를 해결하는 한 가지 방법은 그래프에서 노드를 액터 로 모델링하고 일부 액터 라이브러리가 순서를 처리하도록하는 것입니다.

— svick 2016 년

edge 는 보다 먼저 가 실행되어야 한다고 가정합니다 . 그렇지 않은 경우 모든 모서리를 돌립니다. 또한 종속성이있는 좋은 실행 전략보다 경로에 관심이 덜하다고 가정합니다 (DAG가 이미 제공 한 경로). $(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

어디

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

및 T.count전임자 수 들고 간단한 카운터이며 T, 이는 이미 실행 된 T.indegpredeccessors 수와 T.succ후속의 세트.

— 라파엘
소스