Presentation laddar. Vänta.

Presentation laddar. Vänta.

DAV B04 - Databasteknik Transaktionshantering (kap 17+18)

Liknande presentationer


En presentation över ämnet: "DAV B04 - Databasteknik Transaktionshantering (kap 17+18)"— Presentationens avskrift:

1 DAV B04 - Databasteknik Transaktionshantering (kap 17+18)

2 Transaktionshanteringssystem System med hundratals samtidiga användare som utför databastransaktioner Ex. banksystem, biljettbokning, näthandel Kräver hög tillgänglighet, snabba svarstider och hög pålitlighet För detta behövs både concurrency control och stöd för återhämtning av misslyckade transaktioner i databassystemet

3 Transaktioner En transaktion är en mängd operationer utförda i sekvens, som tillsammans bildar en logisk enhet Måste utföras i sin helhet eller inte alls Ex. BEGIN TRANSACTION read(konto1); konto1= konto1 – 1000; write(konto1); read(konto2); konto2= konto ; write(konto2); COMMIT ELLER ROLLBACK END TRANSACTION

4 COMMIT och ROLLBACK COMMIT betyder att transaktionen i sin helhet utförts korrekt. Uppdateringar görs nu permanenta. ROLLBACK betyder att något har gått fel och transaktionen ”spolas tillbaka” till början. Eventuella uppdateringar måste göras ogjorda.

5 Önskvärda egenskaper hos transaktioner ACID-egenskaper: Atomicity en transaktion skall utföras helt eller inte alls Consistency preservation transaktionen gör att databaser växlar mellan konsistenta tillstånd Isolation transaktionen skall inte påverkas av andra transaktioner Durability or permanency ändringar är permanenta

6 Concurrency Innebär samtidig/jämlöpande körning av flera transaktioner kan ställa till problem om de jobbar mot samma datamängd Tre huvudsakliga problem finns: Problemet med förlorade uppdateringar Problemet med temporära uppdateringar Problemet med felaktiga summeringar

7 Förlorade uppdateringar / Lost Update Problem X borde bli 79 men blir här 84. Transaktion B uppdaterar X utan att veta om transaktion A:s uppdatering. Transaktion A:s uppdatering går här förlorad. Transaktion ATIDTransaktion B X = 80 Read(X) X = X - 5 Read(X) X = X + 4 Write(X)

8 Tillfälliga uppdateringar / Temporary Update Problem Transaktion ATIDTransaktion B Read(X) X = X – 1 Write(X) Read(X) X = X – 2 Write(X) ROLLBACK Transaktion B ser här en uppdatering av X som senare görs ogjord. Därmed har Transaktion B använt ett felaktigt värde (dirty read).

9 Felaktiga summeringar / Incorrect summary problem Transaktion A tid Transaktion B Sum = 0 Read(konto1) Sum += konto1 Read(konto2) Konto2 -= 1000 Write(konto2) Read(konto2) Sum += konto2 Read(konto3) Sum += konto3 Read(konto3) Konto3 += 1000 Write(konto3) Tr. A summerar kontona 1,2,3. Samtidigt flyttar Tr. B över 1000kr från konto2 till konto 3. Tr A summerar här ett förändrat konto 2 men ett oförändrat konto3, dvs Tr A gör en felaktig summering

10 Transaktionsscheman Med schema (schedule) avses en beskrivning av ordningsföljden mellan de operationer (read/write) som görs för att antal transaktioner som använder gemensamma data Ex. S a = r1(X),w1(X),r2(X),w2(X),r1(Y) S b = r1(X),r2(X),w1(X),r1(Y),w2(X), w1(Y)

11 Konflikter mellan transaktioner Två operationer i ett schema sägs vara i konflikt om de uppfyller tre villkor: De tillhör olika transaktioner De accessar samma objekt X Åtminstone en av operationerna är en write(X) S a = r1(X),w1(X),r2(X),w2(X),r1(Y) S b = r1(X),r2(X),w1(X),r1(Y),w2(X), w1(Y) Vilka konflikter finns i schemana ovan?

12 Seriella scheman Seriellt schema (serial) en transaktion i taget aktiv och först när den avslutats (commit/abort) kan nästa börja Ett seriellt schema är alltid giltigt Automatiskt seriellt om transaktionerna är oberoende av varandra Seriella scheman anses ofta vara för ineffektiva i praktiken

