Adjoining independent computations

  • Authors:
  • Laurent Hascoét;Stefka Fidanova;Christophe Held

  • Affiliations:
  • INRIA, Sophia Antipolis, France;Univ. Libre de Brussels, Bruxelles, Belgium;INRIA, Sophia Antipolis, France

  • Venue:
  • Automatic differentiation of algorithms
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

The reverse or adjoint mode of automatic differentiation is software engineering technique that permits efficient computation of gradients. However, this technique requires a lot of temporary memory. In this chapter, we present a refinement that reduces memory consumption in the case of parallel loops, and we give a proof of its correctness based on properties of the data-dependence graph of adjoint programs and parallel loops. This technique is particularly suitable for assembly loops that dominate in mesh-based computations. Application is done on the kernel of a realistic Navier-Stokes solver.