Formalisation de la correction des exécutions dans les systèmes transactionnels sujets aux pannes

par Stéphane Turc

Thèse de doctorat en Informatique

Sous la direction de Jean Ferrié.

Soutenue en 1989

à Montpellier 2 .


  • Résumé

    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

  • Titre traduit

    Formalization of execution correctness of transactions prono to failures


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 135 f
  • Annexes : Bibliogr.: f. 128-135

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Bibliothèque interuniversitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TS 89.MON-041

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1989-TUR
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.