tỏc sau đõy:
1.Trờn trạm S(Tj) nguồn của giao dịch chặn Tj, ta thờm Tk vào tập hợp B(Tj) và kiểm tra rằng khụng phỏt sinh bế tắc, nghĩa là: B(Tj) ∩ E(Tj) = ∅
Ta gửi tiếp thụng điệp (l,k) về phớa cỏc trạm nguồn của cỏc giao dịch Tl và Tj
nhằm cho phộp cỏc trạm S(Tl) cập nhật cỏc tập hợp E(Tl), B(Tl) của cỏc giao dịch bị
chặn bởi Tl. Song song với tỏc động trờn, cỏc thụng điệp (l,k) được gửi về trạm nguồn của cỏc giao dịch Tk để cập nhật tập hợp E(Tk) của cỏc giao dịch chặn Tk.
2.Trờn trạm S(Tk) nguồn của giao dịch bị chặn Tk, ta thờm Tj cho tập hợp
E(Tk) và kiểm tra khụng cú bế tắc, nghĩa là: B(Tk) ∩ E(Tk) = ∅
Ta gửi tiếp tục thụng điệp (j,m) về phớa cỏc trạm nguồn của cỏc giao dịch Tm
bị chặn bởi Tk nhằm cho phộp cỏc trạm S(Tm) cập nhật cỏc tập hợp E(Tm) của cỏc giao dịch chặn Tm.
2.3. Minh họa
Xột ba trạm S1, S2 và S3. Mỗi trạm Si chứa đối tượng ei và là nguồn của giao dịch Ti: T1 T2 T3 v_loai_tru_th(e1) ……… v_chia_se_th(e3) v_loai_tru_th(e2) …………. v_chia_se_th(e1) v_loai_tru_th(e3) ……… v_loai_tru_th(e2)
Ta hóy tưởng tượng rằng tại thời điểm mà tất cả cỏc giao dịch đó được thực hiện cú kết quả phộp toỏn đầu tiờn của then cài. Khi đú chuyển sang thời điểm thứ hai, cỏc giao dịch đều bị chặn. Điều đú kộo theo cỏc sự kiện sau đõy:
T1: Trờn S3 đề nghị cung cấp e3 ( yờu cầu truy cập chia sẻ) cú trờn T3 (lưu ý rằng e3 được T3 truy cập theo kiểu loại trừ); S3 gửi (3,1) cho S1 và S3, từ đú ta cú:
E(T1)= {T3} , B(T1)=∅ B(T3)= {T1}, E(T3)= ∅
T2: Trờn S1 đề nghị cung cấp e1 (yờu cầu truy cập chia sẻ) cú trờn T1 (lưu ý rằng
e1được T1truy cập theo kiểu loại trừ); S1 gửi (1,2) cho S1 và S2, từ đú ta cú: E(T2)= {T1}, B(T2)= ∅ E(T1)= {T3}, B(T1)= {T2}
S1 gửi (2,3) cho S3 và từ đú sinh ra: E(T2)= {T1,T3} B(T2)= ∅
T3: Trờn S2 đề nghị cung cấp e2 (truy cập loại trừ) trờn T2; S2 sinh ra T3 trong
B(T2) (nghĩa là B(T2)= {T3}) và ta ghi nhận là: B(T2) ∩ E(T2) = {T3}
KẾT LUẬN
Hai thuật toỏn Lomet và Menasce trờn đõy xuất phỏt từ cơ sở cựng một nguyờn lý tương tự. Đú là sự thiếu chắc chắn của trạng thỏi cỏc trạm xa phỏt sinh vấn đề lưu trữ một “giới hạn an toàn” nhất định. Điều đú lại ngăn cản cỏc phộp toỏn khụng kộo theo bế tắc trong một số trường hợp nhất định.
Nhưng bản thõn hai thuật toỏn này, khi triển khai, lại cho phộp sử dụng cỏc kỹ thuật khỏc nhau. Trong thuật toỏn dự phũng, ta kiểm tra trờn trạng thỏi từng phần một điều kiện mạnh hơn điều kiện tối thiểu. Trong thuật toỏn phỏt hiện bế tắc, ta cú trong một trạm trạng thỏi của cỏc trạm khỏc. Thụng thường, mỗi trạm đều nhận cỏc thụng tin dư thừa.
Cỏc thuật toỏn Lomet và Menasce đặt ra một nguyờn tắc tương tự như cỏc nhúm sắp xếp. Duy chỉ cú khỏc nhau một điều là nú dự phũng, phỏt hiện và trỏnh được sự thiếu thốn tài nguyờn một cỏch vụ hạn, bởi vỡ trật tự tổng quỏt được triển khai cho cỏc giao dịch chứ khụng phải cho cỏc tài nguyờn. Một giao dịch trở nờn rất cần thiết là giao dịch cú thời gian chờ đợi dài nhất sau một khoảng thời gian nhất định, vỡ thế cho nờn nú trở thành giao dịch được ưu tiờn nhất trờn tất cả cỏc trạm mà nú đó gởi thụng điệp. Khi cỏc tài nguyờn được sử dụng bởi giao dịch được xỏ định theo kiểu động trong quỏ trỡnh thi hành giao dịch, cỏc phương phỏp dự phũng bế tắc dựa trờn nền tảng cỏc thụng điệp sẽ khụng cũn phự hợp thỡ lỳc này ta được sử dụng cỏc phương phỏp phỏt hiện và chữa trị. Phương phỏp này sẽ đặt ra vấn đề sử dụng một đồ thị cỏc tranh chấp mà việc kiểm tra cỏc tranh chấp đú cho phộp phỏt hiện được cỏc bế tắc. Mỗi một trạm quản lý cỏc đối tượng riờng của mỡnh và phỏt hiện chỉ dựa vào thụng tin cục bộ. Cỏc trạm khởi sự cỏc giao dịch bị treo được đề phũng phỏt sinh bế tắc cần phải đề ra cỏc biện phỏp chữa trị cho mỡnh. Đú là những ưu điểm của hai thuật toỏn Lomet và Menasce cú chức năng mạnh, gắn bú hữu cơ với nhau, hỗ trợ nhau cựng giải quyết cỏc vấn đề cấp thiết trong hệ tin học núi chung và hệ tin học phõn tỏn núi riờng hiện nay như là bế tắc thụng tin, nghẽn giao dịch, thiếu thốn tài nguyờn,...