Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm Trường Đại Học Xây Dựng Khoa Công Nghệ Thông Tin – Bộ Môn Công Nghệ Phần Mềm -*** BÁO CÁO CƠ SỞ DỮ LIỆU Đề tài: Deadlock Detection in Distributed Databases - Phát khóa chết sở liệu phân tán Giảng viên hướng dẫn: Nguyễn Hồng Hạnh Nhóm thực hiện: Vũ Tuấn Anh Đinh Văn Tuân Nguyễn Thị Như Quỳnh Dương Văn Thỉnh Nguyễn Hồng Giang Phạm Văn Luân Hà Nội, 2009 Nhóm thực : Nhóm -1- Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm PHÁT HIỆN DEADLOCK TRONG CƠ SỞ DỮ LIỆU PHÂN TÁN EDGAR KNAPP Sở Khoa học máy tính, Đại học Texas Austin, Austin, Texas 78712 Các vấn đề phát deadlock hệ thống phân tán trải qua trình nghiên cứu rộng rãi Một ứng dụng quan trọng liên quan đến hệ thống sở liệu phân tán Một mô hình thống công bố thuật toán đổi kiểu cho, nguyên tắc mà sơ đồ phát deadlock phân tán dựa trình bày Những nguyên tắc đại diện chế phát triển thuật toán phân tán nói chung sơ đồ phát deadlock nói riêng Ngoài ra, trật tự deadlock mô hình trình bày; mô hình đặc trưng hạn chế áp dụng theo biểu mẫu nguyên yêu cầu giả định Các trật tự bao gồm mô hình tài nguyên biết giao tiếp deadlock Các thuật toán phân loại phù hợp với nguyên lý tầng truy vấn thông thường nguồn mà chúng chấp thuận Một số thuật toán thảo luận cách chi tiết, phức tạp chúng giới hạn số thông điệp sử dụng để so sánh Điểm làm để chứng minh xác cho thuật toán sử dụng luận toán tử bế tắc lỗi nghiêng, đó, thử nghiệm hoàn thành hình thức đủ cho việc chứng minh tính đắn Bộ miêu tả thể loại Tiêu đề: C.2.4 [máy tính-Giao tiếp mạng]: Hệ thống phân phối ứng dụng, phân phối sở liệu, mạng lưới hoạt động hệ thống; D.4.1 [vào hệ điều hành]: Quy trình quản lý-sự trùng hợp; deadlocks; đồng hóa; D.4.7 [vào hệ điều hành]: Thiết kế-Tổ chức phân phối hệ thống; H.2.4 [Cơ sở liệu Quản lý]:-Hệ thống phân phối hệ thống; giao dịch chế biến Điều khoản chung: Algorithms ( Nguyên lý, nguyên tắc) Các Từ khóa cụm từ: Deadlock phát hiện, deadlock mô hình, phân phối deadlocks INTRODUCTION Phát Deadlock vấn đề quan trọng hệ thống sở liệu (DBSs), có nhiều ý dành riêng cho nghiên cứu cộng đồng Nói chung, tình trạng deadlock kết Nhóm thực : Nhóm -2- Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm cạnh tranh nguồn tài nguyên, chẳng hạn nhiều độc quyền yêu cầu sở liệu giao dịch truy cập vào liệu ghi Các vấn đề deadlock có nhiều yếu tố thú vị Trong số có deadlock phòng, chống, tránh deadlock, kết hợp với phát deadlock-lựa chọn nên gọi nạn nhân có phục hồi dừng hủy bỏ deadlock, cuối cùng, deadlock giải Trang có liên quan với khía cạnh phát deadlock Gần phát triển lĩnh vực phát deadlock phân tán thuật toán khảo sát, với nhấn mạnh đặc biệt vào việc chúng liên quan đến DBSs phân tán Bài báo giới thiệu khung mô hình cho thảo luận thuật toán Sự trừu tượng đạt cách cho phép nói chuyện thuật toán điều kiện khái niệm lý thuyết, thay đưa tượng luận mô tả hoạt động thuật toán (cf Elmagarmid [1986]) Bài báo tổ chức sau Phần tập trung vào mối quan hệ vấn đề deadlock DBSs Đối với lợi ích độc giả không quen thuộc với thuật ngữ sở liệu cần thiết, phác thảo khái niệm xác đáng có liên quan đưa Để có chi tiết điều trị tài liệu này, người đọc tham khảo văn gần điều khiển tranh chấp, ví dụ, Bernstein et al [1987] Papadimitriou [1987] Tiếp theo, mô hình sở liệu trình bày, đặc điểm kỹ thuật vấn đề phát deadlock giới hạn mô hình phát triển Phần đưa phân loại hệ thống mô hình deadlock chúng xuất sở liệu ứng dụng Một trật tự mô hình mang lại cách phân loại hầu hết phương pháp phát deadlock phân tán tìm thấy tài liệu giới thiệu Một phân loại khác, tập trung vào lý thuyết nguyên lý tầng công việc đồ thị phát deadlock phân tán, đưa phần Một khảo sát số thuật toán tìm thấy Phần 4, với ví dụ từ loại giới thiệu hai phần trước Trong phần cuối chất lượng tương đối thuật toán trình bày thảo luận Các tài liệu tham khảo bao gồm danh sách đầy đủ công việc thực lĩnh vực phát deadlock phân tán sau năm 1980 Những giấy tờ trước bao gồm "Các viết cổ điển " liên quan đến đối tượng Nhóm thực : Nhóm -3- Deadlock Detection in Distributed Databases Nhóm thực : Nhóm B/m Công Nghệ Phần Mềm -4- Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm Các vấn đề Deadlock 1.1 Giới thiệu tóm tắt điều khiển tranh chấp Các vấn đề deadlock DBSs phần khu vực điều khiển tranh chấp Điều khiển tranh chấp nói vấn đề hoạt động phối hợp xử lý phép toán song song, chia sẻ quyền truy nhập liệu, có khả gây nhiễu với Các đối tượng nghiên cứu rút (mô hình) nhiều loại hình hệ thống thông tin khác biệt Thành phần mô hình giao dịch Thông thường, giao dịch cài đặt chương trình mà truy nhập sở liệu chia sẻ Trong mô hình giao dịch đặc trưng chuỗi ký tự phép toán, ví dụ, R (x) kí hiệu phép toán đọc vài phần tử liệu x từ sở liệu W (x) chấp nhận cho phép toán gán giá trị vào mục liệu x sở liệu Khi hai nhiều giao dịch thực tranh chấp, phép toán thực sở liệu chúng fashion bị xếp chồng Tức là, phép toán từ giao dịch thực hai phép toán giao dịch khác Kỹ thuật đan xen nguyên nhân giao dịch xử lý sai gây nhiễu, dẫn đến trạng thái không quán sở liệu Thành phần DBS điều khiển cấp lệnh tương đối phép toán sở liệu truy vấn thực giao dịch gọi trình lập dịch Kỹ thuật đan xen xác định trình lập dịch phép toán sở liệu mà phù hợp với sở liệu bảo toàn Nói cách khác kỹ thuật đan xen phép toán sở liệu gọi lập trình Một ví dụ, xem trình lập dịch đưa gồm hai giao dịch t t2 hai đại lượng x y (những thích nhỏ theo Bernstein et al [1987] Papadimitriou [1987] ): t1: R (x) t2 : W (y) R (y) W (x) Những hình thức hóa trình lập dịch theo dãy phép toán sở liệu : giao dịch đầu t đọc sở liệu mục x, sau t đọc y, theo sau t1 viết y, cuối t2 viết x Nhóm thực : Nhóm -5- Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm 1.2 Deadlock hệ tập trung Có nhiều chiến lược khác biết đến cho trình lập dịch cho việc giải vấn đề tranh chấp truy nhập mà không cần thỏa hiệp sở liệu quán Một thảo luận chi tiết chiến lược vượt phạm vi nghiên cứu Các độc giả quan tâm tham khảo tới Bernstein et al [1987] Papadimitriou [1987] Bản phổ biến chiến lược gọi khóa Khóa chiến lược dành riêng quyền truy cập (ổ khóa) mà ngăn chặn giao dịch khác nhận từ số (xung đột) ổ khóa biết Ví dụ, xem xét giao thức gọi chung hai giai đoạn khóa (2PL), mà sử dụng rộng rãi hệ thống thương mại Trong giao thức giao dịch giải phóng khóa sau không đạt nhiều ổ khóa Nếu chiến lược áp dụng vào lập trình cho ví dụ trên, diễn tiến sau giới hạn phải xảy ra: t1 khóa x, t2 khóa y, t1 đợi t2 để giải phóng khóa y, t2 đợi t1 để giải phóng khóa x Do hai giao dịch bị nghẽn, đợi cho khác: tình deadlock Thông thường deadlock DBS định nghĩa "một tình mà giao dịch tập hợp giao dịch bị chặn chờ giao dịch khác tập hợp, trở nên không nghẽn trừ có can thiệp từ bên ngoài" (cf Bernstein et al [1987]) Mặc dù số giao thức điều khiển tranh chấp chứng tỏ deadlock miễn phí (e.g., bảo toàn 2PL, khóa), hầu hết giao thức biết dễ bị tổn thương đến deadlock Chúng xem xét tiếp số cách khác mà deadlock phát sinh DBS Hãy xem xét trường hợp đa phiên trình lập dịch, nơi mà phép toán viết số mục liệu sản xuất phiên mục liệu này, phép toán đọc mục liệu Nhóm thực : Nhóm -6- Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm ánh xạ tới số phiên mục liệu mà viết trước Trong giao thức cho đa phiên – khung nhìn - serializability (MV-VSR) trình lập dịch, bước cuối giao dịch điều trị theo cách đặc biệt để bảo đảm nhiều phiên không ràng buộc hành cho mục liệu sở liệu Nếu trình lập dịch đưa lập trình cho ví dụ trước, theo xảy ra: t1 đọc x, t2 đọc y, t1 đợi cho t2 để hoàn thành (cam kết), t2 đợi cho t1 để hoàn thành (cam kết), và, lần nữa, kết deadlock Khóa chuyển đổi kỹ thuật điều khiển tranh chấp cho phép nâng cấp khóa thành loại khóa mạnh hơn, chẳng hạn chuyển đổi khóa đọc liệu vào khóa ghi liệu Trình lập dịch cho phép cho khóa chuyển đổi dễ bị hỏng đến tình deadlock cho lý nêu Để xem điều này, xem xét ví dụ sau: t1: R (x) W (x) t2 : R (x) W (x) Sau đọc hai thực hiện, với t t2 tổ chức đọc khóa x, giao dịch chuyển đổi đọc khóa vào khóa viết, chúng bị khóa vĩnh viễn Khóa đa chi tiết phương thức nơi mà giao dịch khóa chi tiết khác mục liệu, ghi, trang đĩa, toàn tập tin Trong giao thức khóa đa chi tiết, deadlock xảy cho nhiều lý Trước tiên, có vấn đề nói đến quy tắc hai giai đoạn khóa chuyển đổi, đặc biệt phép toán AND với leo thang khóa, kỹ thuật mà giao dịch nhận nhiều khóa ghi liệu chi tiết nhỏ tăng chi tiết theo khóa yêu cầu Khác vấn đề phát sinh có hạt cấu trúc trật tự gốc đồ thị không tuần hoàn có hướng Trong trường hợp này, giao thức khóa yêu cầu giao dịch mà muốn khóa số hạt tới phần lớn khóa cha mẹ hạt Nếu hai giao dịch xảy để thử khóa hạt, chúng hưởng điểm mà chúng giữ hai khóa xác nửa Nhóm thực : Nhóm -7- Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm cha mẹ thiết lập chúng thành công Nếu có nhiều hai giao dịch cạnh tranh cho hạt giao nhau, sau deadlock dẫn tới kết Chú ý có khác biệt deadlocks đa số khóa chương trình khác đề cập Các cuộn cảm giới hạn giao tiếp deadlock, từ nghiên cứu hệ thống trình giao tiếp, nơi có quy trình đợi để giao tiếp với từ tập hợp hàng xóm Cùng nguyên tắc làm sở đa số khóa, giao dịch mà bị khóa tiến hành sau số giao dịch khác giải phóng khóa phụ huynh hạt câu hỏi Những ví dụ khác chứng minh gọi nguồn deadlock, mà giả định trình trở thành hết khóa sau nhận tất nguồn mà phải chờ Trong trường hợp mô hình sở liệu mà giao dịch hoạt động chờ xác nguồn, phân biệt nguồn lực giao tiếp deadlock không liên quan chúng giảm cho khái niệm Vì thấy Phần 2, có trật tự toàn mô hình deadlock mà bao hàm - số thứ khác – nguồn truyền thống mô hình giao tiếp 1.3 Deadlock Cơ sở liệu phân tán Nói chung, DBS phân tán bao gồm số lượng khu vực, khu vực cấu tạo nên hệ thống tập trung Do tất vấn đề phần trước cộng thêm vấn đề phân tán tự nhiên sở liệu (e.g., chép liệu, giao dịch đơn thực song song khu vực khác nhau) trình bày Ngoài ra, phân tán deadlock khó để phát hiện, từ khu vực có vùng xem toàn hệ thống, hợp tác khu vực đòi hỏi để phát deadlocks liên quan đến nhiều khu vực Cả hai nguồn lực giao tiếp deadlocks phân tán Trong DBSs phân tán, giao dịch mà truy cập không định khu liệu di chuyển đến khu vực khác yêu cầu giao dịch phụ mà chạy tranh chấp với Vì vậy, nguồn gốc giao dịch bị chặn tất giao dịch phụ kết thúc, dấu hiệu mô hình nguồn Giao tiếp deadlock xảy sở liệu chép giao dịch yêu cầu giá trị số mục liệu không định khu bị chặn khu vực mà giữ mục liệu trả lời Hơn nữa, tái sinh giao dịch phụ chạy song song Nhóm thực : Nhóm -8- Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm sở liệu chép, kết tình nguồn mô hình giao tiếp kết hợp Như ví dụ tác động qua lại hai mô hình, ý đến DBS phân tán với liệu chép Gifford [1979] để trì tính phi mâu thuẫn sở liệu, giao dịch mà muốn đọc (viết) mục liệu chép, phải đọc (viết) r (w) n mục liệu r + w > n 2w > n Điều để bảo đảm nhiều người viết có quyền truy nhập vào mục liệu chép thời điểm Để đọc viết số mục liệu, giao dịch phải yêu cầu nhận ổ khóa Do đó, đọc viết mục liệu phát sinh gọi ( r n) (w n) nguồn truy vấn, tương ứng với Những yêu cầu đòi hỏi kết hợp nguồn lực mô hình giao tiếp Một mô hình thống DBS tầng phân tán hầu hết thuật toán tìm thấy tài liệu thực xác phần sau 1.4 Các mô hình sở liệu Chúng giới thiệu mô hình Menasce Muntz [1979] nghiên cứu thuật toán phát deadlọck cho DBSs phân tán Một DBS phân tán bao gồm tập hợp N khu vực, S 1, S2, , SN, kết nối mạng giao tiếp Mạng giả định đáng tin cậy kết nối đầy đủ Mỗi khu vực sở liệu tập trung vài phần nhớ sở liệu Có M giao dịch, T 1, T2, , TM chạy sở liệu phân tán Một giao dịch trình bày truy vấn nguồn đến giao dịch quản lý (TM), gọi điều khiển Có điều khiển C i theo khu vực Si Một truy vấn nguồn yêu cầu khóa số mục liệu có đoạn tóm tắt ý nghĩa Một giao dịch bị chặn từ thời gian trình bày yêu cầu cho TM TM chấp thuận yêu cầu giao dịch trở nên hoạt động Một truy vấn nguồn nội vùng tham khảo tới nguồn khu vực khác, có trường hợp giao dịch phân tán Một giao dịch phân tán T i thực thi chi nhánh giao dịch tij, mà chi nhánh địa phương cho giao dịch T i khu vực Sj Trong trường hợp chi nhánh giao dịch tij truy vấn nguồn không định xứ mà quản lý số điều khiển C m , điều khiển Cj truyền yêu cầu tới chi nhánh t im, thông qua điều khiển Cm Khi tim có nguồn truy vấn từ Cm gửi thông điệp đến tij (thông qua Cm Cj) nguồn có Do số khu vực truy vấn luôn hai chi nhánh giao dịch Nhóm thực : Nhóm -9- Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm Khi chi nhánh giao dịch Ti không cần dài nguồn quản lý điều khiển Cm, chúng liên lạc với chi nhánh tim, nơi mà có trách nhiệm cho nguồn thoát tới C m Chúng giả thiết thông điệp gửi điều khiển C i tới Cj nhận theo thời gian xác định Chúng giả thiết xa giao dịch đơn chạy DBS phân tán, kết thúc thời gian xác định tất nguồn thoát Khi hai nhiều giao dịch chạy song song, deadlock phát sinh Một chi nhánh giao dịch gọi nhàn rỗi chờ để thu nguồn; gọi chạy nhàn rỗi Vì vậy, chi nhánh nguồn truy vấn, vĩnh viễn nhàn rỗi Đối với hệ thống ký hiệu đơn giản, gán giá trị nhận dạng số đơn (chứ số đôi) đến chi nhánh Vì ti ký hiệu cho chi nhánh thứ i Trong phần thường xuyên tham khảo tới trình thay chi nhánh giao dịch Các quy trình mạnh chi nhánh giao dịch Chúng giả thiết để biết nhận dạng tất quy trình mà chúng đợi, ví dụ, cách truy cập vào bảng điều khiển chúng Bên cạnh gửi truy vấn phát thông điệp chi nhánh giao dịch, chúng trao đổi thông điệp khác Điều có nghĩa là, với tôn trọng tính toán deadlock, giao dịch đối tượng bị động, quy trình hoạt động tham gia phát deadlock Trong mô hình sở liệu chúng tôi, quy trình xem thuộc phần điều khiển phần để giao dịch Mặc dù có nhiều chi nhánh giao dịch trạm đó, hạn chế quy trình Đối với điều khiển, thông điệp chuyển quy trình giả định vào trước, trước Ở thời điểm quy trình hai trạng thái: bị chặn thực Một trình bị cấm từ thời gian vấn đề truy vấn nguồn nhận thông điệp chấp nhận cho nguồn truy vấn Nếu trình không nhận thông điệp chấp nhận mà chờ đợi, vĩnh viễn bị cấm Trong trình bị chặn không gửi yêu cầu cho phép thông điệp Tuy nhiên, có thể, gửi nhận thông điệp khác thực công việc khác (ví dụ như, có liên quan đến phát deadlock) Các ví dụ trạng thái đưa phần sau Do từ trước tham khảo chi nhánh giao dịch quy trình, tùy thuộc vào biến thể mô hình thích hợp cho thảo luận Nhóm thực : Nhóm - 10 - Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm Tại Obermarck, cố gắng thực để chứng minh tính đắn thuật toán Rằng thuật toán chứng không xác (trong phán đoán sai Deadlock phát hiện) dễ dàng nhận thấy từ quan sát [Elmagarmid 19861]: Các phần WFG vận chuyển vòng quanh không đại diện lần quan sát WFG toàn cục, kể từ site tạo đồng Càng xa khả thực thuật toán yếu, Obermarcks rằng, site liên quan đến thông qua Deadlock, phần lớn s(s – 1)/2 tin gửi, tin có độ dài O(s) Với yếu tố nhỏ, giả thuyết đúng, trường hợp xử lý hiển thị dạng đồ thị đường s Để biết thêm chi tiết, bạn đọc tham khảo Obermarck [1982] Tuy nhiên, theo quan điểm chúng tôi, thuật toán lỗi thời so với vài phát triển gần 4.2 Thuật toán Mitchell Merritt dành cho mẫu nguồn liệu đơn Thuật toán Mitchell Merritt diễn tả phần đơn giản kiểu Deadlock định nghĩa Đó thuật toán cắt cạnh mà thăm dò gủi trực tiếp tới cạnh WFG Trong trường hợp đơn giản hạt thăm dò chứa số nguyên đơn nút WFG Khi hạt thăm dò quay trở lại khởi tạo, khởi tạo khai báo Deadlock Thuật toán bắt đầu phần tiến trình thực Nó có số đặc trưng riêng (1) Điều đơn giản, làm cho tài liệu chứng minh rõ ràng, vui nhộn để đọc (viết) vấn đề thời gian việc thực thi (hàng giờ) (2) Nói cách xác tiến trình chu trình nhận Deadlock, việc làm giảm mật độ Deadlock từ tiến trình dễ dàng bỏ qua Bằng việc kết hợp quyền ưu tiên vào thuật toán, tiến trình có độ ưu tiên thấp chu trình bỏ qua Deadlock (3) Việc tự động bỏ qua cho phép, chí theo giả thuyết phantom Deadlock bị loại trừ Nó hiển thị, nhiên có Deadlock phát mà bỏ qua tự động Trong lẩn thảo luận này, ta xem xét phiên thuật toán (không có quyền ưu tiên) Sự mở rộng xét đến mức ưu tiên tìm thấy Mitchell Merritt [1984] Nhóm thực : Nhóm - 25 - Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm Mỗi nút WFG ảo có giá trị cục gọi nhãn: nhãn riêng mà tới nút (không phải hằng) ; nhãn chung đọc tiến trình mà không cần tính Một tiến trình hiển thị u mà u & v public private nhãn Lúc đầu, nhãn riêng v nhãn chung chia cho tiến trình Tình trạng hệ thống WFG toàn cục WFG trì giao dịch (hình 3), z = inc(u,v), inc(u,v) mang lại nhãn lớn u & v Những nhãn mà không đề cập đến không bị thay đổi Khối chặn tạo thành cạnh WFG, tin cần thiết, nguồn yêu cầu tin quay trở lại tiến trình chặn để truyền liệu nhãn chung tiến trình đợi Kích hoạt có nghĩa tiến trình thu thập nguồn tin từ tiến trình mà đợi Truyền,phát thường lớn nhãn hướng cạnh đối diện việc gửi tin thăm dò Một tiến trình mà nhận tin thăm dò có số mà nhỏ nhãn chung bỏ qua dò xét Phát nghĩa hạt thăm dò với nhãn riêng tiến trình thực toàn vòng chu trình, Deadlock Lưu ý rằng, yêu cầu tính không nhãn chung không gây lỗi toàn khối chặn (block) thuật toán Giả sử định tên cho tiến trình, nhãn thể cặp số tăng liên tiếp tên tiến trình < xếp theo thứ tự từ điển Sau đó, để chặn, so sánh số tăng liên tiếp; để truyền tải toàn cặp gửi Bằng chứng tính đắn thuật toán đơn giản Mitchell Merritt Deadlock phát Kể từ họ không ngăn việc bỏ qua tự động, họ lo lắng Deadlock phantom Dưới đây, chứng minh với vắng mặt việc bỏ qua tự động Deadlock hiệu phát Giờ giả sử bỏ qua tự động Điều sau ko thay đổi: Cho toàn tiến trình :u≤v Chứng minh lúc đầu u = v với tiến trình Chỉ có giao dịch mà đổi u v là: (1) Chặn: u v gán u = v (2) Truyền: tăng u Với giá trị không thay đổi bổ đề sau Bổ đề 4.1 Nhóm thực : Nhóm - 26 - Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm Với tiến trình , u > v, u gán bước truyền Chúng ta chứng minh định lý sau : Định lý 4.1 Nếu Deadlock phát hiện, tồn vòng nút chặn Chứng minh Deadlock phát cạnh p->p’ tồn tại: Chúng ta làm sáng tỏ thắc mắc sau: (1) U truyền từ p tới p’ qua chuỗi lan truyền (2) P tiếp tục bị chặn từ truyền tải u (ví dụ: tham gia vào lan truyền với vài tiến trình q, q->p) (3) Đối với toàn nút trung gian q luồng truyền tải (1), bao gồm p’, q tiếp tục bị chặn từ truyền tải u Kết sau - Bằng giá trị thay đổi không nhãn riêng, gán nhãn riêng v p’ : v < u Theo bổ đề 4.1, u gán lần truyền Theo ý nghĩa việc truyền tải, có vài p’’ với nhãn riêng u, nhãn chung w Nếu w = u, ta suy p’’ = p, đpcm Nếu w[...]... toán khuếch tán được Deadlock khi nó khởi tạo tính toán, nó sẽ không biểu thị bản thân Deadlock Định lý 4.3 Nếu khởi tạo của một tính toán Deadlock biểu thị bản thân Deadlock, thì nó thuộc về tập hợp Deadlock Nhóm thực hiện : Nhóm 1 - 31 - Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm Định lý 4.4 Tối thiểu một tiến trình trong một tập hợp Deadlock sẽ báo cáo Deadlock nếu mọi tiến... nói như thế, nếu một tác nhân ti đã bị Deadlock, thuật toán sẽ phát hiện ra nó bị Deadlock Thực tế nếu ti bị Deadlock nhưng kô phải một phần của chu trình của tác nhân gây Deadlock, ti có thể kô bao giờ được khai báo là đã bị Deadlock Ví dụ, xét tác nhân giao dịch t53 trong hình 1, nó đã bị Deadlock mặc dù kô phải là một phần của chu trình gây Deadlock Tương tự, Deadlock trong mô hình một tài nguyên... 11 - Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm còn tồn tại Lưu ý, biểu diễn của chu kỳ là:t11 → t31 → t33 → t43 → t41 → t11 trong WFG Chu kỳ này có thể hoặc không biểu hiện cho một Deadlock, phụ thuộc vào loại Deadlock mà chúng ta chọn Mối quan hệ giữa Deadlock và những WFG sẽ được nhắc đến chính xác hơn trong Section 2, khi chúng ta nói về những đặc điểm của các loại Deadlock. .. tiến trình có thể bị Deadlock mà kô phải là một knot Đúng hơn, một tiêu chuẩn cần và đủ để một tiến trình p nào đó bị Deadlock là: một tiến trình bị khóa p bị Deadlock nếu p là một knot hoặc là p chỉ có thể với tới các tiến trình bị Deadlock Thuật toán cho mô hình OR chúng ta thảo luận trong phần 5.4 phát hiện Deadlock cho mọi tiến trình thuộc về một tập bị Deadlock nào đó Phát hiện Deadlock trong mô... trình Deadlock rất ngắn làm cho Phát hiện Deadlock tập trung kém hấp dẫn hơn Với một thuật toán toàn cục có thể có Nhóm thực hiện : Nhóm 1 - 12 - Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm một thời điểm quan trọng và thông điệp trên tất cả các WFG cục bộ trong bộ dò tìm toàn cục Như vật một Deadlock phân tán có thể kô bị phát hiện trong một khoảng thời gian Từ khi hầu hết những Deadlock. .. hoặc kô có Deadlock xuất hiện Đặc điểm chính của hệ thống này là gửi tới xung quanh những con đường của WFG, do đó nó có tên là Path-pushing algorithms Nhóm thực hiện : Nhóm 1 - 18 - Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm Một điểm đáng chú ý của Path-pushing algorithms là rất nhiều lần chúng bị thấy là kô đúng, hoặc là phát hiện sai Deadlock bằng cách tìm ra Deadlock chết... một quản lý giao dịch bị nghi Nhóm thực hiện : Nhóm 1 - 19 - Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm là Deadlock Những tính toán này được đặt lên trên những tính toán CSDL cơ bản Nếu phép tính toán này hoàn thành, người tạo lập sẽ khai báo có Deadlock Đặc điểm của tính toán chồng trong trường hợp này của Phát hiện Deadlock phân tán là WFG toàn cục là phản xạ hoàn toàn trong... (DBS) là tự do của việc bỏ qua tự động 1.6 Centralized versus Distributed Deadlock Detection (Tập trung chống lại Phát hiện Deadlock phân tán) Có một số lý do tại sao Phát hiện Deadlock phân tán có vẻ hấp dẫn hơn là một hệ thống tập trung, đó là một trong những tác nhân chịu trách nhiệm cho phát hiện Deadlock Đầu tiên, một thuật toán phát hiện Deadlock tập trung có thể bị tấn công làm cho trung tâm phát... kiểm tra cho Deadlock Mỗi lần một khởi tạo được tạo ra và tên của khởi tạo là duy nhất tính ưu việt của thuật toán được thể hiện ở những đòi hỏi sau : 1 Tính an toàn Nếu một khởi tạo I phát hiện Deadlock ở một số tiến trình p thì p là một Deadlock thực sự 2 Sự tiến bộ nếu một tiến trình p là bị Deadlock khi một tính toán Deadlock được khởi tạo bởi một số khởi tạo I , thì I sẽ phát hiện Deadlock cho... phát triển bởi Hemann và Chandy năm 1983, sẽ được nêu trong mục 5.5 Phần này cũng bao gồm một hình thức của Deadlock trong mô hình Nhóm thực hiện : Nhóm 1 - 16 - Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm AND – OR Từ định nghĩa này kô nắm được đặc điểm của định nghĩa của Deadlock, nó bị bỏ qua từ những cuộc thảo luận chung ở đây 2.5 (kn) Model (Mô hình (kn)) Mô hình (kn) cho phép ... vấn đề deadlock có nhiều yếu tố thú vị Trong số có deadlock phòng, chống, tránh deadlock, kết hợp với phát deadlock- lựa chọn nên gọi nạn nhân có phục hồi dừng hủy bỏ deadlock, cuối cùng, deadlock. .. khuếch tán Deadlock khởi tạo tính toán, không biểu thị thân Deadlock Định lý 4.3 Nếu khởi tạo tính toán Deadlock biểu thị thân Deadlock, thuộc tập hợp Deadlock Nhóm thực : Nhóm - 31 - Deadlock. .. - Deadlock Detection in Distributed Databases B/m Công Nghệ Phần Mềm tồn Lưu ý, biểu diễn chu kỳ là:t11 → t31 → t33 → t43 → t41 → t11 WFG Chu kỳ không biểu cho Deadlock, phụ thuộc vào loại Deadlock