Le modèle de programmation InKS

International audienceAmé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