Précédent : Composition de l'équipe Remonter : Systèmes Objets Répartis Suivant : Fondements scientifiques
Précédent : Composition de l'équipe Remonter :
Systèmes Objets
Répartis Suivant : Fondements scientifiques
Mots clés : adaptabilité, cache, chaînes de PSS, cohérence, configurabilité, contrat de cohérence, contrôle de concurrence réparti, dimensionnement, entrepôt de données, gestion de cohérence, grande échelle, liaison, machine virtuelle virtuelle, mémoire partagée répartie, mesures de performance, mobilité, objet réparti, objet répliqué, PerDiS, persistance, ramasse-miettes réparti, référence, réplication, spécialisation, système réparti, travail coopératif, WWW .
Le projet SOR a pour thème central les mécanismes de partage de données par des agents ou processus coopérant à l'échelle de l'Internet. Notre recherche est guidée à la fois par l'innovation technologique (démarche ascendante) et par les besoins des applications réelles (démarche descendante). Elle comprend quatre facettes: (1) Caractérisation de l'application, des environnements d'exécution cibles, ainsi que du schéma d'accès aux données. Ceci nous conduit à préciser les hypothèses et les contraintes à prendre en compte lors de l'élaboration des solutions. (2) Spécification des algorithmes, des modèles ou des protocoles satisfaisant aux contraintes identifiées. Lorsque cela s'y prête bien, les preuves (de correction et/ou de vivacité) des algorithmes et protocoles sont réalisées. (3) Prototypage des mécanismes, algorithmes et protocoles. Le prototypage, qui représente un investissement lourd et ingrat, est néanmoins indispensable pour se convaincre de la viabilité des solutions proposées. (4) Évaluation, qui se fait en deux temps. En amont du prototypage, les simulations permettent de s'assurer que les solutions proposées répondent bien aux attentes des applications: elles permettent d'évaluer et de comparer différents compromis. En aval du prototypage, l'évaluation nous apprend, d'une part si le système satisfait aux attentes des utilisateurs, et d'autre part si le comportement obtenu est conforme aux prédictions.