Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions

Autor:	Fedyukovich, Grigory, Bodík, Rastislav
Rok vydání:	2016
Předmět:	Computer Science - Programming Languages Computer Science - Distributed Parallel and Cluster Computing
Zdroj:	EPTCS 229, 2016, pp. 55-66
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.229.6
Popis:	We present GraSSP, a novel approach to perform automated parallelization relying on recent advances in formal verification and synthesis. GraSSP augments an existing sequential program with an additional functionality to decompose data dependencies in loop iterations, to compute partial results, and to compose them together. We show that for some classes of the sequential prefix sum problems, such parallelization can be performed efficiently. Comment: In Proceedings SYNT 2016, arXiv:1611.07178
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1611.07629 Zobrazit plný text záznamu View this record from Arxiv