Skip to Main content Skip to Navigation
Theses

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

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.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-01441662
Contributor : Abes Star :  Contact
Submitted on : Friday, January 20, 2017 - 9:00:06 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:55 PM
Document(s) archivé(s) le : Friday, April 21, 2017 - 1:22:32 PM

File

2016AZUR4062.pdf
Version validated by the jury (STAR)

Identifiers

  • 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⟩

Share

Metrics

Record views

865

Files downloads

500