Abstract FR:

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