Transaksjoner. transaksjon. når starter/slutter 1 trans.?

Transkript

1 Transaksjoner IBE211 Kap. 10 feil mediefeil: disk feiler må gjenopprette (fra sikkerhetskopi, kap. 11) instansfeil: databasen stopper midt i noe tilbakeføring (rollback) til konsistent samtidighet når to samtidig vil bestille samme flysete køordning transaksjon endringer (INSERT, UPDATE, DELETE) skrives inn i en transaksjonslogg ( forslagsliste ) utføres umiddelbart eller senere (utsatt) avsluttes atomisk med COMMIT forslagene vedtas (gjøres) ROLLBACK forslagene forkastes (gjøres ikke) når starter/slutter 1 trans.? auto-commit : hver SQL-kommando regnes som 1 transaksjon MySQL: BEGIN TRANSACTION eksplisitt start! ellers: alt frem til COMMIT (eller ROLLBACK) oppfattes som 1 transaksjon implisitt start?

2 transaksjonslogg logg lagres annet sted enn db? operasjoner mot db lagres fortløpende T.id: <detaljer om hva som er gjort> T.id: COMMIT -- ble avsluttet! (=konsistent) livsløpet i en transaksjon Aktiv (ved oppstart): Les og skriv inntil fullført Fullført (før COMMIT) Bekreftet (etter COMMIT) Ved Feil mens Aktiv/Fullført: Avbrutt Avsluttet når skjer oppdatering? umiddelbar utsatt db endres umiddelbart, samtidig med reg. i logg må foreta ROLLBACK med UNDO db endres ikke før alt er reg. i logg trenger ikke foreta ROLLBACK tilføyer da T.id: ROLLBACK i logg ved instansfeil (db stopper) instansfeil: db stopper sjekk logg UNDO på uferdige REDO på alle ferdige tar kun trans. nyere enn siste sjekkpunkt sjekkpunkt: at db er konsistent lagret på disk.

3 flerbrukeri program vs. prosess (instructions) mange samtidige prosesser (som vil ha CPU) tidsdeling av CPU, aktiv (current) prosess tidsdeling av data (i minne, på disk, nett) ACID i en transaksjon atomicity: enten ble ALT eller så INTET gjort consistency: konsistent (uten feil) isolation: ikke ødelegg for andre durability: bekreftet = permanent lagret les-beregn-skriv A er en adresse på ytre lager (disk) X er en adresse i hurtigminnet (RAM) X := Les (A) X := X - 3 Skriv (A, X) problemeksempler to som skriver: tapt oppdatering sistemann overskriver førstemann (s. 268) en skriver, en leser: inkonsistent analyse skriveren endrer noe leseren nettopp leste en skriver, en leser: angret oppdatering B leser noe som A senere tilbakekaller

4 tiltak sekvensiering (ikke samtidige trans.) lengre venting, lange som utsulter korte leselås: andre får ikke skrive skrivelås: andre får hverken lese eller skrive låseobjekt (granularitet): hele databasen, en tabell, en rad (vanligst), en verdi serialiserbare forløp T1 = T1.a og T1.b T2 = T2.a og T2.b tre rekkefølger og tre ulike sluttresultat T1.a, T1.b, T2.a, T2.b (sekvensielt: T1 før T2) T2.a, T2.b, T1.a, T1.b (sekvensielt: T2 før T1) T1.a og T2.a (samtidig), T1.b og T2.b (samtidig) serialiserbar: samtidig kjøring gir samme resultat som seriell (sekvensiell) kjøring tofaselåsing transaksjon har to faser: voksefase: setter låsene minkefase: frigir låsene (får ikke sette nye låser) dette garanterer serialiserbarhet vranglås A ber om lås på noe som B har låst samtidig som B ber om lås på noe som A har låst Alt. 1: Unngå vranglås (avoidance) huske transaksjonens starttidspunkt B får vente på A bare hvis B er eldre enn A ellers: utsett B til senere Alt. 2: Oppdage og løse vranglås ventegraf, identifisere og fjerne sykler avbryte en av de impliserte, utsette den til senere

5 enda flere problemer usikker lesing (dirty read) A leser data som B enda ikke har gjort COMMIT på ikke-repeterbar lesing B spør om X, får svar Y1 B spør om X, får svar Y2 (like etterpå) lese Fantomet som over, men at Y2 inneholder nye rader (fantomrader) og enda flere tiltak isolering SET TRANSACTION ISOLATION LEVEL <type> optimistisk låsing lar transaksjonene starte (uten noe sjekking) lagre tidspunkt for lesing/skriving av en rad når A forsøker å lagre, sjekkes om andre har endret raden etter at A leste den hvis konflikt : Konflikthåndtering.