Hide metadata

dc.date.accessioned2013-03-12T08:01:59Z
dc.date.available2013-03-12T08:01:59Z
dc.date.issued2008en_US
dc.date.submitted2008-05-02en_US
dc.identifier.citationØstby, Lene Therese. En teoretisk studie av Snapshot Isolation. Masteroppgave, University of Oslo, 2008en_US
dc.identifier.urihttp://hdl.handle.net/10852/9882
dc.description.abstractSnapshot Isolation er en multiversjonsprotokoll for samtidighetskontroll, som er attraktiv fordi den tilbyr et isolasjonsnivå som unngår mange av de vanligste samtidighetsfenomenene. I tillegg tillater Snapshot Isolation en mye høyere grad av samtidighet enn for eksempel streng to-faselåsing. Snapshot Isolation er mye brukt i praksis, og både Oracle, PostgreSQL og Microsoft SQL Server har implementert en versjon av den. Snapshot Isolation ble plassert i hierarkiet av isolasjonsnivåer i "A Critique of ANSI SQL Isolation Levels" (Berenson et al., 1995). Her ble det fastslått at isolasjonsnivået Serializable er sterkere enn Snapshot Isolation ettersom SI tillater enkelte samtidighetsfenomener. Det meste av forskning på området har dermed dreid seg om å identifisere tilfeller hvor Snapshot Isolation ikke sikrer full serialiserbarhet, samt foreslå endringer blant annet på applikasjonsnivå for å håndtere disse. Det har derimot vært gjort lite teoretisk forskning for å plassere Snapshot Isolation i forhold til eldre teori. Formålet med denne oppgaven har derfor vært å undersøke formelle egenskaper ved Snapshot Isolation, og sette SI i sammenheng med kjent teori for serialiserbarhet og gjenopprettelse. Ved å benytte blant annet Herbrand semantikk, kan vi fastslå hvilke samtidighetsfenomener som kan opptre under final-state, view- og konfliktserialiserbarhet, og deretter sammenligne Snapshot Isolation med de forskjellige "nivåene" for serialiserbarhet. Oppgaven tar også for seg en rekke korrekthetskriterier for gjenopprettelse av transaksjoner, og ser på hvilke av disse som oppfylles av en Snapshot Isolated plan. Det undersøkes også om Snapshot Isolation er en monoton klasse. Snapshot Isolation viste seg å ha meget gode egenskaper når det gjelder gjenopprettelse av transaksjoner. Basert på en sammenligning av samtidighetsfenomener som kan oppstå, viste det seg også at Snapshot Isolation garanterer et høyere isolasjonsnivå enn hva konfliktserialiserbarhet alene gjør.nor
dc.language.isonoben_US
dc.titleEn teoretisk studie av Snapshot Isolationen_US
dc.typeMaster thesisen_US
dc.date.updated2008-06-25en_US
dc.creator.authorØstby, Lene Thereseen_US
dc.subject.nsiVDP::420en_US
dc.identifier.bibliographiccitationinfo:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft.au=Østby, Lene Therese&rft.title=En teoretisk studie av Snapshot Isolation&rft.inst=University of Oslo&rft.date=2008&rft.degree=Masteroppgaveen_US
dc.identifier.urnURN:NBN:no-19120en_US
dc.type.documentMasteroppgaveen_US
dc.identifier.duo74076en_US
dc.contributor.supervisorRagnar Normannen_US
dc.identifier.bibsys080974759en_US
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/9882/3/Ostby.pdf


Files in this item

Appears in the following Collection

Hide metadata