FADAlib: an open source C++ library for fuzzy array dataflow analysis
BARTHOU, Denis
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
Voir plus >
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
BARTHOU, Denis
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
TOUATI, Sid
Parallélisme, Réseaux, Systèmes, Modélisation [PRISM]
Architectures, Languages and Compilers to Harness the End of Moore Years [ALCHEMY]
< Réduire
Parallélisme, Réseaux, Systèmes, Modélisation [PRISM]
Architectures, Languages and Compilers to Harness the End of Moore Years [ALCHEMY]
Langue
en
Communication dans un congrès
Ce document a été publié dans
Procedia Computer Science, Procedia Computer Science, International Conference on Computational Science, 2010-05-31, Amsterdam. 2010-05-03p. p2075-2084
Résumé en anglais
Ubiquitous multicore architectures require that many levels of parallelism have to be found in codes. Dependence analysis is the main approach in compilers for the detection of parallelism. It enables vectorisation and ...Lire la suite >
Ubiquitous multicore architectures require that many levels of parallelism have to be found in codes. Dependence analysis is the main approach in compilers for the detection of parallelism. It enables vectorisation and automatic parallelisation, among many other optimising transformations, and is therefore of crucial importance for optimising compilers. This paper presents new open source software, \texttt{FADAlib}, performing an instance-wise dataflow analysis for scalar and array references. The software is a C++ implementation of the Fuzzy Array Dataflow Analysis (FADA) method. This method can be applied on codes with irregular control such as \texttt{while}-loops, \texttt{if-then-else} or non-regular array accesses, and computes exact instance-wise dataflow analysis on regular codes. As far as we know, \texttt{FADAlib} is the first released open source C++ implementation of instance-wise data flow dependence handling larger classes of programs. In addition, the library is technically independent from an existing compiler; It can be plugged in many of them; this article shows an example of a successful integration inside gcc/GRAPHITE. We give details concerning the library implementation and then report some initial results with gcc and possible use for trace scheduling on irregular codes.< Réduire
Origine
Importé de halUnités de recherche