Transakcie

Question 1

Rozvrh je kompletný keď…

Answer 1

Rozvrh je kompletný, ak v ňom všetky transakcie končia buď operáciou COMMIT alebo ABORT

Question 2

Transakcia je v danom čase aktívna ak…

Answer 2

Transakcia je v danom čase aktívna, ak v tom čase už začala (t.j. bola vykonaná jej operácia START) a zároveň v tom čase ešte neskončila (t.j. nebola vykonaná jej operácia COMMIT či ABORT)

Question 3

V histórii sú dve operácie konfliktné ak …

Answer 3

V histórii sú dve operácie konfliktné ak patria rôznym

transakciám, ich operandom je rovnaký objekt a aspoň jedna z tých operácií je write

Question 4

Dve histórie sú konflikt-ekvivalentné ak…

Answer 4

Dve histórie sú konflikt-ekvivalentné ak
• pozostávajú z rovnakých operácií a
• relatívne poradie každých dvoch konfliktných operácií je rovnaké v oboch históriách

Question 5

Sériový rozvrh

Answer 5

Rozvrh je sériový ak je kompletný (t.j. každá transakcia
v tom rozvrhu končí commitom alebo abortom) a pre každú dvojicu transakcií T1, T2 platí, že buď všetky operácie T1 v tom rozvrhu predchádzajú operáciám T2 alebo naopak

Question 6

Konflikt-sériovateľný rozvrh

Answer 6

Rozvrh je konflikt-sériovateľný ak jeho projekcia na

commitované transakcie je konflikt-ekvivalentná niektorému sériovému rozvrhu tých commitovaných transakcií

Question 7

Precedenčný graf

Answer 7

orientovaný graf, vrcholy sú transakcie, z V1 do V2 je hrana keď existuje konfliktná operácia medzi V1 a V2 a operácia v V1 je skôr ako V2

Question 8

Ako vieme testovať sériovateľnosť pomocou precedenčného grafu?

Answer 8

Rozvrh je konflikt-sériovateľný práve vtedy, ak jeho

precedenčný graf je acyklický

Question 9

Opíš Izoláciu: Zamykanie (locking)

Answer 9

Idea: do rozvrhu sa pridajú operácie lock a unlock, ktorými sa zamykajú resp. odomykajú dátové objekty. Transakcia smie dátový objekt čítať/písať len v momente, keď vlastní potrebný zámok na ten objekt. Commit je triviálny, netreba nič kontrolovať

Question 10

Aké sú základne typy zámkov?

Answer 10

Základné typy zámkov:
• Read-lock (RL): dovoľuje iba čítať
• Write-lock (WL), exclusive-lock: dovoľuje čítať aj písať

Question 11

Aké zámky sú kompatibilné a prečo?

Answer 11

RL a RL

Question 12

Dokáž: Two-phase locking generuje len konflikt-sériovateľné rozvrhy

Answer 12

slide 33

Question 13

Dá sa každý konflikt-sériovateľný rozvrh vygenerovať two-phase locking algoritmom?

Answer 13

Nie, pozri slide 33

r1(X), r2(X), r1(X), w2(X), c1, c2

Question 14

Načo sú dobré a dôležité transkacie?

Answer 14

Musíme počítať s prístupom k db viac ľudí naraz

Question 15

Aké sú podmienky transakcií?

Answer 15

• spránve výsledky
• obnoviteľnosť
• konzistentnosť

Question 16

Transakcia je program, ktorý …

Answer 16

Transakcia je program, ktorý pristupuje k

databáze

Question 17

Aká je postupnosť operácií v transakcii?

Answer 17

1. START
2. READ,WRITE, DELETE, INSERT
3. COMMIT/ABORT

Question 18

Čo je ACID?

Answer 18

Požiadavka na transakčný DB systém

Atomicita, Konzistencia, Izolácia, Durabilita

Question 19

Kto/čo sa stará o usmerňovanie transakcií a čo robí?

Answer 19

Transakčný databázový systém

poradie vykonávania operácií
riešenie výpadkov a pod.

Question 20

Dôvody pre ABORT transakcie

Answer 20

Výpadok na strane klienta, servera, medzi klientom a serverom
Transakcia sa sama rozhodne pre ABORT

Question 21

Čo je rozvrh?

Answer 21

postupnosť, ktorá vznikne premiešaním operácií niekoľkých transakcií, vo všeobecnosti nekompletných. Toto premiešanie nie je ľubovoľné—zachováva
poradie operácií jednotlivých transakcií

Question 22

Aký je sériový rozvrh?

Answer 22

Transakcie za sebou

