Data-flow Reversal and Garbage Collection - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Mathematical Software Année : 2023

Data-flow Reversal and Garbage Collection

Résumé

Data-flow reversal is at the heart of source-transformation reverse algorithmic differentiation (reverse ST-AD), arguably the most efficient way to obtain gradients of numerical models. However, when the model implementation language uses garbage collection (GC), for instance in Java or Python, the notion of address that is needed for data-flow reversal disappears. Moreover, GC is asynchronous and does not appear explicitly in the source. This paper presents an extension to the model of reverse ST-AD suitable for a language with GC. The approach is validated on a Java implementation of a simple Navier-Stokes solver. Performance is compared with existing AD tools ADOL-C and Tapenade on an equivalent implementation in C and Fortran.

Dates et versions

hal-04391758 , version 1 (12-01-2024)

Licence

Paternité

Identifiants

Citer

Laurent Hascoët. Data-flow Reversal and Garbage Collection. ACM Transactions on Mathematical Software, 2023, ⟨10.1145/3627537⟩. ⟨hal-04391758⟩
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More