Giấy tờ về xử lý lỗi trong hệ thống phân tán

Những giấy tờ về xử lý lỗi trong các hệ thống phân tán mà bạn đề nghị?

Bạn có thể muốn xem qua các tác phẩm đã giành được Tushar D. Chandra, Vassos Hadzilacos và Sam Toueg the Edsger W. Dijkstra Prize năm 2010 :

• Tushar D. Chandra và Sam Toueg. Máy phát hiện lỗi không đáng tin cậy cho các hệ thống phân tán đáng tin cậy , Tạp chí ACM, 43 (2): 225-267, 1996
• Tushar D. Chandra, Vassos Hadzilacos và Sam Toueg. Máy phát hiện lỗi yếu nhất để giải quyết sự đồng thuận , Tạp chí ACM, 43 (4): 685-722, 1996.

Các bài viết này đưa ra khái niệm về các máy phát hiện lỗi trong một hệ thống phân tán trong một khung chung và chính xác. Theo trực giác, họ đã cố gắng nghiên cứu lượng thông tin thất bại tối thiểu cần thiết để giải quyết sự đồng thuận. Hóa ra bạn không cần một máy dò thất bại hoàn hảo để giải quyết sự đồng thuận. Ngay cả các máy dò lỗi không đáng tin cậy đáp ứng các điều kiện tối thiểu nhất định sẽ đủ cho nhiệm vụ. Những bài báo này rất có ảnh hưởng đến cách xử lý các lỗi trong hệ thống phân tán.

Bạn đang tìm kiếm giải pháp nào để xử lý lỗi Byzantine hay chỉ là mô hình fail-stop cổ điển? Các giải pháp với sự hiện diện của các nút Byzantine trong một hệ thống phân tán là vấn đề hấp dẫn hơn. Vấn đề đã được Leslie Lamport chính thức hóa (vấn đề của Byzantine Generals 'và bài báo năm 1999 của Barbara Liskov và Miguel Castro trình bày giải pháp thực tế hoạt động gần nhất' Khả năng chịu lỗi Byzantine '. Các mô hình chính thức ban đầu để đối phó với khả năng chịu lỗi bao gồm cả nhà nước- Cách tiếp cận máy của Fred Schneider và sao chép đóng dấu Tôi đồng ý câu hỏi rất chung chung, lĩnh vực này rất lớn và lý thuyết là nền tảng của hầu hết các hệ thống chạy trực tuyến ngày nay. Có thể mô hình lỗi cụ thể hơn và miền vấn đề sẽ giúp có được câu trả lời tốt hơn

Dưới đây là tập hợp các mẫu để xử lý lỗi xử lý trong các hệ thống phân tán:

• Các mô hình tạo, xử lý và quản lý lỗi của Andy Longshaw và Eoin Woods, EuroPlop 2004.

Ngoài ra, đối với công việc chung chung hơn, có cuốn sách Giới thiệu về lập trình phân tán đáng tin cậy của Rachid Guerraoui và Luis Coleues, có một loạt các thuật toán thực tế bao gồm nhiều biến thể phục hồi thất bại của nhiều người. Văn bản cổ điển hơn Thuật toán phân tán của Nancy Lynch bao gồm nền tảng tương tự từ góc độ lý thuyết hơn.