BD-2st-1.2-w10.tresc-1.1-Slajd15
Algorytm znaczników czasowych z buforowaniem operacji
Aby zapewnić odtwarzalność realizacji generowanych przez algorytm znaczników czasowych konieczna jest modyfikacja algorytmu polegająca na buforowaniu operacji odczytu i zapisu danych, aż do momentu zatwierdzenia transakcji.
Transakcja T1 zapisuje daną x: aktualizowana jest wartość znacznika Write_TS(x), zmiana wartości danej x jest odsunięta w czasie do momentu zatwierdzenia transakcji T1.
Transakcja T2 odczytuje daną x aktualizowaną przez transakcję T1: znacznik transakcji TS(T2) jest porównywany ze znacznikiem Write_TS(x), jeżeli warunek odczytu jest spełniony, to odczyt jest odsunięty w czasie do momentu akceptacji transakcji T1, w przeciwnym razie transakcja T2 jest wycofywana.
Efekt buforowania jest podobny do efektu zakładania blokad dla zapisu na danych !!!
