FADAlib: an open source C++ library for fuzzy array dataflow analysis
| hal.structure.identifier | Parallélisme, Réseaux, Systèmes, Modélisation [PRISM] | |
| dc.contributor.author | BELAOUCHA, Marouane | |
| hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
| hal.structure.identifier | Efficient runtime systems for parallel architectures [RUNTIME] | |
| dc.contributor.author | BARTHOU, Denis | |
| hal.structure.identifier | Parallélisme, Réseaux, Systèmes, Modélisation [PRISM] | |
| dc.contributor.author | ELICHE, Adrien | |
| hal.structure.identifier | Parallélisme, Réseaux, Systèmes, Modélisation [PRISM] | |
| hal.structure.identifier | Architectures, Languages and Compilers to Harness the End of Moore Years [ALCHEMY] | |
| dc.contributor.author | TOUATI, Sid | |
| dc.date.accessioned | 2024-04-15T09:48:01Z | |
| dc.date.available | 2024-04-15T09:48:01Z | |
| dc.date.issued | 2010-05-03 | |
| dc.date.conference | 2010-05-31 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198144 | |
| dc.description.abstractEn | 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. | |
| dc.language.iso | en | |
| dc.source.title | Procedia Computer Science | |
| dc.title.en | FADAlib: an open source C++ library for fuzzy array dataflow analysis | |
| dc.type | Communication dans un congrès | |
| dc.subject.hal | Informatique [cs]/Calcul parallèle, distribué et partagé [cs.DC] | |
| bordeaux.page | p2075-2084 | |
| bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.conference.title | International Conference on Computational Science | |
| bordeaux.country | NL | |
| bordeaux.title.proceeding | Procedia Computer Science | |
| bordeaux.conference.city | Amsterdam | |
| bordeaux.peerReviewed | oui | |
| hal.identifier | hal-00551673 | |
| hal.version | 1 | |
| hal.invited | non | |
| hal.proceedings | oui | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//hal-00551673v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.btitle=Procedia%20Computer%20Science&rft.date=2010-05-03&rft.spage=p2075-2084&rft.epage=p2075-2084&rft.au=BELAOUCHA,%20Marouane&BARTHOU,%20Denis&ELICHE,%20Adrien&TOUATI,%20Sid&rft.genre=unknown |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||