Evaluation, optimisation et validation de protocoles distribués de gestion de la concurrence pour les interactions coopératives

Evaluation, optimization and validation of ditributed protocols for concurrency management dedicated to collabrative interactions

• Auteur / Autrice : Julien Henriet
• Direction : Jean-Christophe Lapayre
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2005
• Etablissement(s) : Besançon
• Partenaire(s) de recherche : autre partenaire : Université de Franche-Comté. UFR des sciences et techniques

Mots clés

Mots clés contrôlés

Évaluation

Optimisation mathématique

Concurrence

Résumé

Le développement fulgurant de la télé-informatique a permis l'apparition de nombreux logiciels pour le travail de groupe d'où les vocables collecticiels, applications coopératives ou collaboratives. Mais le travail collaboratif sur Internet place des contraintes en terme de concurrence d'accès aux données partagées et de communication ; n utilisateurs accédant aux mêmes données doivent en avoir la même vision, une vision cohérente. La première partie de cette thèse est un état de l'art des protocoles de communication et de gestion de la cohérence des données, des outils de communication, ainsi qu'un tour d'horizon des applications et plates-formes dédiées plus particulièrement à la télé-médecine coopérative. La deuxième partie est l'étude et l'amélioration du protocole du Pèlerin. Ce protocole pessimiste est implémenté sur notre plate-forme coopérative nommée CAliF et une version optimiste est proposée, permettant aux utilisateurs de réaliser plus rapidement leurs modifications des objets partagés. Cette partie comporte aussi une étude théorique des performances de ce nouveau protocole par rapport aux performances du Pèlerin classique. La troisième partie présente, modélise et étudie le protocole de gestion des communications de CAliF : le Caméléon. Cette étude est faite au travers de Réseaux de Pétri. La quatrième partie est une étude pratique de ces protocoles à l'aide d'une implémentation basée sur l'intergiciel SOAP et leur adéquation avec les outils de la plate-forme du projet de télé-neurologie TéNeCi. Dans le cadre de ce projet, des neurologues des hôpitaux de Besançon et de Lausanne doivent pouvoir réaliser des diagnostics de manière coopérative en temps réel.

Cooperative work over Internet introduces constraints in terms of access and modification of shared objects. Users need to access the same objects concurrently in real-time. At each moment, the same image of the production area is to be shared on each connected site. The first chapter of this thesis is a state of the art of communication protocols, consistency management protocols and telemedicine platforms that allow collaborative work. The second chapter presents an new protocol for consistency management over that kind of platform. A probabilistic study of this new protocol proves and evaluates the optimization and the cost of this new protocol called the Optimistic Pilgrim. An analysis, an optimization and a validation of the Chameleon protocol dedicated to communication management over a collaborative platform is presented in the third chapter. At last, the fourth chapter evaluates the performance of these protocols through an implementation of a prototype and also presents the adequation of each protocol to each tool of the collaborative teleneurological platform of the TéNeCi project.