konspekt - Tartu Ülikool

11.2 Transaktsiooni mõiste
Kui ütleme, et server teostab atomaarseid operatsioone, siis see tähendab, et suvalise
kliendi teostatav operatsioon ei ole mõjutatud teiste klientide operatsioonidest.
Lisaks, see operatsioon kas lõpetati edukalt või ei oma mingit efekti. mõnikord on
nõutav teatud päringujärjendite atomaarsus (näiteks vestluse korral).
Kliendi seisukohalt on transaktsioon operatsioonide järjend (vestlus), mis viib
andmed/serveri ühelt kooskõlaliselt olekult teisele.
Atomaarsust iseloomustavad kaks omadust:
¯ kõik või mitte midagi. Transaktsioon kas lõpetab edukalt ja tema tegevuste
tulemus on salvestatud või tema tegevusega ei kaasne mingit efekti. Kõik
või mitte midagi omadusega kaasnevad omakorda kaks omadust:
– tõrke atomaarsus. Transaktsiooni täitmise tulemus on atomaarne ka
serveri tõrgete korral.
– kestus. Kui transaktsioon lõpetab edukalt, salvestatakse teostatud muudatused
püsivale kandjale. Salvestatud andmes elavad üle ka serverprotsessi
tõrked.
¯ isolatsioon. Transaktsioonid ei tohi segada üksteise tööd.
Transaktsioon taastatavatelt andmetelt on atomaarne. Atomaarsete transaktsioonide
omaduste meeldejätmiseks soovitatakse kasutada sõna ACID (Hårder ja
Reuter).
atomic (atomaarsus)
consistency (konsistents, kooskõla)
isolation (isolatsioon)
durability (kestus)
Transaktsioone võib kasutada paralleelselt, kui nad on seriaalselt ekvivalentsed.
Transaktsiooniline teenus on tavaliselt mingi teenuse laiendus, mille korral
saab ressursse kasutada transaktsioonidena.
Klient määrab transaktsiooni kasutades ÇÔÒÌ ÖÒ× ØÓÒ ja ÐÓ×Ì ÖÒ× ØÓÒ
primitiive. Transaktsiooni katkestamiseks on primitiiv ÓÖØÌ ÖÒ× ØÓÒ. transaktsiooni
kinnitamine (commit).
ÇÔÒÌ ÖÒ× ØÓÒ ØÁ ÐÓ×Ì ÖÒ× ØÓÒ ÓÑÑØ ÓÖØ
ÓÖØÌ ÖÒ× ØÓÒ ÓÖØ
Transaktsiooni kasutamisel on kolm võimalust: transaktsioon lõpetab edukalt,
klient katkestab transaktsiooni või server katkestab transaktsiooni.
Serveri tõrke korral katkestatakse käsilolev transaktsioon. Serveri uuesti käivitamisel
taastatakse viimase edukalt lõpetanud transaktsiooni loodud andmete
olek.
113
Kliendi tõrke tuvastamiseks saame kasutada näiteks taimereid. Atomaarne transaktsioon
saavutatakse kliendi ja transaktsioonilise teenuse koostööna.
11.3 Samaaegse täitmise probleemid
Vaatleme siinkohal “uuenduste kaotsimineku” ja “poolikute lugemiste” probleeme.
Uuenduste kaotsiminek Olgu meil kontod , ja .
Transaktsioon Ì kannab $4 kontolt kontole ja transaktsioon Í kannab $3
kontolt kontole . Tulemus peaks olema , ja .
Ì Í
ÐÒ Ê $100
Ï ÖØ ÐÒ $96
ÐÒ Ê $300
Ï ÖØ ÐÒ $297
ÐÒ Ê $200
ÐÒ Ê $200
Ï ÖØ ÐÒ $203
Ï ÖØ ÐÒ $204
Tabel 11.1: Uuenduste kaotsimineku probleem
Nagu tabelis 11.1 toodud näitest näha, oleme kaotanud transaktsiooni Í töö
tulemuse.
Pooliku lugemise probleem Olgu meil kontod , ja
. Transaktsioon Ì kannab $100 kontolt kontole ja transaktsioon Í summerib
kontod , ja . Tulemus peaks olema , ja summa 600.
Nagu tabelis 11.2 toodud näitest näha, on transaktsioon Í eksinud 100 ühiku
võrra, kuna ta “ei märganud” transaktsiooni Ì poolt kontole kantud summat.
11.4 Seriaalne ekvivalents
Kui iga transaktsioon ükisikuna käivitades lõpetab edukalt, siis nende transaktsioonide
rakendamine ükshaaval mingis järjekorras on samuti edukas.
114