Wykład 10 Prowadzący: dr Paweł Drozda

Prezentacja na temat: "Wykład 10 Prowadzący: dr Paweł Drozda"— Zapis prezentacji:

1 Wykład 10 Prowadzący: dr Paweł Drozda
Transakcje Wykład 10 Prowadzący: dr Paweł Drozda

2 Wprowadzenie Baza danych odzwierciedla część rzeczywistości
Zmiany świata rzeczywistego muszą znaleźć odzwierciedlenie w bazie (przejście ze stanu spójnego do innego stanu spójnego) Problemy: Awaryjność Współbieżny dostęp do danych Rozproszenie baz dr Paweł Drozda

3 Przykład wprowadzający
Rezerwacja biletów lotniczych na lot X w firmie A przez pasażera Y za kwotę Z Awaria po dokonaniu zapłaty (przed wystawieniem biletu) – częściowo wykonane operacje Dwie osoby w tym samym czasie rezerwują ostatni bilet na dany lot Rozwiązanie - transakcja dr Paweł Drozda

4 Transakcje Sekwencja logicznie powiązanych operacji na bazie danych. Przeprowadza bazę z jednego stanu spójnego w inny stan spójny Dozwolone operacje: Odczyt, zapis danych Zakończenie transakcji Akceptację lub wycofanie transakcji Rozwiązuje problemy awaryjności, wielodostępności i rozproszenia dr Paweł Drozda

5 Transakcja – rezerwacja lotu
begin UPDATE Loty SET wolneMiejsca=wolneMiejsca WHERE idlotu =X; UPDATE Konta SET saldo = saldo –Z WHERE klient=Y; SET saldo = saldo +Z WHERE klient=A; INSERT INTO Pasażerowie(lot,klient) VALUES (X,Y); commit; // zatwierdzenie transakcji dr Paweł Drozda

6 Własności transakcji ACID (1)
Atomowość (Atomicity) Wykonanie całej transakcji albo niewykonanie żadnej operacji składowej (odzwierciedlenie świata rzeczywistego) Spójność (Consistency) Transakcja nie narusza spójności (w czasie wykonywania transakcji baza może być przejściowo niespójna) dr Paweł Drozda

7 Własności transakcji ACID (2)
Izolacja (Isolation) Transakcje wykonywane jednocześnie nie wpływają na siebie Trwałość (Durability) Po zakończeniu transakcji zaktualizowane dane nie mogą zostać w żaden sposób utracone dr Paweł Drozda

8 Zachowanie ACID - przykład
Atomowość – gdy lot zostanie zarezerwowany z zapłatą Spójność – taka sama kwota dodana co odjęta; liczba miejsc w tabeli loty musi być równa liczbie nowych rekordów w tabeli Pasażerowie Izolacja – różne rezerwacje nie wpływają na siebie Trwałość – odzwierciedlenie w bazie nowych stanów dr Paweł Drozda

9 Możliwe przebiegi transakcji
p. COMMITED COMMITED READ/WRITE Start FAILED TERMINATED Koniec transakcji – wszystkie operacje zostały wykonane. Wybór: wprowadzić zmiany do bazy poprzez zatwierdzenie (commit) wycofać transakcję (rollback) dr Paweł Drozda

10 Reprezentacja transakcji
Operacje transakcji: Zapis – w(x) Odczyt – r(x) Zatwierdzenie – c wycofanie – a Reprezentacja za pomocą grafu G(V,A): V – węzły odpowiadające operacjom transakcji A – krawędzie reprezentujące porządek na zbiorze operacji dr Paweł Drozda

11 Reprezentacja transakcji - przykład
r(x) r(y) w(x) w(y) c T2 b) r(x) w(x) r(z) r(y) c w(y) r(y) dr Paweł Drozda

12 Kontrola wielodostępu
Konieczność zapewnienia dostępu do bazy danych wielu użytkownikom Zapewnienie możliwości wykonania współbieżnie transakcji Problemy wynikające z wielodostępu: utrata zmian niezatwierdzone zależności niespójność dr Paweł Drozda

13 Problemy wielodostępu – przykład(1)
Utrata zmian x – stan konta – początek 50 T1 r(x) x=x-30 w(x) commit T2 r(x) x=x+20 w(x) commit x 50 50 70 20 20 Stan konta po operacjach powinien wynieść 40. Została utracona informacja o zwiększeniu o kwotę 20 dr Paweł Drozda

14 Problemy wielodostępu – przykład(2)
niezatwierdzone zależności x – stan konta – początek 50 T1 r(x) x=x-30 w(x) commit … T2 r(x) x=x+20 w(x) rollback x 50 50 70 70 50 40 dr Paweł Drozda

15 Problemy wielodostępu – przykład(3)
Niespójność stany kont początek x=50 y=30 z=40 s - suma T1 r(x) x=x-30 w(x) r(z) z=z+30 w(z) commit T2 s=0 r(x) s=s+x r(y) s=s+y s=s+z commit r(z) x 50 50 20 20 20 20 y 30 30 30 30 30 30 z 40 40 40 40 70 70 suma 50 50 80 80 150 dr Paweł Drozda

