Previous edge-chasing Deadlock Dete

Previous edge-chasing Deadlock Detection
algorithms for Distributed Data Base systems (DDBS)
have the n steps time limitation to detect a deadlock
cycle of size n in the wait-for graph (WFG). This paper
proposes an agent based edge-chasing algorithm to
speed up the detection process. The blocked nodes in
our algorithm know their predecessors and successors
simultaneously, enables they find the cycle of size 2
locally and the cycle of size n in n-2 (n>2) steps. The
detection agents are assigned the originator’s priority
to decrease the detection overhead, and they are
forwarded or discarded momentarily to avoid the false
detection. Our algorithm is built on an AND model, a
retreat-inform scheme is adopted to deal with the cycle
overlap problem. The correctness of the algorithm is
formally proven by the invariant verification technique.

Kết quả (Việt) 1:

Trước đó đuổi theo cạnh bế tắc phát hiệnCác thuật toán cho cơ sở dữ liệu phân phối các hệ thống (DDBS)có giới hạn thời gian n bước để phát hiện một bế tắcchu trình thước n trong chờ đợi-cho đồ thị (WFG). Bài viết nàyđề nghị nhân viên dựa trên cạnh đuổi theo thuật toán đểtăng tốc quá trình phát hiện. Các nút chặn ởthuật toán của chúng tôi biết các người tiền nhiệm và kếđồng thời, cho phép họ tìm thấy các chu kỳ của kích thước 2tại địa phương và chu trình thước n trong n-2 (n > 2) bước. Cácphát hiện đại lý được gán ưu tiên những người khởiđể giảm overhead phát hiện, và họ làchuyển tiếp hoặc bỏ đi trong giây lát để tránh saiphát hiện. Thuật toán của chúng tôi được xây dựng trên một mô hình và, mộtrút lui-thông báo kế hoạch được thông qua để đối phó với chu kỳvấn đề chồng chéo lên nhau. Tính đúng đắn của giải thuật làchính thức được chứng minh bởi các kỹ thuật bất biến xác minh.

Kết quả (Việt) 2:

Cạnh đuổi Bế tắc phát hiện trước
các thuật toán cho các hệ thống cơ sở dữ liệu phân tán (DDBS)
có n bước giới hạn thời gian để phát hiện một bế tắc
chu kỳ kích thước n trong đồ thị chờ đợi cho (WFG). Bài viết này
đề xuất một đại lý dựa trên thuật toán cạnh đuổi theo để
đẩy nhanh quá trình phát hiện. Các nút chặn trong
thuật toán của chúng tôi biết những người tiền nhiệm và người thừa kế của họ
cùng một lúc, cho phép họ tìm thấy những chu kỳ kích thước 2
tại địa phương và các chu kỳ kích thước n trong n-2 (n> 2) bước. Các
đại lý phát hiện được gán ưu tiên của người khởi tạo
để giảm chi phí phát hiện, và chúng được
chuyển tiếp hoặc bỏ đi trong giây lát để tránh những sai
phát hiện. Thuật toán của chúng tôi được xây dựng trên một mô hình AND, một
kế hoạch rút lui-thông được thông qua để đối phó với các chu kỳ
vấn đề chồng chéo lên nhau. Sự đúng đắn của thuật toán được
chính thức đã được chứng minh bởi các kỹ thuật xác minh bất biến.