Sciweavers

LCPC
1995
Springer

V-cal: A Calculus for the Compilation of Data Parallel Languages

13 years 7 months ago
V-cal: A Calculus for the Compilation of Data Parallel Languages
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite rules. In V-cal the program transformation and optimization phase of a compiler is organized in three independent passes: in the rst pass a set of rewrite rules are applied that attempt to identify the potential parallelism of an algorithm. In the second pass program parts amenable to parallelization or algorithm substitution are replaced by their semantically equivalent parallel counterparts. Finally, a set of rules are applied that map the parallelized program to the target architecture in a way that makes e cient use of the given resources. allel languages provide a programming model that abstracts from parallelism, communication, and synchronization. To be able to express optimizing transformations in V-cal parallelism, communication, and synchronization are made explicit by the means of dedicated operat...
P. F. G. Dechering, J. A. Trescher, J. P. M. de Vr
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where LCPC
Authors P. F. G. Dechering, J. A. Trescher, J. P. M. de Vreught, Henk J. Sips
Comments (0)