The Data-Dependence Graph of Adjoint Programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2001

The Data-Dependence Graph of Adjoint Programs

Abstract

Automatic Differentiation is a technique that permits generation of \em adjoint programs, which compute gradients. In scientific computation, these gradients are a fundamental tool for optimization or data assimilation. Computation of a gradient is relatively expensive, and should therefore be optimized whenever possible. The study of these program optimizations is most often based on the data-dependence graph. Under precise assumptions, we prove that the adjoint program's data-dependence graph is isomorphic to a sub-graph of the original data-dependence graph. The proof relies on a refined definition of the notion of data-dependence, and on a formal definition of adjoint programs in terms of products of local Jacobian matrices. This theorem can be used to transpose optimizations of the original program, to the adjoint program. It can also justify specific transformations on the adjoint. We give some examples of such applications.
Fichier principal
Vignette du fichier
RR-4167.pdf (297.28 Ko) Télécharger le fichier

Dates and versions

inria-00072455 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00072455 , version 1

Cite

Laurent Hascoët. The Data-Dependence Graph of Adjoint Programs. RR-4167, INRIA. 2001. ⟨inria-00072455⟩
74 View
99 Download

Share

Gmail Facebook X LinkedIn More