In this paper, we show that in a parallel processing system, if a directed acyclic graph (DAG) can be induced in the state space and execution is \textit{enforced} along that DAG, then synchronization cost can be eliminated. Specifically, we show that in such systems, correctness is preserved even if the nodes execute asynchronously and rely on old/inconsistent information of other nodes. We present two variations for inducing DAGs -- \textit{DAG-inducing problems}, where the problem definition itself induces a DAG, and \textit{DAG-inducing algorithms}, where a DAG is induced by the algorithm. We demonstrate that the dominant clique (DC) problem and shortest path (SP) problem are DAG-inducing problems. Among these, DC allows self-stabilization, whereas the algorithm that we present for SP does not. We demonstrate that maximal matching (MM) and 2-approximation vertex cover (VC) are not DAG-inducing problems. However, DAG-inducing algorithms can be developed for them. Among these, the algorithm for MM allows self-stabilization and the 2-approx. algorithm for VC does not. Our algorithm for MM converges in $2n$ moves and does not require a synchronous environment, which is an improvement over the existing algorithms in the literature. Algorithms for DC, SP and 2-approx. VC converge in $2m$, $2m$ and $n$ moves respectively. We also note that DAG-inducing problems are more general than, and encapsulate, lattice linear problems (Garg, SPAA 2020). Similarly, DAG-inducing algorithms encapsulate lattice linear algorithms (Gupta and Kulkarni, SSS 2022).
翻译:在本文中,我们显示,在平行处理系统中,如果在州空间和运行中导出定向自行车图(DAG)可以引出DAG,那么同步成本就可以消除。具体地说,我们显示,在这样的系统中,即使节点执行不同步,并依赖其他节点的老/不一致信息,正确性也会得到维护。在引导 DAG(\ textit{DAG-诱导问题)时,我们呈现两种变异性。在这样的系统中,问题定义本身引出DAG, 和\textit{DAAG- 驱动算法},在这种系统中,DAG(DC)问题和最短路径问题都是DAG-AG(SP)问题。在这些系统中,DC允许自我稳定,而我们为SP提供的算法则不同。我们显示,MD(MM) 和2AG(VC) 的上调调和上调解算法(VC) 问题不是DAG(DAG- dalg- dalation) 问题,在S- dalg- dalgistration (Dalation) 和上,在S- dalg- dalg- dalg- dalg- dalg) 和下也需要一个自算。</s>