16 Szeregowalność transakcji (1)
Definicje: Harmonogram (realizacja) – ciąg operacji z więcej niż jednej transakcji z zachowaniem porządku w każdej z transakcji sekwencyjny – bez przeplatania operacji pomiędzy transakcjami niesekwencyjny – operacje różnych transakcji przeplatają się Szeregowalność – możliwość ustawienia transakcji współbieżnych, tak aby wynik był równoważny z wykonaniem sekwencyjnym dr Paweł Drozda

17 Szeregowalność transakcji (2)
Zapewnienie szeregowalności – odpowiednie uporządkowanie operacji zapisu i odczytu: transakcje czytają ten sam element – kolejność odczytu nieistotna Transakcje czytają lub zapisują różne elementy – kolejność wykonania nieistotna Jedna z transakcji zapisuje element a druga odczytuje lub zapisuje – kolejność istotna dr Paweł Drozda

18 Szeregowalność - przykład
T1 r(x) w(x) r(y) w(y) commit T2 r(x) w(x) r(y) w(y) commit Szeregowanie kolizji T1 r(x) w(x) r(y) w(y) commit T2 r(x) w(x) r(y) w(y) commit dr Paweł Drozda

19 Graf szeregowalności Graf skierowany G(N,E) jest grafem szeregowalności, gdzie: transakcje Ti obrazowane są przez wierzchołki Ti  Tj jest krawędzią grafu, gdy Tj zapisuje wartość elementu wcześniej czytanego przez Ti Ti  Tj jest krawędzią grafu, gdy Tj czyta wartość elementu zapisanego przez Ti Ti  Tj jest krawędzią grafu, gdy Tj zapisuje wartość elementu wcześniej zapisanego przez Ti Jeśli w grafie G istnieje krawędź Ti  Tj to w sekwencyjnym harmonogramie równoważnym Ti występuje przed Tj dr Paweł Drozda

20 Warunek szeregowalności grafu
Harmonogram jest szeregowalny wtedy i tylko wtedy, gdy graf szeregowalności dla tego harmonogramu jest acykliczny T1 r(x) x=x-30 w(x) r(y) y=y+30 w(y) commit r(x) x=x*1.1 w(x) T2 commit r(y) y=y*1.1 w(y) T1 T2 Graf cykliczny dr Paweł Drozda

21 Odtwarzalność Szeregowalność daje gwarancję poprawności wykonania harmonogramu transakcji, gdy wszystkie transakcje są zaakceptowane (commited) Problem – jedna z transakcji wycofana (przez użytkownika, awaria systemu itd.) H = r1(x) w1(x), r2(x), w2(x), c2 r1(x), w1(x), <awaria>, c1 dr Paweł Drozda

22 Odtwarzalność - definicje
Ti czyta daną x z transakcji Tj w harmonogramie H jeżeli: wj(x)<ri(x) aj< ri(x) jeżeli istnieje operacja wk(x) taka, że wj(x)< wk(x) <ri(x) to aj< ri(x) Ti czyta z transakcji Tj w harmonogramie H jeżeli Ti czyta dowolną daną z transakcji Tj w harmonogramie H dr Paweł Drozda

23 Harmonogram odtwarzalny
Harmonogram H jest odtwarzalny (RC) wówczas, jeżeli Ti czyta z Tj w harmonogramie H i ci należy do H to cj<ci Harmonogram H unika kaskadowych wycofań (ACA) wówczas, jeżeli transakcja Ti czyta z Tj, to cj<ri(x) Harmonogram H jest ścisły (ST) wówczas, jeżeli wj(x)<oi(x), zachodzi aj<oi(x) lub cj<oi(x), gdzie oi(x) jest jedną z operacji ri(x) lub wi(x) dr Paweł Drozda

24 Odtwarzalność - przykład
T1= w1(x) w1(y)w1(z)c1 T2= r2(u)w2(x) r2(y)w2(y)c2 H1= w1(x)w1(y)r2(u)w2(x)r2(y)w2(y)c2w1(z)c1 H2= w1(x)w1(y)r2(u)w2(x)r2(y)w2(y)w1(z)c1c2 H3= w1(x)w1(y)r2(u)w2(x)w1(z)c1r2(y)w2(y)c2 H4= w1(x)w1(y)r2(u)w1(z)c1w2(x)r2(y)w2(y)c2 H1 – nie odtwarzalna, H2 – RC, H3 – RC, ACA, H4 – RC,ACA,ST dr Paweł Drozda

25 Odtwarzalność - zależności
dr Paweł Drozda

26 Algorytmy zarządzania współbieżnym wykonaniem transakcji
blokowanie - uszeregowanie transakcji wynika z kolejności uzyskiwanych blokad znaczników czasowych – uszeregowanie wynika z wartości znaczników czasowych związanych z transakcjami optymistyczne – walidacja poprawności uszeregowania dr Paweł Drozda

