Refactoring for Performance with Semantic Patching: Case Study with Recipes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Refactoring for Performance with Semantic Patching: Case Study with Recipes

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
164 View
143 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More