Projet : ADP - Contrat CNET sur les modèles de cohérence pour les transactions

Mots clés : cohérence, cohérence séquentielle, cohérence causale, sérialisabilité causale, consensus .

Dans le cadre des Consultations Thématiques Informelles lancées par le CNET, un contrat (Convention 1 95 C 329 00 31401 011) a été établi entre le CNET et l'équipe ADP pour les années 1994 à 1998. Ce contrat porte sur l'étude et l'expérimentation de critères de cohérence pour des copies d'objets dans un système à grande échelle soumis à des défaillances ainsi que sur l'étude de notion de détecteur de défaillances dans le cadre asynchrone. Les résultats déjà livrés sont : (1) une classification des différents critères de cohérence pour des copies d'objets, (2) une théorie et des protocoles d'implémentation de la cohérence séquentielle et de la cohérence causale, (3) une description d'un nouveau critère de cohérence intermédiaire entre la cohérence séquentielle et la cohérence causale dans le modèle transactionnel : la sérialisabilité causale, (4) une étude de la notion de détecteur de défaillances pour la mise en $\oe$ uvre de protocole de consensus. Les résultats attendus sont les résultats d'expérimentation de ces protocoles.

Contrat CNET sur les modèles de cohérence pour les transactions

Résumé :