The Tapenade Automatic Differentiation tool: principles, model, and specification

Laurent Hascoët 1 Valérie Pascual 1
1 TROPICS - Program transformations for scientific computing
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : Tapenade est un outil de Différentiation Automatique (DA) qui, étant donné un code Fortran ou C calculant une fonction, crée un nouveau code qui calcule ses dérivées tangente ou adjointe. Tapenade porte une attention particuliére á la différentiation adjointe, qui calcule des gradients trés efficacement. Nous décrivons les principes de DA utiles pour comprendre Tapenade. Nous motivons les choix qui nous guident dans son développement. Nous illustrons sur des exemples courts le modéle de différentiation choisi et les stratégies pour produire un code différentié efficace. Aprés cette description intuitive, nous donnons une spécification formelle de Tapenade au moyen d'équations data-flow et de régles de Sémantique Opérationnelle. Cette formalisation peut servir de base á des preuves de correction, principalement pour le mode adjoint. Nous décrivons enfin l'architecture de Tapenade, ses structures de données principales, et nous présentons ses performances sur des applications de taille industrielle. En conclusion, nous présentons les recherches en cours ou prévues.
Type de document :
Rapport
[Research Report] RR-7957, INRIA. 2012, pp.53
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00695839
Contributeur : Valérie Pascual <>
Soumis le : lundi 14 mai 2012 - 16:37:24
Dernière modification le : mardi 30 janvier 2018 - 16:56:01
Document(s) archivé(s) le : vendredi 30 novembre 2012 - 11:40:09

Fichier

RR-7957.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00695839, version 1

Collections

Citation

Laurent Hascoët, Valérie Pascual. The Tapenade Automatic Differentiation tool: principles, model, and specification. [Research Report] RR-7957, INRIA. 2012, pp.53. 〈hal-00695839〉

Partager

Métriques

Consultations de la notice

392

Téléchargements de fichiers

446