Συναλλαγές - dblab.upatras.gr fileΣυναλλαγές Βάσεις ΔεδομένωνΙΙ...

Συναλλαγές

ΒάσειςΔεδομένων ΙΙ

Εισαγωγή

Συγχρονικότητα

Αναϕορές

. . . . . .


Βάσεις Δεδομένων ΙΙ

Τμήμα Μηχανικών Η/Υ και ΠληροϕορικήςΠολυτεχνική Σχολή, Πανεπιστήμιο Πατρών

Εαρινό Εξάμηνο 2011-2012



Εισαγωγή


Αναϕορές

. . . . . .

Table of contents

1 Εισαγωγή

2 Συγχρονικότητα

3 Αναϕορές

ToC

1 Εισαγωγή


3 Αναϕορές

. . . . . .



Εισαγωγή


Αναϕορές

. . . . . .


Tread(A)A -= 30write(A)read(B)B += 30write(B)

Πότε χρειαζόμαστε συναλλαγές?



Εισαγωγή


Αναϕορές

. . . . . .


ACID

Atomicity

ConsistencyIsolationDurability



Εισαγωγή


Αναϕορές

. . . . . .


ACID

AtomicityConsistency

IsolationDurability



Εισαγωγή


Αναϕορές

. . . . . .


ACID

AtomicityConsistencyIsolation

Durability



Εισαγωγή


Αναϕορές

. . . . . .


ACID

AtomicityConsistencyIsolationDurability



Εισαγωγή


Αναϕορές

. . . . . .


Ατομικότητα

Οι λειτουργίες της συναλλαγής πρέπει να γίνουν είτεόλες είτε καμία

ΣυνέπειαΗ εκτέλεση μιας συναλλαγής θα πρέπει να διατηρεί τησυνέπεια της βάσης δεδομένων

Απομόνωση

Κάθε συναλλαγή δε θα πρέπει να ξέρει για τις άλλεςσυναλλαγές που εκτελούνται ταυτόχρονα

Αντοχή

Μετά την επιτυχή εκτέλεση μιας συναλλαγής θα πρέπειοι αλλαγές να παραμένουν στην βάση δεδομένων



Εισαγωγή


Αναϕορές

. . . . . .

Καταστάσεις Συναλλαγών

Ενεργή

Εν μέρη εκτελεσμένηΑποτυχημένηΔιακοπείσαΕκτελεσμένη



Εισαγωγή


Αναϕορές

. . . . . .


ΕνεργήΕν μέρη εκτελεσμένη

ΑποτυχημένηΔιακοπείσαΕκτελεσμένη



Εισαγωγή


Αναϕορές

. . . . . .


ΕνεργήΕν μέρη εκτελεσμένηΑποτυχημένη

ΔιακοπείσαΕκτελεσμένη



Εισαγωγή


Αναϕορές

. . . . . .


ΕνεργήΕν μέρη εκτελεσμένηΑποτυχημένηΔιακοπείσα

Εκτελεσμένη



Εισαγωγή


Αναϕορές

. . . . . .


ΕνεργήΕν μέρη εκτελεσμένηΑποτυχημένηΔιακοπείσαΕκτελεσμένη



Εισαγωγή


Αναϕορές

. . . . . .

Ταυτόχρονη vs Σειριακή Εκτέλεση

Για ένα σύνολο συναλλαγών προς εκτέλεση: Σειριακά ή"Παράλληλα"?

Σειριακή

Η σειριακή εκτέλεση δε δημιουργεί προβλήματα στησυνέπεια, αλλά..

"Παράλληλη"

Βελτιωμένη απόδοση και Χρήση ΠόρωνΠεριορισμένος Χρόνος Αναμονής



Εισαγωγή


Αναϕορές

. . . . . .

Συνέπεια

T1 T2

read(A)A = A-50

read(A)A = A -50write(A)read(B)

write(A)read(B)B = B + 50write(B)

B = B + 50write(B)



Εισαγωγή


Αναϕορές

. . . . . .

Σειριακή Διάταξη με Διένεξη

Δύο εντολές έρχονται σε διένεξη αν:

είναι διαϕορετικών συναλλαγώνχρησιμοποιούν τα ίδια δεδομέναμια από αυτές είναι write()



Εισαγωγή


Αναϕορές

. . . . . .


Αν ένα χρονοδιαγράμματα μπορεί να μετασχηματιστείσε ένα άλλο από μια σειρά εναλλαγών εντολών που δενέρχονται σε διένεξη, λέμε ότι τα χρονοδιαγράμματααυτά είναι ισοδύναμα ως προς τις διενέξεις.

Ένα χρονοδιάγραμμα S είναι σε σειριακή διάταξη ανείναι ισοδύναμο ως προς τις διενέξεις με ένα σειριακόχρονοδιάγραμμα.

Ιδιαίτερα αυστηρό κριτήριο



Εισαγωγή


Αναϕορές

. . . . . .


T1 T2read(A)write(A)

read(A)write(A)

read(B)write(B)

read(B)write(B)

Σειριακή διάταξη?



Εισαγωγή


Αναϕορές

. . . . . .

Έλεγχος σειριακής διάταξης

Γράϕημα Προτεραιότητας

κόμβοι: συναλλαγέςακμές: Ti → Tj αν:

Ti εκτελεί write(A) πριν η Tj εκτελέσει read(A)Ti εκτελεί write(A) πριν η Tj εκτελέσει write(A)Ti εκτελεί read(A) πριν η Tj εκτελέσει write(A)