27 Blokowanie (1) Blokada – zmienna skojarzona z każdą daną w bazie; określa możliwość wykonania określonych operacji Możliwe stany: dana nie zablokowana dana zablokowana do odczytu R dana zablokowana do zapisu W dr Paweł Drozda

28 Blokowanie (2) Operacje SZBD związane z blokowaniem:
Blokowanie danej x do odczytu (LR(x)) Blokowanie danej x do zapisu (LW(x)) Odblokowanie danej x (UNL(x)) Operacje blokowania muszą poprzedzać operacje odczytu lub zapisu zmiennej dr Paweł Drozda

29 Blokowanie (3) Dwie blokady są kompatybilne, gdy mogą być założone na jednej danej przez dwie różne transakcje (tylko dwie blokady odczytu są kompatybilne) Konwersja blokad – zmiana typu blokady. Niedopuszczalna konwersja z blokady do zapisu na blokadę do odczytu dr Paweł Drozda

30 Algorytm blokowania (1)
Dla każdej danej dwie kolejki: Transakcji, które uzyskały dostęp do danej Transakcji oczekujących na dostęp do danej dana idt blokada x1 T1 W x2 R T2 x3 dana idt blokada kolejka x1 T2 R 1 T3 W 2 x2 T4 dr Paweł Drozda

31 Algorytm blokowania (2)
Potrzebne funkcje Założenie blokady do odczytu – gdy dana niezablokowana lub zablokowana do odczytu– założenie blokady, w przeciwnym razie transakcja czeka w kolejce Założenie blokady do zapisu – gdy dana jest niezablokowana – założenie blokady, w przeciwnym razie do kolejki Zdjęcie blokady dr Paweł Drozda

32 Algorytm blokowania - przykład
Rlock(T1,Y) Rlock(T2,X) r(Y) r(X) unlock(Y) unlock(X) Wlock(T1,X) Wlock(T2,Y) X=X+Y Y=X+Y w(X) w(Y) X=20, Y=30 Współbieżnie: X=50, Y=50 Sekwencyjnie T1T2 X=50, Y=80 Sekwencyjnie T2T1 X=70, Y=50 dr Paweł Drozda

33 Blokowanie dwufazowe Algorytm podstawowy: Inne warianty:
r(x) poprzedzone przez Rlock(T,x) lub Wlock(T,x) w(x) poprzedzone przez Wlock(T,x) unlock – po wszystkich operacjach r(x), w(x) Inne warianty: statyczny – blokady założone przed rozpoczęciem transakcji ścisły – blokady do zapisu zdjęte po wykonaniu całej transakcji restryktywny/sztywny – blokady zdjęte po operacji rollback lub commit Zapewnia szeregowalość dr Paweł Drozda

34 Blokowanie dwufazowe - przykład
T1 T2 Rlock(T1,Y) r(Y) Wlock(T1,X) Rlock(T2,X) r(X) wait X=X+Y w(X) unlock(Y) unlock(X) Wlock(T2,Y) r(Y) Y=X+Y w(Y) unlock(X) unlock(Y) dr Paweł Drozda

35 Zakleszczenie transakcji
Gdy dwie transakcje czekają Dwa podejścia do rozwiązania: wykrywanie i rozwiązanie zakleszczenia zapobieganie wystąpieniu zakleszczenia T1 T2 Rlock(T1,Y) r(Y) Rlock(T2,X) r(X) Wlock(T2,Y) Wlock(T1,X) wait … dr Paweł Drozda

36 Zapobieganie zakleszczeniom (1)
Wykorzystanie znaczników czasowych nadawanych w momencie inicjacji transakcji wait-die – gdy Ti jest starsza od Tj to Ti czeka na zwolnienie blokady, gdy młodsza – wycofana i zrestartowana z tym samym znacznikiem czasowym wound-wait – gdy Ti jest starsza od Tj to Tj będzie wycofana i zrestartowana z tym samym znacznikiem czasowym. W przeciwnym przypadku Ti czeka Wada – czasem wycofują transakcje, które niekoniecznie się zakleszczą dr Paweł Drozda

37 Zapobieganie zakleszczeniom (2)
no waiting – gdy dostęp zablokowany Ti wycofana i zrestartowana po pewnym czasie cautious waiting – gdy Ti próbuje uzyskać dostęp do zablokowanej danej X przez Tj i gdy Tj nie czeka na odblokowanie innej danej to Ti czeka na X. W przeciwnym przypadku Ti wycofana i zrestartowana dr Paweł Drozda

38 Metody wykrywania i rozwiązywania zakleszczeń
Za pomocą grafu: transakcje jako węzły oczekiwanie transakcji Ti na daną zablokowaną przez Tj reprezentowane przez krawędź skierowaną cykl w grafie oznacza zakleszczenie eliminacja – wycofanie jednej z transakcji cyklu graf sprawdzany jeśli transakcja czeka zbyt długo – przekroczyła ustalony limit czasu co określony czas dr Paweł Drozda