the NESTOR Library: A Tool for Implementing FORTRAN Source Transformations

We describe Nestor, a library to easily manipulate Fortran programs through a high level internal representation based on C++ classes. Nestor is a research tool that can be used to quickly implement source to source transformations. The input of the library is Fortran 77, Fortran 90 and HPF 2.0. Its current output supports the same languages plus some dialects such as Petit, OpenMP, CrayMP. Compared to SUIF 2.0 that is still announced, Nestor is less ambitious, but is light, ready to use (http://www.ens-lyon.fr/~gsilber/nestor), fully documented and is better suited for Fortran to Fortran transformations.

[1]  Doran Wilde,et al.  A LIBRARY FOR DOING POLYHEDRAL OPERATIONS , 2000 .

[2]  FeautrierLaboratoire Masi.  Some Eecient Solutions to the Aane Scheduling Problem Part Ii Multidimensional Time , 1992 .

[3]  Monica S. Lam,et al.  Maximizing parallelism and minimizing synchronization with affine transforms , 1997, POPL '97.

[4]  Frédéric Vivien,et al.  Combining Retiming and Scheduling Techniques for Loop Parallelization and Loop Tiling , 1997, Parallel Process. Lett..

[5]  Ken Kennedy,et al.  Automatic translation of FORTRAN programs to vector form , 1987, TOPL.

[6]  Serge Chaumette,et al.  HPFIT: A Set of Integrated Tools for the Parallelization of Applications Using High Performance Fortran. PART II: Data-Structure Visualization and HPF Extensions for Irregular Problems , 1997, Parallel Comput..

[7]  Monica S. Lam,et al.  A Loop Transformation Theory and an Algorithm to Maximize Parallelism , 1991, IEEE Trans. Parallel Distributed Syst..

[8]  Michael Wolfe,et al.  High performance compilers for parallel computing , 1995 .

[9]  Serge Chaumette,et al.  HPFIT: A Set of Integrated Tools for the Parallelization of Applications Using High Performance Fortran. PART I: HPFIT and the TransTOOL Environment , 1997, Parallel Comput..

[10]  Pierre Boulet,et al.  Bouclettes: A Fortran Loop Parallelizer , 1996, HPCN Europe.

[11]  Frédéric Desprez,et al.  LOCCS: Low overhead communication and computation subroutines , 1994, Future Gener. Comput. Syst..

[12]  Ken Kennedy,et al.  Loop distribution with arbitrary control flow , 1990, Proceedings SUPERCOMPUTING '90.

[13]  Rice UniversityCORPORATE,et al.  High performance Fortran language specification , 1993 .

[14]  Ken Kennedy,et al.  Conversion of control dependence to data dependence , 1983, POPL '83.

[15]  Kathryn S. McKinley,et al.  Automatic and interactive parallelization , 1992 .

[16]  David F. Bacon,et al.  Compiler transformations for high-performance computing , 1994, CSUR.