Calcul d'objet asynchrone : confluence et déterminisme

Ludovic Henrio 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : L'objectif de cette thèse est de concevoir un calcul d'objets permettant d'écrire des applications parallèles et distribuées, en particulier dans un cadre à grande échelle, tout en assurant de bonnes propriétés. Le calcul proposé s'intitule ASP : Asynchronous Sequential Processes. Les principales caractéristiques de ce calcul sont : des communications asynchrones, la présence de futurs et une exécution séquentielle dans chacun des processus. Ce calcul exhibe de fortes propriétés de confluence et de déterminisme. Cette thèse a donc aussi pour objectif de prouver de telles propriétés dans un cadre aussi général que possible. ASP est basé sur une répartition des objets en différentes activités disjointes. Une activité est un ensemble d'objets gérés par un unique processus. Les objets actifs sont des objets accessibles par des références globales/distantes. Ils communiquent à travers des appels de méthodes asynchrones avec un mécanisme de futurs. Un futur est une référence globale désignant un résultat qui n'est pas encore calculé. Cette thèse modélise ces différents aspects, leurs principales propriétés et les conséquences de ces mécanismes sur la notion de comportement déterministe des programmes. Le résultat principal consiste en une propriété de confluence et son application à l'identification d'un ensemble de programmes se comportant de façon déterministe. Du point de vue pratique, ASP peut aussi être considéré comme une modélisation de la librairie ProActive. Cette librairie fournit des outils pour développer des applications parallèles et distribuées en Java.
Type de document :
Thèse
Modélisation et simulation. Université Nice Sophia Antipolis, 2003. Français
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00505940
Contributeur : Estelle Nivault <>
Soumis le : lundi 26 juillet 2010 - 16:18:08
Dernière modification le : jeudi 2 juin 2016 - 22:10:41
Document(s) archivé(s) le : jeudi 28 octobre 2010 - 16:56:18

Fichier

Identifiants

  • HAL Id : tel-00505940, version 1

Collections

Citation

Ludovic Henrio. Calcul d'objet asynchrone : confluence et déterminisme. Modélisation et simulation. Université Nice Sophia Antipolis, 2003. Français. 〈tel-00505940〉

Partager

Métriques

Consultations de
la notice

346

Téléchargements du document

450