Adatbázis rendszerek II

Az előadások a következő témára: "Adatbázis rendszerek II"— Előadás másolata:

1 Adatbázis rendszerek II
Kovács László A tranzakció-kezelés alapjai

2 Tranzakció fogalma ME ERSTE BANK SELECT UPDATE INSERT
több elemi művelet alkot egy egységet ezek együttesen érvényesülhetnek csak

3 Tranzakció-kezelés feladata
A párhuzamosan bejövő igények ütemezése, a sorrend átalakítása a helyes eredmény érdekében A prog. B prog. SELECT ra rb SELECT számla 2 ua +5 ub +3 UPDATE wa wa UPDATE ‘lost update’ jelensége Kívánalmak: A: atomiság C: konzisztencia-őrzés I: izoláció D: tartósság

4 History fogalma Az izoláció problémája a párhuzamosan futó tranzakciók
között lép fel. History: az együtt élő tranzakciók rendszere megvalósult igényelt r1(x) w1(x) c1 r1(x) w1(x) c1 r2(x) w2(x) c2 r2(x) w2(x) c2 Transaction Manager

5 Zárolási mechanizmus A TM átrendezi a parancsok végrehajtási sorrendjét Zárolás: a parancsok blokkolása az erőforrások lefoglalásán keresztül tranzakció A tranzakció B objektum A Zárolási paraméterek: - objektum mérete - zárolás időtartama - zárolás jellege - blokkolt művelet

6 Zárolási mechanizmus A zárolás folyamata erőforrás pazarlással járhat
- tranzakció várakozása - deadlock alakulhat ki - tranzakció menet közben abortálódhat Működési változatok a zárolás menetében: - optimista zárolás - pesszimista zárolás - finomított zárolási módok - SR figyelés ellenőriz végrehajt ellenőriz végrehajt végrehajt végrehajt ellenőriz

7 r1(x) w1(x) c1 r2(x) w2(x) c2 r1(x) w1(x) c1 r2(x) w2(x) c2
Izolációs szintek A teljes izoláció megöli a párhuzamosságot A gyakorlatban korlátozott izolációt igényelnek SQL izolációs szintek: NOLOCK (anarchia, nincs izoláció) READ UNCOMMITED (nem véglegesített adat is olvasható) READ COMMITED (csak véglegesített adat olvasható) REPEATABLE READ (olvasott érték nem változik) SERIALIZABLE (teljes izoláció, nincs párhuzamosság) r1(x) w1(x) c1 r2(x) w2(x) c2 r1(x) w1(x) c1 r2(x) w2(x) c2

8 KÉP Salvador Dali ( ):

9 Tranzakció leírása Meg kell adni a végrehajtandó műveleteket
- olvasás - írás - elfogadás - visszagörgetés Fontos az érintett objektum megadása is - táblák - mezők Az elemek mellett a sorrendiséget is ismerni kell Mikor lényeges a sorrendiség? ha a két művelet - valamelyike írás - azonos objektumra vonatkoznak Konfliktusban álló műveletek

10 Tranzakció leírása jelölések: x: objektum r(x), w(x), c, a: műveletek
A  B : megelőzési reláció A tranzakció elemeit tömören egy gráffal adhatjuk meg r(dolgozo) r(uzem) SELECT * FROM DOLGOZO; SELECT * FROM UZEM; UPDATE DOLGOZO SET FIZ=0; COMMIT; w(dolgozo) c SQL parancsok tranzakció gráf

11 History leírása A párhuzamosan futó tranzakciók együttese
A tranzakció elemek kibővülnek a tranzakciók közötti megelőzési relációkkal A műveletek jele kibővül egy tranzakció indexszel A history elemeit is egy gráffal adhatjuk meg T1: SELECT * FROM DOLGOZO; T2: SELECT * FROM UZEM; T2: UPDATE DOLGOZO SET FIZ=0; T1: DELETE FROM UZEM; T2: COMMIT; T1: ROLLBACK; r1(dolgozo) r2(uzem) w2(dolgozo) w1(uzem) c2 a1 SQL parancsok history gráf

