Execution support for multi-threaded active objects : design and implementation

Justine Rochas 1, 2
1 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : Pour aborder le développement d'applications concurrentes et distribuées, le modèle de programmation à objets actifs procure une abstraction de haut niveau pour programmer de façon concurrente. Les objets actifs sont des entités indépendantes qui communiquent par messages asynchrones. Peu de systèmes à objets actifs considèrent actuellement une exécution multi-threadée. Cependant, introduire un parallélisme contrôlé permet d'éviter les coûts induits par des appels de méthodes distants. Dans cette thèse, nous nous intéressons aux enjeux que présentent les objets actifs multi-threadés, et à la coordination des threads pour exécuter de façon sûre les tâches d'un objet actif en parallèle. Nous enrichissons dans un premier temps le modèle de programmation, afin de contrôler l'ordonnancement interne des tâches. Puis nous exhibons son expressivité de deux façons différentes: d'abord en développant et en analysant les performances de plusieurs applications,puis en compilant un autre langage à objets actifs avec des primitives de synchronisation différentes dans notre modèle de programmation. Aussi, nous rendons nos objets actifs multi-threadés résilients dans un contexte distribué en utilisant les paradigmes de programmation que nous avons développé. Enfin, nous développons une application pair-à-pair qui met en scène des objets actifs multi-threadés. Globalement, nous concevons un cadre de développement et d'exécution complet pour les applications hautes performances distribuées. Nous renforçons notre modèle de programmation en formalisant nos contributions et les propriétés du modèle. Cela munit le programmeur de garanties fortes sur le comportement du modèle de programmation.
Type de document :
Thèse
Other [cs.OH]. Université Côte d'Azur, 2016. English. 〈NNT : 2016AZUR4062〉
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01441662
Contributeur : Abes Star <>
Soumis le : vendredi 20 janvier 2017 - 09:00:06
Dernière modification le : mardi 11 juillet 2017 - 01:12:30
Document(s) archivé(s) le : vendredi 21 avril 2017 - 13:22:32

Fichier

2016AZUR4062.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01441662, version 1

Collections

Citation

Justine Rochas. Execution support for multi-threaded active objects : design and implementation. Other [cs.OH]. Université Côte d'Azur, 2016. English. 〈NNT : 2016AZUR4062〉. 〈tel-01441662〉

Partager

Métriques

Consultations de
la notice

466

Téléchargements du document

69