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⟩
168 Consultations
143 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More