Contribution à l'étude de la notion d'objet réparti dans les langages et systèmes opératoires
FR |
EN
Auteur / Autrice : | Gérard Padiou |
Direction : | Claude Bétourné |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences appliquées |
Date : | Soutenance en 1987 |
Etablissement(s) : | Toulouse 3 |
Mots clés
FR
Mots clés libres
Sciences appliquees
Informatique, automatique theorique, systemes
Langage programmation
Parallelisme
Validation
Systeme reparti
Distribution
Synchronisation
Controle
Strategie
Type abstrait
Gestion tache
Logique temporelle
Programming language
Parallelism
Validation
Distributed system
Distribution
Synchronization
Check
Strategy
Abstract data type
Task scheduling
Temporal logic
Résumé
FR
Etude bibliographique precisant le concept d'objet et sa suite en oeuvre dans les langages et systemes operatoires. Definition de la notion d'objet dans le complexe particulier du modele de systeme reparti propose. Les mecanismes inclus dans ce modele reposent sur la notion de taches migrantes et de familles de taches. Les protocoles de migration de taches sont decrits en terme de reseaux logiques. Une forme linguistique est decrite et utilisee sur des exemples d'algorithmes repartis. Enfin, le phenomene de migration des taches et la validation des programmes decrits sont formalises a l'aide de la logique temporelle