Vấn đề đồng thuận của hệ thống phân tán

Tôi mới bắt đầu đọc về các hệ thống phân tán lần đầu tiên. Có một bằng chứng khá lắt léo về sự không thể đồng thuận trong một mô hình không đồng bộ bằng cách sử dụng một số cấu trúc liên kết. Mặt khác, có nhiều giao thức đồng thuận được sử dụng trong các hệ thống thực tế để đồng bộ hóa các máy trạng thái phân tán như Paxos và Raft. Có vẻ như chìa khóa cho mâu thuẫn nhận thức này là cái được gọi là phát hiện thất bại.

Câu hỏi của tôi là như sau: Các giao thức như Paxos và Raft bỏ cuộc, nghĩa là làm thế nào để chúng không mâu thuẫn với định lý? Làm thế nào để phát hiện thất bại phù hợp ở đây?

Có bài báo nào thảo luận về những mối quan hệ này đáng để xem xét không?

Định lý FLP [1] nói rằng

Không thể có một bộ các bộ xử lý trong một hệ thống phân tán không đồng bộ đồng ý về giá trị nhị phân, ngay cả khi chỉ một bộ xử lý duy nhất có thể gặp sự cố không báo trước .

Có một số cách để phá vỡ kết quả bất khả thi này , theo Jennifer Welch; Tôi đề nghị bạn đọc trang web được liên kết

1. thay đổi các giả định hệ thống

   • Giả sử một hệ thống đồng bộ, chẳng hạn như trong bài toán "Byzantine Generals" [2]
   • Giả sử một hệ thống đồng bộ một phần trong đó các bộ phát hiện lỗi [3] được sử dụng

2. hoặc thay đổi báo cáo vấn đề

   • Không đảm bảo cho việc chấm dứt (tiến độ) như Paxos [4]
   • Giao thức ngẫu nhiên [5]
   • Không cần phải đồng ý về một giá trị như trong $k$vấn đề thỏa thuận
   • Không cần phải đồng ý về các giá trị chính xác trong thỏa thuận gần đúng

[1] Không thể đồng thuận phân tán với quy trình một lỗi ) JACM, 1985.

[2] Đạt được thỏa thuận trong sự hiện diện của lỗi JACM, 1980.

[3] 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 JACM, 1996.

[4] Paxos Thực hiện TR đơn giản . Bằng cách nhập cảng

[5] Một lợi thế khác của sự lựa chọn miễn phí (Tóm tắt mở rộng): Các giao thức thỏa thuận không đồng bộ hoàn toàn PODC, 1983. Nó vừa nhận được giải thưởng Edsger W. Dijkstra 2015 .