Résumé: Ce travail traite du probléme du maintien de la cohérence dans les systémes répartis. Il présente d'abord un état de l'art dans la matiére, à travers la théorie classique, les propositions non-orthodoxes et les comparaisons quantitatives des algorithmes. Les diverses tendances d'utilisation de la connaissance sémantique son aussi présentées. Un nouveau mécanismes flexible de contrôle de concurrence est proposé pour les systémes ou les objets sont modélisés comme des types abstraits de données. Une implémentation de ce mécanisme flexible est également décrite.

Paris:
Langue: Français
Collation: 127 p. ;30 cm.
Diplôme: Docteur ingénieur
Etablissement de soutenance: Paris, Université Pierre et Marie Curie
Spécialité: Informatique
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
systèmes répartis
contrôle de concurrence
connaissance sémantique
Système d'exploitation
Bases de données

Note: Annexe pp.1-22; Bibliogr. pp.1-9