TY - GEN
T1 - Automatic parallelization of recursive functions using quantifier elimination
AU - Morihata, Akimasa
AU - Matsuzaki, Kiminori
PY - 2010/12/1
Y1 - 2010/12/1
N2 - Although the recent popularity of parallel-computing environments has called for parallel programs, it is difficult for nonspecialists to develop those that are efficient. What is required are parallelization methods that can automatically generate efficient parallel programs from sequential ones. In this paper, we propose an automatic method of parallelization for recursive functions. The key is a quantifier-eliminationbased derivation of an operator that shrinks function closures representing partial computations. Once we obtain such an operator, we can split the input structure and perform computation on each part in parallel. Our method has several features: it does not require any human help, it guarantees computational efficiency of generated programs, and it deals with complicated recursive functions such as those that are nonlinear recursive, non-self recursive, and accumulative.
AB - Although the recent popularity of parallel-computing environments has called for parallel programs, it is difficult for nonspecialists to develop those that are efficient. What is required are parallelization methods that can automatically generate efficient parallel programs from sequential ones. In this paper, we propose an automatic method of parallelization for recursive functions. The key is a quantifier-eliminationbased derivation of an operator that shrinks function closures representing partial computations. Once we obtain such an operator, we can split the input structure and perform computation on each part in parallel. Our method has several features: it does not require any human help, it guarantees computational efficiency of generated programs, and it deals with complicated recursive functions such as those that are nonlinear recursive, non-self recursive, and accumulative.
UR - http://www.scopus.com/inward/record.url?scp=78651254853&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78651254853&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-12251-4_23
DO - 10.1007/978-3-642-12251-4_23
M3 - Conference contribution
AN - SCOPUS:78651254853
SN - 3642122507
SN - 9783642122507
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 321
EP - 336
BT - Functional and Logic Programming - 10th International Symposium, FLOPS 2010, Proceedings
T2 - 10th International Symposium on Functional and Logic Programming, FLOPS 2010
Y2 - 19 April 2010 through 21 April 2010
ER -