Oskar Skibski, grupa nr 4, sala 2043

Laboratorium 14 (25.01.2016) - TR / Transakcje

Transkacje są sposobem realizacji współbieżności między różnymi użytkownikami korzystającymi z bazy danych. Przy wykonywaniu transkacji zależy nam na paru cechach:

• Atomowości - niepodzielność transakcji, czyli wykonują się wszystkie jej operacje albo żadna;
• Spójności - wykonanie transakcji zachowujących spójność bazy danych zachowuje spójność bazy danych;
• Izolacji - w trakcie jednej transakcji użytkownik nie powinien widzieć, że działają też inni;
• Trwałość - zatwierdzone dane powinny być zachowane nawet w przypadku awarii.

Po angielsku aksjomaty nazywa się ACID (czytać: ASIT. Przypadek??).

Ogólnie celujemy w plany szeregowalne, czyli takie które odpowiadają pewnemu wykonaniu transkacji w sposób szeregowy: najpierw jedna transkacja, potem druga itd.

T1: R(A),W(A)                      R(B),W(B)
T2:            R(A),W(A),R(B),W(B)

T1: R(A)                     R(A),W(A)
T2:       R(A),W(A),Commit

Widzimy tutaj, że plany szeregowalne nie pozwalają nam uniknąć wszystkich możliwych problemów - może bowiem dojść do:

• odczytu niezatwierdzonych danych,
• niepowtarzalny odczyt,
• nadpisania niezatwierdzonych danych.

Najpopularniejszym sposobem radzenia sobie z tymi problemami jest mechanizm blokad dwufazowych: Strict 2PL:

• blokada do czytania S - może ją założyć wiele procesów naraz
• blokada do pisania X - może ją założyć tylko jeden proces i musi być to wówczas jedyna blokada na obiekcie

Niestety, zdarzają się zakleszczenia, czyli sytuację w których parę procesów czeka na siebie nawzajem. Możemy albo im zapobiegać (przykładowo tylko młodszy proces czeka na starszy, nigdy odwrotnie), albo wykrywać (sprawdzać czy jest cykl i wówczas cofać jedną z transakcji).

T1: S(A),R(A)             S(B)
T2:            X(B),W(B)                  X(C)
T3:                            S(C),R(C)               X(A)
T4:                                              X(B)

Transakcje są ładnie opisane tutaj: http://edu.pjwstk.edu.pl/wyklady/szb/scb/rW11.htm