Through the Steps of Programmable Refactoring of a large Scientific Code

Relatore:  Michele Martone - Leibniz Supercomputing Centre, Garching bei Muenchen (Germany)
  lunedì 25 novembre 2019 alle ore 16.00 Sala Verde
Large, mature High Performance Computing (HPC) codes are facing a multitude of challenges today. One of them is the need to cope with the heterogenity of hardware platforms and often diverging `performance' solutions, be it programming models, libraries, or data structures. The main risks are low performance (leading to waste of energy) and obsolescence (leading to waste of manpower). In this talk, I will go through the major steps I performed in restructuring the major cosmological simulation code "GADGET" (~150 KLOC of C); more precisely: changing its data structures in a pervasive, yet thoughly programmatic and parametric manner. The goals of the talk are to illustrate a real use of the "Coccinelle" program-matching and transformation tool (so far under-utilized in the HPC context), and to show where formal methods, HPC and software engineering may meet.

Contact Person: M. Caliari


Referente esterno
Data pubblicazione
16 ottobre 2019

Offerta formativa