Refactoring for Performance with Semantic Patching: Case Study with Recipes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Refactoring for Performance with Semantic Patching: Case Study with Recipes

Résumé

Development of an HPC simulation code may take years of a domain scientists' work. Over that timespan, the computing landscape evolves, efficient programming best practices change, APIs of performance libraries change, etc. A moment then comes where the entire codebase requires a thorough performance lift. In the luckiest case, the required intervention is limited to a few hot loops. In practice, much more is needed. This paper describes an activity of programmatic refactoring of ≈200k lines of C code by means of source-to-source translation. The context is that of a so-called high level support provided to the domain scientists community by a HPC service center. The motivation of this short paper is the immediate reuse potential of these techniques.
Fichier principal
Vignette du fichier
c3po.pdf (253.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03266521 , version 1 (21-06-2021)
hal-03266521 , version 2 (07-01-2022)

Identifiants

Citer

Michele Martone, Julia Lawall. Refactoring for Performance with Semantic Patching: Case Study with Recipes. C3PO’21: Compiler-assisted Correctness Checking and Performance Optimization for HPC (ISC workshop), Jul 2021, virtual, Germany. pp.226-232, ⟨10.1007/978-3-030-90539-2_15⟩. ⟨hal-03266521v2⟩
144 Consultations
131 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More