Đang tải... (xem toàn văn)
jhjh
KKỹỹ thuthuậậtt nhãnnhãn ththờờii giangian (Time stamp(Time stamp)) Kỹ thuật nhãn thời gian ñơn giản Kỹ thuật nhãn thời gian ñọc / Viết Kỹ thuật nhãn thời gian nhiều phiên bảnKỹ thuật nhãn thời gian nhiều phiên bản KKỹỹ thuthuậậtt nhãnnhãn ththờờii giangian ññơơnn gigiảảnn NguyênNguyên lýlý ccủủaa kkỹỹ thuthuậậtt Mỗi giao tác T ñược gán một nhãn thời gian TS(T), ghi nhận thời ñiểm phát sinh của T Mỗi ñơn vị dữ liệu A ñược gán một Mỗi ñơn vị dữ liệu A ñược gán một nhãn thời gian TS(A) ghi nhận lại TS(T) của giao tác T ñã thao tác thành công lên A gần nhất NguyênNguyên lýlý ((tttt)) Một giao tác T thao tác thành công lên A nếu TS(T) >= TS(A) Ngược lại thì T sẽ không ñược thao tác lên A và bị hủy ñể thực hiện lạitác lên A và bị hủy ñể thực hiện lại với một nhãn TS(T) mới lớn hơn tất cả các nhãn ñang có TS(A) > TS(T) ? ThThủủ ttụụcc ññọọcc Procedure Read (T,A) Begin IF (TS(T) >= TS(A)) Then Begin Read (A); TS(A):= TS(T):TS(A):= TS(T): End Else Abort T End ThThủủ ttụụcc viviếếtt Procedure Write(T,A) Begin IF (TS(T) >=TS(A)) Then BeginBegin Write(A); TS(A):= TS(T); End Else Abort T VíVí ddụụ T1 TS(T)=100 T2 TS(T)=200 A TS(A)=0 B TS(B)=0 Read(A) TS(A)= 100 Read(B) TS(B)=200 A:= A+10 Write(A) TS(A)=100Write(A) TS(A)=100 Read(A) TS(A)=200 B:=B+A Write(B) TS(B)=200 Read(B) Abort KKỹỹ thuthuậậtt nhãnnhãn ththờờii giangian ññọọcc//viviếếtt NguyênNguyên lýlý Chia nhãn của ñơn vị dữ liệu A thành 2 ◦ RTS(A) : Ghi nhận nhãn của giao tác ñã ñọc A thành công gần nhất ◦ WTS(A): Ghi nhận nhãn của giao tác ñã viết lên A thành công gần nhất ThThủủ ttụụcc ññọọcc Procedure Read(T,A) Begin IF (TS(T) >= WTS(A)) Then Begin Read(A);Read(A); RTS(A):= Max(TS(T),RTS(A)) End Else Abort T End . KKỹỹ thuthuậậtt nhãnnhãn ththờờii giangian (Time stamp(Time stamp)) Kỹ thuật nhãn thời gian ñơn giản Kỹ thuật nhãn thời gian ñọc / Viết Kỹ thuật nhãn thời. thời gian nhiều phiên bảnKỹ thuật nhãn thời gian nhiều phiên bản KKỹỹ thuthuậậtt nhãnnhãn ththờờii giangian ññơơnn gigiảảnn NguyênNguyên lýlý ccủủaa kkỹỹ