SIF8041 OPERATIVSYSTEMER OG DATABASER

våren 2001

ØVING 5 : Transaksjoner

 

INNLEVERINGSFRIST : Fredag 20.04.01

GRUPPESTØRRELSE : 2 -3. Lever svarene på papir.

 

  1. Hva er definisjonen på at en gruppe transaksjoner blir korrekt utført ?

    2.  

  2. Vil følgende sekvens av operasjoner gi korrekt utførelse?

    3.  

    r1(x), r2(y), r1(z), w2(y), r3(x), r3(y), w1(z), r1(y), w3(x), w1(y), r2(z), c1, c2, c3.

     

    ri(a) betyr at transaksjon i leser ressurs a. wi(a) betyr at transaksjon i skriver ressurs a. ci betyr commit for transaksjon i. Begrunn svaret.

     

  3. Forklar hvorledes metoden: "no undo - redo" kan brukes til å sikre konsistent utførelse. Forklar spesielt hvordan blokkbuffer og loggen blir brukt i denne sammenhengen.