Obiektowe modelowanie systemów informatycznych



Pobieranie 8,01 Mb.
Strona110/113
Data23.10.2017
Rozmiar8,01 Mb.
1   ...   105   106   107   108   109   110   111   112   113

Metody znaczników czasowych.


Metody znaczników czasowych(Timestamp ordering) są alternatywą do metod szeregowałności historii przetwarzania transakcji przez blokowania danych. Te metody są wykorzystywane w przypadkach, kiedy konflikty pomiędzy transakcjami są rzadkie. Dla usunięcia konfliktów nie jest potrzebny graf oczekiwania transakcji.

Definicja. Znacznik czasowy (Timestamp) transakcji T, czyli TS(T), jest jej unikalnym identyfikatorem, który wyznaczy się czas zjawy transakcji T w SZBD. Znaczniki są przydzielone transakcjom w kolejności, w której transakcje pojawiają się w SZBD.

Również z transakcjami, w bazie danych z każdą daną (X) są związane następne dwie wartości znaczników czasowych:

Read_TS(X) –największy (najstarszy) znacznik czasowy spośród wszystkich transakcji, które pomyślnie odczytały daną X.

Wtrite_TS(X) - największy (najstarszy) znacznik czasowy spośród wszystkich transakcji, które pomyślnie zapisały daną X.



Implementacja algorytmu znaczników czasowych dla operacji odczytywania danych:

Read (,X) begin

If (Write_TS (X)==TRUE) Then

< abort and restart it with a new Timestamp>;

Else begin



< Read X>;

Read_TS (X) <-- max (Read_TS(X), TS());

End;


End Read;

Dla realizacji operacji odczytywania daną X transakcja czyta typ znacznika czasowego daną

1   ...   105   106   107   108   109   110   111   112   113


©operacji.org 2017
wyślij wiadomość

    Strona główna