Recoverabilitly (RC) und Kaskadenfreiheit (ACA)
Def.: Rücksetzbarkeit
S ist rücksetzbar, wenn für alle Ti, Tk in S gilt:Falls RF(Ti,x,Tk) und i ??k und ci in S,dann ck < ci.
D.h.: Alle Transaktionen Tk, von denen Ti liest, müssen vor Ti beendet sein.
Die Klasse der rücksetzbaren (recoverable) Schedules wird mit RC bezeichnet
Selbst mit rücksetzbaren Schedules können noch unangenehme Effekte auftreten:
w1(x) r2(x) w2(y) a1
Def.: KaskadenfreiheitS ist kaskadenfrei, wenn gilt:Falls RF(Ti,x,Tk) (fuer ein x) und i ??k,dann ck < ri(..)
D.h: Transaktionen dürfen nur “comitted” Werte lesen.
Die Klassen der kaskadenfreien Schedules wird auch als ACA (avoids cascading aborts) bezeichnet.
Previous slide
Next slide
Back to first slide
View graphic version
!!! Dieses Dokument stammt aus dem
ETH Web-Archiv
und wird nicht mehr gepflegt !!!
!!! This document is stored in the
ETH Web archive
and is no longer maintained !!!