12 History típusok r1(x) w1(x) a1 r2(x) w2(x) c2
RA history: a tranzakció akkor záródhat le, ha már az a tranzakció is lezáródott, amiből olvasott r1(x) w1(x) r2(x) w2(x) r3(x) w3(x) a1 ACA history: a tranzakció akkor olvashat egy adatot, ha az azt utoljára módosító tranzakció lezáródott

13 History típusok r1(x) w1(x) a1 w2(x) a2
ST history: a tranzakció akkor olvashat vagy írhat egy adatot, ha az azt utoljára módosító tranzakció lezáródott r1(x) w1(x) c1 r2(x) w2(x) c2 SR history: a tranzakciók a konfliktusban álló elemekre vonatkoztatva nem fedik át egymást r1(x) w1(x) c1 r2(x) w2(x) c2 S history: a tranzakciók nem fedik át egymást

14 SR RA ACA ST S History típusok history típusok kapcsolata
A teljes izolációt az ST  SR history biztosítja Különböző TM módszerek léteznek az ST  SR history biztosítására : - zárolás - TO

15 Zárolási típusok Objektum finomsága nagyobb adminisztráció
kisebb adminisztráció kevesebb konfliktus több konfliktus kis méret nagy méret Zárolt művelet csak írás : exclusive (kizárólagos hozzáférés) olvasási : shared (osztott hozzáférés) módosítási: update (előjegyzett kizárólagos) Zárolás időtartama művelet idejére (nem ad ACA historyt) tranzakció végéig : 2PL (kétfázisű zárolás)

16 Zárolási típusok Helyes zárolás:
- helyesen formált a zárolás (zárolás- művelet-felengedés) - minden művelet zárol - van írási és olvasási zárolás 2PL teljesül, a tranzakció végén felengedve az objektumokat A helyes zárolás ST SR historyt ad A helyes zárolás teljes izolációt eredményez, a gyakorlatban sokszor enyhítenek rajta

17 Kibővített history leírása
Két új művelet: - zárolás : ltmód(x) - felengedés: U(x) A zárolt objektumot igénylő tranzakció várakozásra kényszerül l1r(dolgozo) l2r(uzem) r1(dolgozo) r2(uzem) T1: SELECT * FROM DOLGOZO; T2: SELECT * FROM UZEM; T2: UPDATE DOLGOZO SET FIZ=0; T1: DELETE FROM UZEM; T2: COMMIT; T1: ROLLBACK; l2w(dolgozo) l1w(uzem) w2(dolgozo) w1(uzem) u2(dolgozo) u1(uzem) SQL parancsok u2(uzem) u1(dolgozo) c2 a1 history gráf

18 Deadlock kezelése A tranzakciók egymás igényelt objektumait fogják
Külső beavatkozás kell a továbblépéshez x T1 T2 y Feloldás módszere: - detektálás - egyik tranzakció abortálása Timeout módszer (letelt az idő) WFG módszer (körút van a gráfban)

19 Izolációs szintek Alap izolációs problémák:
- lost update: w1(x)  w2(x) - dirty read: w1(x)  r2(x)  w1(x) - not repeatable read: r1(x)  w2(x)  r1(x) A DBMS által biztosított tranzakció függetlenségi fokok NOLOCK 0. szint anarchia, mind a három hiba jelenség felléphet READ UNCOMMITED szint nincs átlapolt írás READ COMMITED 2. szint első szint és nincs piszkos olvasás REPEATABLE READ 3. szint második szint és ismételhető az olvasás SERIALIZABLE

20 kép Salvador Dali. A nárcisz metamorfózisa

21 Tranzakció-kezelés speciális elemei
Tranzakció formális felírása History formális felírása RA-ACA kapcsolat biz. ACA-ST kapcsolat biz. SR,S és ST kapcsolat biz. Helyes zárolás és ST/SR kapcsolat biz Kompatibilitási mátrix

22 Salvador Dali. Az emlékezet álhatatossága (1931)