Question 23

Aký je sériovateľný rozvrh?

Answer 23

Sériovateľný rozvrh má na transakcie a stav databázy

rovnaký efekt ako niektorý zo sériových rozvrhov, nezávisle od stavu databázy a štruktúry transakcií

Question 24

transakcia T2 číta X od transakcie T1

Answer 24

w1(X) je posledná operácia na X pred r2(X)

Question 25

Kedy sú rozvrhy view-ekvivalentné?

Answer 25

rozvrhy sú view-ekvivalentné, ak majú rovnaký efekt na | transakcie (čítania) aj na databázu (zápisy)

Question 26

Ako vieme generovať konflikt-sériovateľné rozvrhy?

Answer 26

Algoritmus zámkov (lock na dátové objekty), Algoritmus časových pečiatok, Multiversion algoritmus (zapisovanie najprv do lokálnej db), Validačný algoritmus (easy pohoda ale prísne kontroluje commit)

Question 27

Čo je two-phase locking?

Answer 27

Dvojfázové zamykanie 1. Ak transakcia už niekedy urobila unlock, nesmie už nikdy žiadať o ďalší lock. 2. Transakcia musí vlastniť potrebný zámok keď sa pokúša o čítanie/písanie dátového objektu.

Question 28

Čo je UPGL lock?

Answer 28

Upgrade lock, kedykoľvek vie požiadať o upgrade na write lock alebo read lock

Question 29

Ako funguje timestamp izolácia?

Answer 29

Každá transakcia Tdostane pri svojom štarte timestamp. Každý objekt má dve pečiatky: jedna sa aktualizuje keď sa X číta, druhá sa aktualizuje keď sa do X zapisuje. Transakcia nesmie čítať hodnoty, ktoré písala neskôr začatá transakcia Transakcia nesmie písať hodnoty, ktoré čítala alebo písala neskôr začatá transakcia

Question 30

Čo je Multiversion concurrency control (MVCC)?

Answer 30

slide 40

Question 31

Čo je predpokladom pre obnovu? Čo treba robiť počas behu?

Answer 31

Logovať!

Question 32

Aké operácie v obnove robíme pre abortované a aké pre commitované transakcie?

Answer 32

UNDO (pre abortované transakcie) a REDO (pre commitované transakcie)

Question 33

Čo je latch?

Answer 33

Zámok ktorý sa drží len chvíľu, v tomto prípade: synchronizácia medzi hardwarom (DMA) a softwarom (cache manager).

Question 34

Treba riešiť aj read v obnove?

Answer 34

Nie, stačí len write

Question 35

Aké dáta sú v log file?

Answer 35

* Začiatok transakcie Ti: * Write-operácie transakcie Ti: * Commit transakcie Ti:

Question 36

Ako riešime obnovu? Čo robíme vzostupne a čo zostupne?

Answer 36

Undo (necomittnuté) ideme zostupne, teda od konca logu a zapisujeme do db staré hodnoty vo writeoch Potom redo comitnuté a dávame nové hodnoty

Question 37

zapisujeme najprv do logu alebo do db?

Answer 37

do logu

Question 38

Čo je Oneskorený zápis dát (deferred data modification)

Answer 38

write(X) sa síce zapíše do log-file aj do databázy, ale nie do dát na disk, to až po commite. Potom Operáciu UNDO netreba vôbec implementovať.

Question 39

Ako checkpointing skracuje log file?

Answer 39

zahoď časť pred záznamom najstaršej | aktívnej transakcie T

Question 40

Kedy je rozvrh obnoviteľný?

Answer 40

keď pre každú commitovanú transakciu T2 čítajúcu necommitovanú hodnotu od T1 (dirty read) platí, že T1 commituje tiež—a zároveň commit T1 je v tom rozvrhu skôr ako commit T2.

Question 41

Kedy sa rozvrh vyhýba kaskádovým abortom?

Answer 41

Rozvrh sa vyhýba kaskádovým abortom (avoids | cascading aborts, ACA) práve vtedy, ak neobsahuje dirty read

Question 42

Aký rozvrh je striktný?

Answer 42

Rozvrh je striktný (strict) práve vtedy, ak neobsahuje | dirty read ani dirty write

Question 43

Čo je dirty write?

Answer 43

dirty write je prepisovanie necommitovanej hodnoty zapísanej inou transakciou, ktorá v momente zápisu nebola commitovaná

Question 44

Kedy sú transakcie v deadlocku?

Answer 44

Transakcie (niektoré) sú v deadlocku práve vtedy, ak | wait-for graf obsahuje cyklus.