déposer
version française rss feed
HAL : hal-00666885, version 2

Fiche détaillée  Récupérer au format
ETAPS 2012, Tallin : Estonie (2012)
Versions disponibles :
QIRAL: A High Level Language for Lattice QCD Code Generation
Denis Barthou 1, 2, Gilbert Grosdidier 3, Michael Kruse 4, Olivier Pène 5, Claude Tadonki 6
(2012)

Quantum chromodynamics (QCD) is the theory of subnuclear physics, aiming at mod- eling the strong nuclear force, which is responsible for the interactions of nuclear particles. Lattice QCD (LQCD) is the corresponding discrete formulation, widely used for simula- tions. The computational demand for the LQCD is tremendous. It has played a role in the history of supercomputers, and has also helped defining their future. Designing efficient LQCD codes that scale well on large (probably hybrid) supercomputers requires to express many levels of parallelism, and then to explore different algorithmic solutions. While al- gorithmic exploration is the key for efficient parallel codes, the process is hampered by the necessary coding effort. We present in this paper a domain-specific language, QIRAL, for a high level expression of parallel algorithms in LQCD. Parallelism is expressed through the mathematical structure of the sparse matrices defining the problem. We show that from these expressions and from algorithmic and preconditioning formulations, a parallel code can be automatically generated. This separates algorithms and mathematical formulations for LQCD (that be- long to the field of physics) from the effective orchestration of parallelism, mainly related to compilation and optimization for parallel architectures.
1 :  Laboratoire Bordelais de Recherche en Informatique (LaBRI)
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II
2 :  RUNTIME (INRIA Bordeaux - Sud-Ouest)
INRIA – CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
3 :  Laboratoire de l'Accélérateur Linéaire (LAL)
CNRS : UMR8607 – IN2P3 – Université Paris XI - Paris Sud
4 :  Laboratoire de Recherche en Informatique (LRI)
CNRS : UMR8623 – Université Paris Sud
5 :  Laboratoire de Physique Théorique d'Orsay (LPT)
CNRS : UMR8627 – Université Paris XI - Paris Sud
6 :  École des mines de Paris (MINES ParisTech)
MINES ParisTech - École nationale supérieure des mines de Paris
PetaQCD
Informatique/Théorie et langage formel
Langage de haut niveau – algorithmique – parallelisme – structures des donnees – Chromodynamique quantique
Liste des fichiers attachés à ce document : 
PDF
paper.pdf(164.3 KB)
PS
paper.ps(707.1 KB)

tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...