13 Serialiserbarhet och seriellt ekvivalenta scheman Icke-seriellt (nonserial) schema Transaktionerna exekverar parallellt (interleaved) Ett schema är serialiserbart om det är ekvivalent med något seriellt schema för samma mängd transaktioner Konflikt-ekvivalent schema Ett schema är konflikt-ekvivalent med ett annat om operationer som är i konflikt exekverar i samma ordning i de båda schemana Om A är ett seriellt schema och schema B är (konflikt)ekvivalent med A, så är B ett (konflikt)serialiserbart schema.

14 Hur kan man avgöra om ett schema är serialiserbart eller inte? 1. För varje transaktion T i som ingår i schemat S, skapa en nod som heter T i i en precedensgraf 2. För varje fall i S där T j utför en read(X) efter att T i utfört en write(X), skapa en kant (T i  T j ) i precedensgrafen 3. För varje fall i S, där T j utför en write(X) efter att T i utfört en read(X), skapa en kant (T i  T j ) i precedensgrafen 4. För varje fall i S, där T j utför en write(X) efter att T i utfört en write(X), skapa en kant (T i  T j ) i precedensgrafen Schemat S är serialiserbart omm precedensgrafen saknar cykler

15 Tekniker för concurrency control Vanligast är olika protokoll som använder låsning (locking) av dataobjekt Andra tekniker Tidsstämpling (timestamps) Multiversion concurrency control Optimististic concurrency control

16 Delade/exklusiva lås Shared/Exclusive (Read/Write) Locks En transaktion som vill göra en operation på ett objekt X måste först skaffa ett lås på det objektet Om låset inte beviljas ställs transaktionen i väntekö 3 låsoperationer: read-lock(X), write-locked(X) och unlock(X) DBHS har en tabell där för varje lås anges:

17 Regler för delade/exklusiva lås En transaktion T måste utföra operationen read_lock(X) eller write_lock(X) innan någon read(X) utförs i T En transaktion T måste utföra operationen write_lock(X) innan någon write(X) utförs i T En transaktion T måste utföra operationen unlock(X) efter att alla read(X) och write(X) är utförda Låsning av transaktioner garanterar inte serialiserbarhet automatiskt

18 Two-phase locking protocol (2PL) Teorem: om alla transaktioner följer protokollet för 2PL så garnteras serialiserbarhet 2PL: Alla låsningar (read_lock och write_lock) föregår första unlock i transaktionen Lås skaffas i den växande fasen och släpps i den krympande fasen Dock är protokollet inte helt problemfritt…

19 Förlorade uppdateringar med 2PL Transaktion ATIDTransaktion B X = 80 Read_lock(X); Read(X) X = X – 5 Read_lock(X); Read(X) X = X + 4 Write_lock(X); //vänteläge Write(X) Write_lock(X); //vänteläge Write(X)

20 Deadlock Prevention Protocols Varje transaktion förses med en tidstämpel TS(T), där TS(T1) < TS(T2) om T1 startar före T2. man säger även att T1 är äldre än T2 Antag att T1 försöker låsa X som redan är låst av T2 Wait-die: Om T1 är äldre än T2, så får T1 vänta annars avbryts T1 och återstartas senare med samma tidstämpel Wound-wait: Om T1 är äldre än T2, så dödas T2 och återstartas senare med samma tidstämpel Annars får T1 vänta

21 Utan tidstämpel No waiting Om transactionen inte kan få ett lås avbryts den omedelbart och återstartas efter viss fördröjning utan att kontrollera om deadlock kommer att uppstå Cautious waiting Antag att T1 försöker låsa X men att X redan är låst av T2 Om T1 inte är blockerad (inte väntar på någon annan låst variabel) så blockeras T1 och får vänta annars avbryts T2

22 Deadlock Detection and Timeouts Upptäck deadlock genom att konstruera en wait-for graph (en graf som visar vem som väntar på vem) Deadlock omm det finns cykler i grafen Victim selection Välj ut en transaktion som offer och döda den Timeouts Om en transaktion väntat för länge, döda den

23 Starvation En transaktion får vänta orimligt länge på grund av låg prioritet eller annat Lösningar FCFS : first-come-first-serve i väntekö Prioritet : ge högre prioritet åt den som väntat länge


Ladda ner ppt "DAV B04 - Databasteknik Transaktionshantering (kap 17+18)"

Liknande presentationer


Google-annonser