Abstract
Automatic parallelization of imperative programs has focused on nests of do loops with affine bounds and affine dependences, because in this case execution domains and dependences can be precisely known at compile-time. When dynamic control structures, such as while loops, are used, existing methods for conversion to single-assignment form and domain scanning are inapplicable. This paper gives an algorithm to automatically generate parallel code, together with an algorithm to possibly convert the program to single-assignment form.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
C. Ancourt. Génération automatique de codes de transfert pour multiprocesseurs à mémoires locales. PhD thesis, Univ. of Paris 6, Paris. March 1990.
J.-F. Collard. Code generation in automatic parallelizers. In C. Girault, editor, Proc. of the Int. Conf. on Applications in Parallel and Distributed Comp., IFIP W.G 10.3, pages 185–194, Caracas, Venezuela. North Holland, April 1994.
J.-F. Collard. Automatic parallelization of while-loops using speculative execution. Int. J. Parallel Programming, 1995. To appear. Earlier version: Proc. 1994 Scalable High Performance Comp. Conf., pages 429–436. IEEE, May 1994.
J.-F. Collard and P. Feautrier. A method for static scheduling of dynamic control programs. Tech. Report 94-34, LIP, Ecole N. S. de Lyon. December 1994.
J.-F. Collard, D. Barthou and P. Feautrier. Fuzzy array dataflow analysis. In Proc. of 5th ACM SIGPLAN Symp. on Principles and Practice of Parallel Prog.. Santa Barbara, CA. July 1995.
R. Cytron et al. An Efficient Method of Computing Static Single Assignment Form. In Proc. of 16th ACM Symp. on Principles of Programming Languages, pages 25–35. January 1989.
P. Feautrier. Parametric integer programming. RAIRO Recherche Opérationnelle, 22:243–268, September 1988.
M. Griebl and C. Lengauer. On scanning space-time mapped while loops. In B. Buchberger and J. Volkert, editors, Parallel Processing: CONPAR 94 — VAPP VI, LNCS 854, pages 677–688. Springer-Verlag, 1994.
M. Griebl and C. Lengauer. On the parallelization of loop nests containing while loops. In N. Mirenkov, editor, Proc. Aizu Int. Symp. on Parallel Algorithm/Architecture Synthesis (pAs'95), pages 10–18, Aizu-Wakamatsu, Japan. IEEE, March 1995.
C. Lengauer. Loop parallelization in the polytope model. In E. Best, editor, CONCUR'93, LNCS 715, pages 398–416. Springer-Verlag, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Griebl, M., Collard, JF. (1995). Generation of synchronous code for automatic parallelization of while loops. In: Haridi, S., Ali, K., Magnusson, P. (eds) EURO-PAR '95 Parallel Processing. Euro-Par 1995. Lecture Notes in Computer Science, vol 966. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020474
Download citation
DOI: https://doi.org/10.1007/BFb0020474
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60247-7
Online ISBN: 978-3-540-44769-6
eBook Packages: Springer Book Archive