Obiektowe modelowanie systemów informatycznych



Pobieranie 8,01 Mb.
Strona95/113
Data23.10.2017
Rozmiar8,01 Mb.
1   ...   91   92   93   94   95   96   97   98   ...   113

Transakcja

Transakcja

begin transaction




Read (x)




x := x+100




Write (x) X=200

begin transaction




Read (x)




x := x * 1.1




Write (x) X=220

Read (y)




y := y - 100




Write (y) Y=300




commit

Read (y)




y := y * 1.1




Write (y) Y=330




commit






Graf szeregowalności transakcji tabl.6.




Łatwo wykazać (Bernstein, 1987), że jeśli graf szeregowalności jest acykliczny, to odpowiadająca mu historia przetwarzania jest poprawna – zorientowany graf acykliczny jest bowiem graficzną formą reprezentacji zbioru częściowo uporządkowanego. Jeśli natomiast w grafie szeregowalności istnieje jakikolwiek cykl, to odpowiadająca mu historia przetwarzania jest na pewno niepoprawna.



Szeregowalność oznacza, że zbiór operacji występujących w historii H możemy ułożyć w ciąg, w którym operacje poszczególnych transakcji nie przeplatają się, ale jednocześnie zachowana jest kolejność wszystkich operacji konfliktowych. Taka historia przetwarzania odpowiada szeregowemu wykonywaniu transakcji, stąd historie generujące częściowy porządek w zbiorze transakcji nazywamy historiami szeregowalnymi. Zauważmy, że w przypadku wystąpienia pętli lub cyklu w grafie szeregowalności odpowiadającym historii H nie dałoby się przekształcić H w historie przetwarzania szeregowego.


1   ...   91   92   93   94   95   96   97   98   ...   113


©operacji.org 2017
wyślij wiadomość

    Strona główna
której znajdują