Obiektowe modelowanie systemów informatycznych



Pobieranie 8,01 Mb.
Strona104/113
Data23.10.2017
Rozmiar8,01 Mb.
1   ...   100   101   102   103   104   105   106   107   ...   113

Transakcja

Transakcja

begin transaction

begin transaction

Write_Lock (x)

Write_Lock (x)

Wait

Read (x)

Wait

x := x * 1.1

Wait

Write (x) X=110

Wait

Write_Lock (y)

Wait

Read (y)

Wait

y := y * 1.1

Wait

Write (y) Y=440

Wait

commit / Unlock(x),Unlock(y)

Read (x)




x := x+100




Write (x) X=210 (+)




Write_Lock (y)




Read (y)




y := y - 100




Write (y) Y=340 (+)




commit/ Unlock(x),Unlock(y)






Tablica 15. Przykład niepoprawnego grafu szeregowalności , realizowanego przez protokół, który nie jest dwufazowym.

Transakcja realizuje operacje przelewu kont. Transakcja realizuje operacje kapitalizacji kont. Dla początkowego stanu kont


1   ...   100   101   102   103   104   105   106   107   ...   113


©operacji.org 2017
wyślij wiadomość

    Strona główna
której znajdują