通过循环分解合成实现符号并行化
编程语言
2016-11-24 v1 分布式、并行与集群计算
摘要
我们提出 GraSSP，一种利用形式验证与合成领域最新进展来执行自动并行化的新方法。GraSSP 增强现有的顺序程序，使其具备分解循环迭代中的数据依赖、计算部分结果并将其组合在一起的额外功能。我们证明，对于某些类别的顺序前缀和问题，此类并行化可以高效执行。
引用
@article{arxiv.1611.07629,
title = {Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions},
author = {Grigory Fedyukovich and Rastislav Bodík},
journal= {arXiv preprint arXiv:1611.07629},
year = {2016}
}
备注
In Proceedings SYNT 2016, arXiv:1611.07178