Αν το γράϕημα περιέχει κύκλο, τότε το αντίστοιχοχρονοδιάγραμμα δεν είναι σειριακής διάταξης μεδιένεξη



Εισαγωγή


Αναϕορές

. . . . . .

Παράδειγμα

είναι τα παρακάτω σειριοποιήσιμα?

S1 = R1(x),R2(y), W2(x), W1(x)S2 = R4(x), R1(x), R2(y), W2(x), R3(y), W3(y), R4(z),W4(x), W2(z), W4(y)

ToC

1 Εισαγωγή


3 Αναϕορές

. . . . . .



Εισαγωγή


Αναϕορές

. . . . . .

Εισαγωγή

Πως διασϕαλίζουμε ότι τα χρονοδιαγράμματα μπαίνουνσε σειριακή διάταξη?



Εισαγωγή


Αναϕορές

. . . . . .

Καταστάσεις Κλειδώματος

Κοινόχρηστη (S)Αποκλειστική (X)

S XS True FalseX Flase Flase

Συναρτήσεις

lock-S(A)lock-X(A)unlock(A)



Εισαγωγή


Αναϕορές

. . . . . .

Πρωτόκολλο κλειδώματος δυο ϕάσεων 2PL

κάθε συναλλαγή κλειδώνει και ξεκλειδώνει πόρους σε 2ϕάσεις:

Φάση ΑνάπτυξηςΦάση Σύμπτυξης

Παραλλαγές:

Strict 2PLRigorous 2PL

Διασϕαλίζει Σειριακή Διάταξη Διένεξης



Εισαγωγή


Αναϕορές

. . . . . .

Παράδειγμα

μπορεί το παρακάτω χρονοπρόγραμμα να είναιαποτέλεσμα του 2PL?

R1[x], W2[x], R1[x]



Εισαγωγή


Αναϕορές

. . . . . .

Άσκηση 1

R1[y];R2[x];W1[y];W3[y];W1[z];R2[z];R3[z]



Εισαγωγή


Αναϕορές

. . . . . .

Λύση - Άσκηση 1

R1[y];R2[x];W1[y];W3[y];W1[z];R2[z];R3[z]T1

T2

T3

x y z



Εισαγωγή


Αναϕορές

. . . . . .



T2

T3

x y z

X1[y] R1[y]

X



Εισαγωγή


Αναϕορές

. . . . . .



T2

T3

x y z

X1[y] R1[y] S2[x] R2[x]

S

X



Εισαγωγή


Αναϕορές

. . . . . .



T2

T3

x y z

X1[y] R1[y] S2[x] R2[x]

S

W1[y]

X



Εισαγωγή


Αναϕορές

. . . . . .



T2

T3

x y z

X1[y] R1[y] S2[x] R2[x]

S

W1[y] X1[z]

X X



Εισαγωγή


Αναϕορές

. . . . . .



T2

T3

x y z

X1[y] R1[y] S2[x] R2[x]

S

W1[y] X1[z] U1[y]

X X



Εισαγωγή


Αναϕορές

. . . . . .



T2

T3

x y z

X1[y] R1[y] S2[x] R2[x]

S

W1[y] X1[z] U1[y]

X3[y]

X

W3[y]

X X



Εισαγωγή


Αναϕορές

. . . . . .



T2

T3

x y z

X1[y] R1[y] S2[x] R2[x]

S

W1[y] X1[z] U1[y]

X3[y]

X

W3[y]

X X

W1[z]



Εισαγωγή


Αναϕορές

. . . . . .



T2

T3

x y z

X1[y] R1[y] S2[x] R2[x]

S

W1[y] X1[z] U1[y]

X3[y]

X

W3[y] U1[z]

X X

W1[z]



Εισαγωγή


Αναϕορές

. . . . . .



T2

T3

x y z

X1[y] R1[y] S2[x] R2[x]

S

W1[y] X1[z] U1[y]

X3[y]

X

W3[y] U1[z] S2[z]

S

R2[z]

X X

W1[z]



Εισαγωγή


Αναϕορές

. . . . . .



T2

T3

x y z

X1[y] R1[y] S2[x] R2[x]

S

W1[y] X1[z] U1[y]

X3[y]

X

W3[y] U1[z] S2[z]

S

R2[z] S3[z] R3[z]

X X

W1[z]

S



Εισαγωγή


Αναϕορές

. . . . . .



T2

T3

x y z

X1[y] R1[y] S2[x] R2[x]

S

W1[y] X1[z] U1[y]

X3[y]

X

W3[y] U1[z] S2[z]

S

R2[z] S3[z]

S

R3[z] U1, 2, 3[all]

X X

W1[z]

S



Εισαγωγή


Αναϕορές

. . . . . .

Άσκηση 2

R1(X);R2(Y);W1(X);R2(X);R3(Z);W3(Z);R1(Y);R3(X);W1(Y);

ToC

1 Εισαγωγή


3 Αναϕορές

. . . . . .



Εισαγωγή


Αναϕορές

. . . . . .

Αναϕορές

Abraham Silberschatz, Henry F. Korth and S.Sudarshan, Database System Concepts FourthEdition, McGraw-Hill, 2002Raghu Ramakrishnan and Johannes Gehkre,Database Management Systems Second Edition,McGraw Hill, 2000

Συναλλαγές - dblab.upatras.gr fileΣυναλλαγές Βάσεις ΔεδομένωνΙΙ...

Documents

Transcript of Συναλλαγές - dblab.upatras.gr fileΣυναλλαγές Βάσεις ΔεδομένωνΙΙ...