Quản lý nhãn thời gian

Một phần của tài liệu Cơ sở dữ liệu phân tán (Trang 36)

Một nhƣợc điểm của các chƣơng trình T/O là tốn quá nhiều bộ nhớ để lƣu trữ các nhãn thời gian. Vấn đề này có thể giải quyết bởi « quên » các nhãn thời gian cũ.

Các nhãn thời gian đƣợc sử dụng trong T/O cơ bản để từ chối các phép toán đến trễ, ví dụ để từ chối một dm-read(x) với nhãn thời gian TS1 mà nó đến sau một dm-write(x) với nhãn thời gian TS2 trong đó TS1<TS2. Trong trƣờng hợp đặc biệt, TS1 và TS2 có thể khác nhau với bất kỳ giá trị thực nào. Tuy nhiên, trong trƣờng hợp đặc biệt nó không chắc chắn rằng các nhãn thời gian này sẽ khác nhau nhiều hơn một phút. Một cách tuần tự, các nhãn thời gian có thể đƣợc lƣu trữ ở trong các bảng nhỏ mà các bảng đó đƣợc dọn dẹp một cách mặt định.

Các nhãn thời gian của R-ts đƣợc lƣu trữ trong bảng R với mục vào cuả các mẫu <x,R-ts> ; với bất kỳ phần tử dữ liệu x, có ít nhất một mục vào. Sự bổ sung, một giá trị, R-min nói lên giá trị lớn nhất của bất kỳ nhãn thời gian nào mà nó đƣợc dọn dẹp từ bảng. Để tìm R-ts(x), chƣơng trình tìm bảng R từ <x,TS> mục vào. Nếu một mục vào đƣợc tìm thấy, R-ts(x)=TS ngƣợc lại R-ts(x)<=R-min. Để lỗi trên cạnh của safety, chƣơng trình cho R-ts(x)=R-min. Để cập nhật R-ts(x), chƣơng trình sửa đổi mục vào <x,TS> nếu nó tồn tại. Ngƣợc lại một mục vào mới đƣợc tạo ra và thêm vào bảng. Khi bảng R đầy, chƣơng trình sẽ lựa chọn giá trị thích hợp cho R- min và xóa tất cả các mục vào từ bảng với nhãn thời gian nhỏ hơn. Các nhãn thời gian của W-ts cũng đƣợc quản lý tƣơng tự và các kỹ thuật tƣơng tự có thể đƣợc phát minh cho các cơ sở dữ liệu đa phiên bản.

Sự bảo trì các nhãn thời gian với cơ chế tự duy trì T/O ít tốn kém, Cơ chế tự duy trì T/O đòi hỏi chỉ các toán tử đã gán nhãn, không cần dữ liệu đã gán nhãn. Nếu cơ chế tự duy trì T/O đƣợc sử dụng cho sự đồng bộ rw, các nhãn thời gian của T-ts của các mẫu dữ liệu có thể bị loại bỏ. Nếu cơ chế tự duy trì T/O đƣợc sử dụng cho cả sự đồng bộ rw và ww, các nhãn thời gian của W-ts có thể cũng bị loại bỏ.

Một phần của tài liệu Cơ sở dữ liệu phân tán (Trang 36)