Luận văn Các thuật toán điều khiển tương tranh trong cập nhật dữ liệu phân tán

Tóm tắt Luận văn Các thuật toán điều khiển tương tranh trong cập nhật dữ liệu phân tán: ...xếp một lịch biểu cho các thao tác của các giao dịch. Giao thức là các quy tắc mà các giao dịch phải tuân theo. 2.1.5 Các khái niệm ủy thác, dữ liệu “rác” và cuộn ngược dây chuyền 2.1.6 Các trạng thái của giao dịch - Active: Trạng thái giao dịch đang hoạt động - Partially Committed: Đã c...mà khơng cĩ chu trình (G được tạo từ P bằng cách chọn 1 cạnh từ mỗi cặp) thì ta nĩi rằng lịch S là khả tuần tự đụng độ và thứ tự topo của G (đã bỏ đi T0 và Tf) là biểu diễn lịch tuần tự tương đương của S. - Nếu đa đồ thị G là luơn cĩ chu trình thì kết luận lịch S khơng khả tuần tự đụng độ ...U (Lock Unit) mà x ⊆ LU If (LU đang UnLock) or (kiểu khĩa của LU là tương thích với Op) then Set khĩa trên LU theo kiểu tương ứng Msg=”Cho phép Lock của thao tác Dop” Gửi Msg đến TM điều phối của T Else Đặt Op vào 1 queue cho LU End if Commit or Abort: For với mỗi LU đượ...