Recherche Avancée

Thèse soutenue

Contrôle de concurrence mixte en environnement distribué : une méthode fusionnant verrouillage et certification

FR  |  
EN
Auteur / Autrice : Jean-François Vilarem
Direction : Jean Ferrié
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1989
Etablissement(s) : Montpellier 2

Résumé

FR

Cette these se situe dans le cadre de controle de concurrence pour des systemes transactionnels repartis. Elle montre que les methodes pessimistes a base de verrouillage a deux phases et les methodes optimistes par certification peuvent coexister. Cette proposition, nouvelle en environnement distribue, peut se reveler avantageuse dans differentes situations ou l'heterogeneite est relative au type de controle exerce. Un modele de transaction distribuee, a base d'operations lire et ecrire, est propose. Differentes methodes de controle sont analysees a la lumiere d'un graphe de precedence engendre par les conflits entre operations de transactions concurrentes. Ce travail expose une methode par certification distribuee construisant un ordre de serialisation. Par la suite, celle-ci est adaptee de maniere a integrer le verrouillage a deux phases. Finalement cette solution mixte est mise en uvre en utilisant la technique des intervalles d'estampilles