[nastava:2003] - Re: Baze - Transakcije - Brzo :) by "Milan Potocnik" <potocnik@eunet.yu>

Pa problem je u tome sto sam ja video samo slucajeve kada se izmedju
read i write istog podatka u nekoj transakciji, ne dira taj podatak u nekoj
drugoj transakciji, i onda je algoritam jednostavan (toliko jednostavan, da
ga u ovim predavanjima koja ja imam prakticno i nema :) tj. dat je kroz
primer). Gleda se samo write pre read...

Za ovaj tvoj primer se, izgleda, ne moze primeniti. Pa kako onda, sa
oznacenim grafom?

P.S. sad moram malo da ostavim baze, sutra me ceka e2
  ----- Original Message ----- 
  From: Damjan S. Vujnovic 
  To: nastava@titan.etf.bg.ac.yu 
  Sent: Thursday, 27 February, 2003 3:13 PM
  Subject: Re: [nastava] Baze - Transakcije - Brzo :)


  Cek, cek, jel to ispada da se za Oznaceni graf treba raditi za svaku promenljivu ponaosob, a za Neoznaceni sve promenljive na jedan graf (tako bar pise u bojovicevim predavanjima)


  Da. Ali...

  Algoritam za konstrukciju neoznačenog grafa redosleda koji predlaže gosp. prof. Dr. Bojović nije ispravan (o ovome se već govorilo ranije u thread-u, ali nije zgoreg da ponovimo). Posmatraj sledeći redosled izvršavanja transakcija T1 i T2:

        Vreme
       T1
       T2
       
        t1
       read(SX)
         
        t2
       Privr = 0.1 * SX
         
        t3
       SX = SX - Privr
         
        t4
         read(SX)
       
        t5
         SX = SX - D XY
       
        t6
         write(SX)
       
        t7
         read(SY)
       
        t8
         SY = SY + D XY
       
        t9
         write(SY)
       
        t10
       write(SX)
         
        t11
       read(SY)
         
        t12
       SY = SY + Privr
         
        t13
       write(SY)
       


  Redosled očigledno nije serijalizovan, ali ako konstruišeš neoznačeni graf redosleda (na način na koji to predlaže GPDB) dobićeš graf bez kontura koji će ti govoriti da je redosled ekvivalentan serijskom redosledu T2->T1. Ako te ne mrzi, romansiranu verziju (director's cut) možeš pogledati na adresi:

  http://galeb.etf.bg.ac.yu/~damjan/paradox.zip

  Svaki komentar dobrodošao. Ukoliko ima zainteresovanih za alternativnu nauku na polju ispitivanja serijalizovanosti (dodoše kod lokalnih autoriteta nije baš mnogo priznata i ima status apokrifa), neka se oglase, pa ćemo za dalje videti...

  Pozdrav,
  Damjan S. Vujnović

  P.S. Ne znam da li mislimo na isti algoritam za konstruisanje neoznačenog grafa redosleda. Bilo bi lepo da pošalješ algoritam i kažeš kako si do njega došao (predavanje, tuđa sveska, knjiga, mit, legenda, predanje, ...).