paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 211556181Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

Informations

Langue d'expression : Francais
Date de naissance :  1995
Note publique d''information : 
CETTE THESE CONSTITUE UNE CONTRIBUTION A LA CONCEPTION DES MODELES DE TRANSACTION AVANCES. UN NOUVEAU CRITERE DE COHERENCE APPELE SERIALISABILITE RELATIVE MULTI-NIVEAUX (SRM) AINSI QUE LE MODELE DE TRANSACTION (TARM TRANSACTION A ATOMICITE RELATIVE MULTI-NIVEAUX) SUPPORTANT CE CRITERE SONT DECRITS FORMELLEMENT SELON LE FORMALISME ACTA. CE CRITERE EST APTE A EXPLOITER A LA FOIS LA SEMANTIQUE DES TRANSACTIONS ET LA SEMANTIQUE DES OBJETS MANIPULES PAR LA TRANSACTION ET REPOND AUX BESOINS DES NOUVELLES APPLICATIONS COOPERATIVES ET DE LONGUES DUREES. CES RESULTATS THEORIQUES SONT COMPLETES PAR LA DEFINITION D'ALGORITHMES DE CONTROLE DE CONCURRENCE BASE SUR LE 2PL (2 PHASE LOCKING) ET VA (VERROUILLAGE ALTRUISTE) CAPABLE DE GARANTIR LA SERIALISABILITE RELATIVE MULTI-NIVEAUX. CES ALGORITHMES SONT ASSOCIES A DES PREUVES MONTRANT LA CONFORMITE ENTRE LE CRITERE DE COHERENCE ET LES ALGORITHMES DE CONTROLE DE CONCURRENCE. CES ALGORITHMES SONT IMPLANTES SUR UNIX DANS UN GESTIONNAIRE DE RESSOURCES PILOTE PAR LE MONITEUR MAAO (MONITEUR D'ACTION ATOMIQUE OUVERT) DEVELOPPE A L'INRIA

Notices d'autorité liées

Autres identifiants

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet

Equivalent dans un autre référentiel

... Références liées : ...