Abstract
Array-OL, developed by Thomson Marconi Sonar, is a programming language dedicated to signal processing. An Array-OL program specifies the dependencies between array elements produced and consumed by tasks. In particular, temporal dependencies may be specified by referencing elements that belong to an infinite dimension of an array.
A basic compilation strategy of Array-OL on a workstation has been defined. This basic compilation does not allow the generation of efficient code for any Array-OL application; specifically those defining infinite arrays. We propose to transform such applications to hierarchical Array-OL applications that may be compiled with Array-OL basic strategy. We introduce a formal representation of Array-OL applications, which is a relation between points of ℤn spaces; code transformations are applied at this level. In this paper we show how the transformation process is used during the compilation phase of a representative application.
Array-OL™ is a trademark of Thomson Marconi Sonar. It stands for Array Oriented Language.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Pierre Boulet. Bouclettes: A Fortran loop parallelizer. In HPCN’96, pages 784–791. Lecture Notes in Computer Science vol. 1067, 1996.
Jean-Luc Dekeyser, Alain Demeure, Philippe Marquet, and Julien Soula. Array-OL compilation by code transformation. Research Report 99-15, LIFL, Université de Lille, France, December 1999.
Jean-Luc Dekeyser, Philippe Marquet, and Julien Soula. Video kills the radio stars. In Supercomputing’99 (poster session), Portland, OR, November 1999. (http://www.lifl.fr/west/gaspard/).
Alain Demeure. Les ODT: Propositions de notation pour décrire des opérateurs de distribution de tableaux. Research report, Thomson Marconi Sonar, Sophia-Antipolis, France, 1998.
Alain Demeure. Anne Lafage, Emmanuel Boutillon, Didier Rozzonelli, Jean-Claude Dufourd, and Jean-Louis Marro. Array-OL: Proposition d’un formalisme tableau pour le traitement de signal multi-dimensionnel. In Gretsi, Juan-Les-Pins, France, September 1995.
Alain Demeure (Thomson Marconi Sonar). Procédé de placement automatique des taches d’une application dans une machine de traitement de signal. Brevet 9912574, 1999.
Alain Demeure (Thomson Marconi Sonar). Procédé de saisie graphique dans une forme hiérarchisée. Brevet 9902906, 1999.
Paul Feautrier. Parametric Integer Programming. RAIRO Recherche Opérationnelle, 22:243–268, September 1988.
Paul Feautrier. Toward automatic distribution. In ACM International Conference on Supercomputing (ICS), Tokyo, Japan, July 1993.
Stanford Compiler Group. Suif Compiler System. World Wide Web document, http://www-suif.stanford.edu/.
François Irigoin, Pierre Jouvelot, and Rémi Triolet. Semantical interprocedural parallelization: An overview of the PIPS project. In 1991 International Conference on Supercomputing, Cologne, Germany, June 1991.
Hervé Le Verge, Christophe Mauras, and Patrice Quinton. The ALPHA language and its use for the design of systolic arrays. The Journal of VLSI Signal Processing, 3(3):173–182, September 1991.
Doran K. Wilde. A library for doing polyhedral operations. Research Report 785, IRISA, Rennes, France, December 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Soula, J., Marquet, P., Demeure, A., Dekeyser, JL. (2001). Compilation Principle of a Specification Language Dedicated to Signal Processing. In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 2001. Lecture Notes in Computer Science, vol 2127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44743-1_36
Download citation
DOI: https://doi.org/10.1007/3-540-44743-1_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42522-9
Online ISBN: 978-3-540-44743-6
eBook Packages: Springer Book Archive