RT-0300 - TAPENADE 2.1 user's guide

Hascoët, Laurent - Pascual, Valérie

Rapport technique de l'INRIA - Sophia Antipolis , Equipe : TROPICS
78 pages - Septembre 2004 - Document en anglais

- Les pages 7, 54-55, 59, 65 sont en couleur

Fichier PostScript / PostScript file (483 Ko) Fichier PDF / PDF file (1159 Ko)

Titre français : Manuel de l'utilisateur de TAPENADE 2.1

Abstract :

This is the user's manual for the version 2.1 of the Automatic Differentiation tool TAPENADE. Given a source computer program that computes a differentiable mathematical function $F$, TAPENADE builds a new source program that computes some of the derivatives of $F$, specifically directional derivatives ("tangent mode") and gradients ("reverse mode"). This report summarizes the mathematical justifications of Automatic Differentiation, then describes in full detail the differentiation model that TAPENADE implements. Our goal is to give the users of TAPENADE a precise understanding of the actions and choices made while differentiating programs, so as to improve their confidence in the produced source programs. This report documents all the available options and parameterizations that the users can give to TAPENADE, and conversely all the diagnosis and requirements that TAPENADE may issue towards the users. After a brief description of TAPENADE's architecture and performances, this report describes more fully the validation and improvement techniques for differentiated codes.

Résumé :

Ce rapport est le manuel d'utilisation de la version 2.1 du logiciel de Différentiation Automatique TAPENADE. Etant donné un programme source qui calcule une fonction mathématique différentiable $F$, TAPENADE construit un nouveau programme source qui calcule certaines dérivées de $F$, et plus particulièrement des dérivées directionnelles ("mode direct") et des gradients ("mode inverse"). Ce rapport rappelle succintement les justifications mathématiques de la Différentiation Automatique, puis décrit en détail le modèle de différentiation implémenté dans TAPENADE, dans le but d'améliorer la compréhension et la confiance des utilisateurs dans le code différentié. Ce rapport documente les options de la commande TAPENADE, les fichiers de configuration disponibles, ainsi que les diagnostics et résultats produits par l'outil. Ce rapport décrit rapidement l'architecture de TAPENADE

Key-Words : AUTOMATIC DIFFERENTIATION / ALGORITHMIC DIFFERENTIATION / ADJOINT / GRADIENT / OPTIMIZATION / INVERSE PROBLEMS / STATIC ANALYSIS / DATA-FLOW ANALYSIS / COMPILATION

Mots-clés : DIFFÉRENTIATION AUTOMATIQUE / ADJOINT / GRADIENT / OPTIMISATION / PROBLÈMES INVERSES / ANALYSES STATIQUES / ANALYSES DATA-FLOW / COMPILATION