AMCA: PADRE2: a Fortran preprocessor for AD with checkpointing by K. Kubota

Atlas Mathematical Conference Abstracts || Conferences | Abstracts | for Organizers | About AMCA

AD 2000 - From Simulation to Optimization
June 19-23, 2000
INRIA Sophia Antipolis
Sophia Antipolis, France

Organizers
George Corliss, Christele Faure, Andre Galligo, Andreas Griewank, Laurent Hascoet, Uwe Naumann

PADRE2: a Fortran preprocessor for AD with checkpointing
by
K. Kubota

Given a program computing the value of a function with many variables, the reverse mode automatic differentiation swiftly computes the values of the partial derivatives of the function. But its weak point is the requirement of large storage. We report on implementation of a preprocessor that can handle any Fortran77 programs with an improved reverse mode automatic differentiation, invented by A. Griewank, that reduces the size of the storage by means of checkpointing mechanism. Using fork system-call provided by the UNIX operating system and making a library named RCL/fork (Recursive Checkpointing Library with fork system-call), we show performance of the preprocessor with some examples.

http://warbler.ise.chuo-u.ac.jp/ad2000/kkabst.ps

Date received: January 24, 2000

Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Mathematical Conference Abstracts. Document # cads-46.