论文标题
关于优化等效并发计算
On the Optimization of Equivalent Concurrent Computations
论文作者
论文摘要
在此提交中，我们探讨了使用平等饱和以优化并发计算的使用。并发环境会带来新的优化机会，例如提取共同的并发子分组。据我们所知，没有现有的平等饱和框架可以进行这种优化。并发环境面临的挑战在于它们需要非本地推理，因为并行计算本质上是不相关的和不相交的。此提交提出了一种优化等效并发计算的新方法：扩展电子图表以捕获平等的并发计算，以便用单个计算替换它们。
In this submission, we explore the use of equality saturation to optimize concurrent computations. A concurrent environment gives rise to new optimization opportunities, like extracting a common concurrent subcomputation. To our knowledge, no existing equality saturation framework allows such an optimization. The challenge with concurrent environments is that they require non-local reasoning since parallel computations are inherently unrelated and disjoint. This submission presents a new approach to optimizing equivalent concurrent computations: extending e-graphs to capture equal concurrent computations in order to replace them with a single computation.
