Abstract FR:

La correction des executions de transactions est la conjonction de la serialisabilite et de la tolerance aux pannes. La serialisabilite est l'equivalence a une execution serie. Toutes les transactions, validees ou rejetees, ont, dans une execution serialisable, les memes effets que dans une execution serie. Une execution concurrente est tolerante aux pannes si toutes les transactions s'executent en totalite ou pas du tout, bien qu'elles soient interrompues par une panne. De plus, tous les effets des transactions validees doivent resister a la panne. Dans la premiere partie, est presentee la correction des executions uniquement formees de lectures et d'ecritures. La distinction est faite entre les transactions qui ecrivent avant de valider et les transactions avec espace de travail. Un exemple de mise en uvre conclut cette partie. La seconde partie considere les transactions formees d'operations typees. Ces operations permettent plus de parallelisme en exploitant les proprietes de commutativite fournies par l'application. La serialisabilite et la tolerance aux panes sont aussi etudiees dans ce cas. Un modele de systeme reparti illustre une mise en uvre de ces deux proprietes