Accueil > Forum TERATEC > Atelier 8

Forum TERATEC 2017
Atelier 8 - Mercredi 28 juin de 14h00 à 17h30
Précision et stabilité numérique dans les simulation HPC

VERIFICARLO: Un outil LLVM pour la précision numérique, étude sur le code EUROPLEXUS.
Pablo OLIVEIRA, UVSQ – LIPARAD et Olivier JAMOND, CEA DEN

Verificarlo est un outil pour l'estimation de la précision numérique de codes de simulation numériques. Il répond en particulier à la problématique du nécessaire compromis entre la performance et la précision de simulations numériques à large échelle. Verificarlo s’appuie sur l’arithmétique de Monte Carlo où les opérateurs de calcul sont bruités pour modéliser les erreurs d’arrondi ou de cancélation de manière stochastique. L'outil instrumente le code à la compilation, à travers une passe LLVM spécifique, sans avoir besoin de modifier le code source du programme. Cette facilité de mise en œuvre à permis d'analyser avec Verificarlo plusieurs codes industriels. Dans cette présentation nous montrons des résultats d'analyse sur le code Europlexus qui permet de simuler des interactions fluide-structure rapides. Par l'étude d'un cas de flambage nous montrons que la non-reproductibilité numérique est inhérente à certaines modélisations physiques et n'est pas forcement symptomatique de bugs numériques. En révélant cette non-reproductibilité inhérente, Verificarlo permet au numéricien de choisir des cas test appropriés pour la validation numérique lors d'un processus de modernisation ou parallélisation de code.

Biographie : Pablo de Oliveira Castro est maître de conférences à l'Université de Versailles Saint-Quentin depuis 2012. En 2010, il obtint sa thèse sur les programmes flots de données parallèles effectuée au Commisariat à l'Énergie Atomique. De 2011 à 2012, il mène des recherches postdoctorales à l'Exascale Computing Lab sur l'auto-tuning pour le calcul haute performance. Son intérêts portent sur les langages parallèles, la compilation, l'auto-tuning HPC et le calcul approché. Pablo a un engagement fort dans la dissémination de sa recherche à travers des logiciels open-source. Vous pouvez lui écrire à pablo.oliveira@uvsq.fr.
   
  Biographie : Olivier Jamond travaille en tant qu'ingénieur-chercheur au CEA depuis 2013. Il obtint sa thèse en 2011 dans le domaine de la simulation numérique en mécanique, suite à ses travaux sur un couplage de modèles numérique éléments-finis. De 2011 à 2014, il mène des recherches post-doctorales à l'ONERA sur un couplage entre éléments-finis et dynamique discrète des dislocations. Aujourd'hui, il continue de travailler sur le couplage de differents modèles numériques, et en particulier sur les approches par frontières immergées pour de l'intéraction fluide/structure

Inscrivez-vous dès à présent et obtenez votre badge en cliquant ici

  • Le Forum TERATEC est strictement réservé aux professionnels.
  • Participation gratuite aux conférences et aux ateliers (sous réserve des places disponibles).
  • L'enregistrement en ligne est obligatoire. Le plan Vigipirate étant porté à son niveau le plus élevé, il est obligatoire de s'inscrire en ligne préalablement et de venir muni(e) d'une pièce d'identité pour pouvoir participer au Forum TERATEC.
  • Le badge délivré vous donnera accès gracieusement à l'ensemble des évènements du Forum TERATEC

Pour toute autre information concernant les ateliers techniques, prière de contacter :

Jean-Pascal JEGU
Tél : +33 (0)9 70 65 02 10 - Mob.: +33 (0)6 11 44 49 59
jean-pascal.jegu@teratec.fr
Campus TERATEC
2, rue de la Piquetterie
91680 BRUYERES-LE-CHATEL
France

© Teratec - Tous droits réservés - Mentions légales