PREDULA a multi-paradigm parallel programming and debugging environment

Ringström, Johan; Fritzson, Peter; Fagerström, Johan

doi:10.1016/0165-6074(92)90099-s

Cited by 2 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore languages containing data parallel programming constructs are called collectionoriented languages [2]. In this paper we use a small data-parallel Algol-like language called Predula Nouveau (a successor to Predula, PaRallel EDUcational LAnguage [21]) as a test case in our work on compiler generation for data parallel languages. This language includes a number of constructs operating on arrays, allowing the utilization of parallelism when operating in parallel on elements of such arrays.…”

Section: Data Parallel Languagesmentioning

confidence: 99%

Generating an efficient compiler for a data parallel language from a denotational specification

Ringström¹,

Fritzson²,

Pettersson³

1994

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

There are very few examples of the generation of efficient compilers from denotational specifications. Usually such compilers generate code which is orders of magnitude slower than from handwritten ones. However, as has been demonstrated by our DML (Denotational Meta Language) compiler generation system, through appropriate single-threading analysis it is possible to obtain code of comparable quality to handwritten compilers. Another problem with denotational specifications is, because of their denotational nature, the need to introduce complicated power domains to model non-determinism and parallelism. In this work we have used a more practical two-level approach: use denotational specifications to model the meaning of the source language in terms of an abstract machine of low-level operations, including data-parallel operations. Then use operational semantics for the specification of this abstract machine. This paper reports experience from building a prototype compiler for a small Algollike parallel language using a version of the DML system called DML-P, which has been extended to support data-parallel operations. The final code contains calls to a portable data-parallel vector code library (VCODE CVL). The speed of generated compilers are within a factor of three from handwritten ones. Extensive benchmarks of a DML-P generated compiler are presented.

show abstract

Section: Data Parallel Languagesmentioning

confidence: 99%