Le modèle de programmation InKS

Ksander Ejjaaouani (1, 2)

1 MDLS - Maison de la Simulation
2 TONUS - TOkamaks and NUmerical Simulations

Améliorer la productivité et la maintenabilité des codes de simulation est un enjeu de recherche ma-jeur compte tenu de leur complexification. Une réponse à ce défi est de séparer la sémantique des choix d'exécution. Cette scission facilite la coopération entre chercheurs en permettant à chacun de se concentrer sur un aspect. Dans ce papier, nous proposons un modèle de programmation, InKS, qui vise à simplifier le développement des codes en séparant sémantique et choix d'exécution. Le modèle s'accompagne d'un langage décrivant la sémantique. Les choix d'exécution sont ensuite pris en compte automatiquement, par notre compilateur, ou manuellement, par les scientifiques. L'éva-luation du modèle InKS ne montre pas d'augmentation de la complexité d'implémentation du code ni de réduction des possibilités d'optimisation. Ainsi, le modèle permet d'obtenir les mêmes performances que des applications C standards tout en séparant la sémantique des choix d'exécution.

Mots clés: HPC; Modèle de programmation; Séparation des préoccupations

Domaines: Informatique et langage [cs.CL]; Calcul parallèle, distribué et partagé [cs.DC]

Ksander Ejjaaouani. Le modèle de programmation InKS. Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. ⟨hal-01890155⟩