Recherche Avancée

Thèse soutenue

Un modèle pour la spécification de la synchronisation à l'aide de contraintes

FR  |  
EN
Auteur / Autrice : Philippe Mauran
Direction : Claude Boksenbaum
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1990
Etablissement(s) : Montpellier 2

Résumé

FR

Ce travail présente un modèle pour la spécification et la programmation d'applications parallèles. Deux idées sous-tendent cette proposition: permettre une conception du contrôle descendante, et rendre possible une expression partiellement déclarative de celui-ci. Le modèle développe ainsi une solution originale, fondée sur une spécification hybride, ou peuvent coexister des éléments déclaratifs et des éléments opératifs. Le document est structuré en trois parties: 1) la première partie présente la problématique associée à la conception de programmes parallèles, considérés comme un ensemble de processus. Cette introduction met en évidence la notion d'invariant (ou contrainte de synchronisation) comme outil pour la formulation d'applications parallèles. Cette notion est le point de départ de la solution exposée; 2) la partie suivante dresse un état de l'art des principales propositions et structures existantes pour la conception et le traitement de la coordination. L'expression du parallélisme, de la synchronisation, de la communication, et du non déterminisme sont successivement abordées; 3) la dernière partie présente, analyse, et illustre notre modèle. Celui-ci est basé sur l'expression de contraintes et sur un mécanisme capable de les gérer en présence d'opérations. Le caractère dynamique du modèle d'exécution permet de tirer pleinement parti du non déterminisme exprime dans la spécification. Le modèle est enfin illustré par des exemples et propositions d'extensions.