• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1982

Résumé en langue originale

Caractérisation des systèmes répartis et de leurs problèmes de contrôle de cohérence. Caractérisation de l'utilisateur interactif des systèmes répartis avec les facilités et les options qu'on veut lui donner. Présentation d'un premier modèle qui permet de résoudre les problèmes de contrôle de cohérence posés par l'accès à des fichiers répartis de données par des transactions concurrentes. Modification du premier modèle afin de favoriser la concurrence entre transactions. On utilise un mécanisme flexible de verrouillage qui permet de choisir la taille de l'objet à verrouiller. L'utilisation de transactions "imbriquées" permet la libération graduelle de ressources pendant une transaction, et évite à l'utilisateur la perte de ses opérations en cas de défaillances du système. Généralisation du modèle de contrôle de cohérence à un système réparti d'objets abstraits avec des verrous généralisés. Ceci permet d'étendre les résultats obtenus aux bases de données réparties