Du support générique d'opérateurs de composition dans les modèles de composants logiciels : Application au calcul à haute performance

On the generic support of composition operators in software component models : application to scientific computing.

• Auteur / Autrice : Julien Bigot
• Direction : Perez Christian
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2010
• Etablissement(s) : Rennes, INSA

Mots clés

Mots clés contrôlés

Ordinateurs -- Mémoires à accès sélectif

Résumé

Les modèles de composants logiciels qui proposent des schémas de composition pour le calcul à haute performance offrent une piste intéressante pour le développement d'applications scientifiques. Ils sont toutefois limités à un ensemble restreint de schémas. Cette thèse propose un modèle dans lequel des opérateurs de composition peuvent être introduits sans modification du modèle. Ceci est rendu possible par la présence de quatre concepts: la hiérarchie, les connecteurs, la généricité et le choix de mise en œuvre. Les trois principales contributions présentées sont l'application du concept de généricité aux modèles de composants, la proposition d'une solution pour résoudre les interactions problématiques entre les concepts de connecteur et de hiérarchie et une mise en œuvre du modèle. Ces travaux ont été validés en décrivant des interactions complexes entre composants tout en assurant une exécution efficace sur des ressources matérielles variées.

Software component models that support composition schemas dedicated to high performance computing offer an interesting lead for the development of scientific applications. They are however limited to a fixed set of schemas. This thesis proposes a model in which new composition operators can be introduced without modifying the model. This is made possible thank to four concepts: hierarchy, software connectors, genericity and implementation choice. The three main contributions described are the application of the concept of genericity to software component models, the proposal of a solution to handle the problematic interactions between the concepts of connectors and hierarchy and an implementation of the model. This has been validated by describing complex interactions between components and ensuring an efficient execution on various hardware resources.