15.1 Introduction 15.2 Distributed

15.1 Introduction 15.2 Distributed mutual exclusion 15.3 Elections 15.4 Coordination and agreement in group communication 15.5 Consensus and related problems 15.6 Summary
In this chapter, we introduce some topics and algorithms related to the issue of how processes coordinate their actions and agree on shared values in distributed systems, despite failures. The chapter begins with algorithms to achieve mutual exclusion among a collection of processes, so as to coordinate their accesses to shared resources. It goes on to examine how an election can be implemented in a distributed system – that is, how a group of processes can agree on a new coordinator of their activities after the previous coordinator has failed. The second half of the chapter examines the related problems of group communication, consensus, Byzantine agreement and interactive consistency. In the context of group communication, the issue is how to agree on such matters as the order in which messages are to be delivered. Consensus and the other problems generalize from this: how can any collection of processes agree on some value, no matter what the domain of the values in question? We encounter a fundamental result in the theory of distributed systems: that under certain conditions – including surprisingly benign failure conditions – it is impossible to guarantee that processes will reach consensus.

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

15.1 giới thiệu 15.2 phân phối chung loại trừ 15.3 bầu cử 15.4 phối hợp và các thỏa thuận trong nhóm giao tiếp 15.5 sự đồng thuận và vấn đề liên quan 15.6 tóm tắtTrong chương này, chúng tôi giới thiệu một số chủ đề và các thuật toán liên quan đến vấn đề như thế nào quá trình phối hợp hành động của họ và đồng ý về giá trị được chia sẻ trong hệ thống phân phối, mặc dù thất bại. Chương bắt đầu với các thuật toán để đạt được các loại trừ lẫn nhau trong một tập hợp các quy trình, để phối hợp của đường dẫn truy cập đến các tài nguyên được chia sẻ. Nó đi vào để kiểm tra như thế nào một cuộc bầu cử có thể được thực hiện trong một hệ thống phân phối-có nghĩa là, làm thế nào một nhóm các quá trình có thể đồng ý về một điều phối viên mới của hoạt động của họ sau khi điều phối viên trước đã thất bại. Nửa sau của chương kiểm tra các vấn đề liên quan truyền thông nhóm, sự đồng thuận, Byzantine thỏa thuận và tương tác nhất quán. Trong bối cảnh của truyền thông nhóm, vấn đề là làm thế nào để đồng ý về những vấn đề như là thứ tự mà trong đó tin nhắn gửi. Sự đồng thuận và các vấn đề khác tổng quát hóa từ này: làm thế nào có thể bất kỳ bộ sưu tập của các quá trình đồng ý về một số giá trị, không có vấn đề gì là tên miền của các giá trị trong câu hỏi? Chúng tôi gặp phải một kết quả cơ bản trong lý thuyết của hệ thống phân phối: dưới điều kiện nhất định-bao gồm cả điều kiện đáng ngạc nhiên lành tính thất bại-đó là không thể đảm bảo rằng quá trình sẽ đạt được sự đồng thuận.

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

15.1 Giới thiệu 15.2 phân loại trừ lẫn nhau 15,3 bầu cử 15.4 phối hợp và thỏa thuận trong giao tiếp nhóm 15,5 đồng thuận và các vấn đề liên quan 15.6 Tóm tắt
Trong chương này, chúng tôi giới thiệu một số chủ đề và các thuật toán liên quan đến vấn đề làm thế nào quá trình phối hợp hành động của họ và đồng ý trên các giá trị được chia sẻ trong hệ thống phân phối , mặc dù thất bại. Chương này bắt đầu với các thuật toán để đạt được loại trừ lẫn nhau trong một bộ sưu tập các quy trình, để phối hợp truy cập của họ để chia sẻ tài nguyên. Nó đi vào để kiểm tra xem một cuộc bầu cử có thể được thực hiện trong một hệ thống phân phối - đó là, làm thế nào một nhóm các quá trình có thể đồng ý về một điều phối viên mới của hoạt động của mình sau khi điều phối viên trước đó đã thất bại. Phần thứ hai của chương này xem xét các vấn đề liên quan của truyền thông nhóm, sự đồng thuận, thỏa thuận Byzantine và tính thống nhất tương tác. Trong bối cảnh truyền thông nhóm, vấn đề là làm thế nào để đồng ý về các vấn đề như thứ tự các thông điệp sẽ được chuyển giao. Sự đồng thuận và những vấn đề khác khái quát từ này: làm thế nào bất kỳ bộ sưu tập của các quá trình có thể đồng ý về một số giá trị, không có vấn đề gì các miền của các giá trị trong câu hỏi? Chúng tôi gặp phải một kết quả cơ bản trong lý thuyết về hệ thống phân phối: rằng trong điều kiện nhất định - bao gồm cả điều kiện thất bại đáng ngạc nhiên lành tính - đó là không thể đảm bảo rằng quá trình sẽ đạt được sự đồng thuận.