LAL Laboratoire de l'Accélérateur Linéaire (Paris-Sud)
LPT Laboratoire de Physique Théorique (Paris-Sud)
Partenaires d'un projet ANR.
Abstract
There are a number of numerical transformations that are applied in HPC scientific computing in order to match multiprocessors features, namely, parallelism, communication and memory hierarchy. Here, we refer to algorithm transformations that may change the semantics of corresponding programs and thus are not encompassed in today's optimizing tools. These transformations have important impact on the numerical stability and convergence of algorithms. The topic of this PhD thesis is to understand how to formalize these transformations and whether they can be directly included in the polyhedral model used in compiler optimization, or if the polyhedral model must be extended. We plan then to implement these transformations in an existing meta-language tool. Targeted architectures are clusters of GPU, supercomputers such as IBM Bluegene or very large clusters.