To reach consensus, each correct pr

To reach consensus, each correct process collects proposed values from the other processes. The algorithm proceeds in f +1 rounds, in each of which the correct processesB-multicast the values between themselves. At most f processes may crash, by assumption. At worst, all f crashes will occur during the rounds, but the algorithm guarantees that at the end of the rounds all the correct processes that have survived will be in a position to agree. The algorithm, shown in Figure 15.17
Figure 15.17 Consensus in a synchronous system
Algorithm for process ; algorithm proceeds in rounds On initialization := ; = {}; In round r () B-multicast(g, ); // Send only values that have not been sent := ; while (in round r) { On B-deliver( ) from some := ; } After rounds Assign; pi g  f +1 Valuesi 1 vi^`Valuesi 0 1 rf +1dd Valuesi r Valuesi r –1– Valuesi r +1 Valuesi r Vj pj Valuesi r +1 Valuesi r +1 Vj ‰ f +1  di minimum Valuesi f +1 =
, is based on that by Dolev and Strong [1983] and its presentation by Attiya and Welch [1998]. Their modified form of the integrity requirement applies to the proposed values of all processes, not just the correct ones: if all processes, whether correct or not, proposed the same value, then any correct process in the decided state would chose that value. Given that the algorithm assumes crash failures at worst, the proposed values of correct and non-correct processes would not be expected to differ, at least not on the basis of failures. The revised form of integrity enables the convenient use of the minimum function to choose a decision value from those proposed. The variable Valuesi r holds the set of proposed values known to process pi at the beginning of round r. Each process multicasts the set of values that it has not sent in previous rounds. It then takes delivery of similar multicast messages from other processes and records any new values. Although this is not shown in Figure 15.17, the duration of a round is limited by setting a timeout based on the maximum time for a correct process to multicast a message. After f +1 rounds, each process chooses the minimum value it has received as its decision value. Termination is obvious from the fact that the system is synchronous. To check the correctness of the algorithm, we must show that each process arrives at the same set of values at the end of the final round. Agreement and integrity (in its modified form) will then follow, because the processes apply the minimum function to this set.

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

Để đạt được sự đồng thuận, mỗi quá trình chính xác thu thập được đề xuất giá trị từ các quá trình khác. Các thuật toán tiền trong vòng f + 1, trong mỗi trong số đó processesB-multicast đúng giá trị giữa mình. Tối đa quá trình f có thể sụp đổ, bởi giả định. Lúc tồi tệ nhất, tất cả f tai nạn sẽ xảy ra trong các viên đạn, nhưng các thuật toán đảm bảo rằng vào giữa các viên đạn tất cả các quy trình chính xác đã sống sót sẽ ở một vị trí để đồng ý. Các thuật toán, Hiển thị trong hình 15.1715.17 hình sự đồng thuận trong một hệ thống đồng bộCác thuật toán cho quá trình; thuật toán tiền trong vòng trên khởi tạo: =; = {}; Trong vòng r () B-multicast(g,); Gửi chỉ có giá trị mà chưa được gửi: =; trong khi (ở vòng r) {ngày B-cung cấp () từ một số: =;} Sau vòng Ấn định; Pi g f + 1 Valuesi 1 vi ^'Valuesi 0 1 rf + 1dd Valuesi r Valuesi r –1-Valuesi r + 1 Valuesi r Vj pj Valuesi r + 1 Valuesi r + 1 Vj f + 1 di tối thiểu Valuesi f + 1 =, dựa trên đó của Dolev và mạnh [1983] và thuyết trình của mình bởi Attiya và Welch [1998]. Của hình thức sửa đổi tính toàn vẹn yêu cầu áp dụng cho các giá trị được đề xuất của tất cả quá trình, không chỉ là những chính xác: nếu tất cả quá trình, cho dù đúng hay không, đề nghị cùng một giá trị, sau đó bất kỳ quá trình chính xác trong bang quyết định nào đã chọn giá trị đó. Cho rằng các thuật toán thừa nhận thất bại tai nạn lúc tồi tệ nhất, các giá trị được đề xuất của chính xác và không đúng quy trình sẽ không được mong đợi khác nhau, ít nhất không phải trên cơ sở thất bại. Các hình thức sửa đổi tính toàn vẹn cho phép việc sử dụng thuận tiện của các chức năng tối thiểu để lựa chọn một giá trị quyết định các đề xuất. R Valuesi biến tổ chức tập hợp các đề xuất giá trị được gọi để xử lý pi đầu tròn r. Mỗi xử lý multicast tập hợp các giá trị mà nó đã không gửi trong vòng trước đó. Nó sau đó takes giao hàng của thư phát đa hướng tương tự từ các quá trình khác và ghi lại bất kỳ giá trị mới. Mặc dù điều này không được hiển thị trong hình 15.17, thời gian của một vòng được giới hạn bằng cách thiết lập một thời gian chờ dựa trên thời gian tối đa cho một quá trình chính xác để phát đa hướng một tin nhắn. Sau khi f + 1 viên đạn, mỗi quá trình lựa chọn giá trị tối thiểu nó đã nhận được như quyết định giá trị của nó. Chấm dứt là rõ ràng từ thực tế là hệ thống đồng bộ. Để kiểm tra tính đúng đắn của các thuật toán, chúng tôi phải cho rằng quá trình mỗi đến cùng một bộ các giá trị ở phần cuối của vòng chung kết. Thỏa thuận và toàn vẹn (ở dạng sửa đổi của nó) sẽ sau đó làm theo, bởi vì các quá trình áp dụng các chức năng tối thiểu để thiết lập này.

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

Để đạt được sự đồng thuận, mỗi quá trình đề xuất thu tiền đúng giá trị từ các quá trình khác. Số tiền thu được thuật toán trong f 1 viên đạn, trong mỗi trong số đó đúng processesB-multicast các giá trị với nhau. Tại hầu hết các quá trình f có thể sụp đổ, bởi giả định. Tại tồi tệ nhất, tất cả các f tai nạn sẽ xảy ra trong vòng, nhưng thuật toán đảm bảo rằng vào cuối vòng tất cả các quá trình chính xác mà đã sống sót sẽ được ở một vị trí để đồng ý. Các thuật toán, thể hiện trong hình 15.17
Hình 15.17 Sự đồng thuận trong một hệ thống đồng bộ
Algorithm cho quá trình; tiền thu được thuật toán trong vòng Ngày khởi tạo: =; = {}; Trong vòng r () B-multicast (g); // Gửi chỉ có giá trị chưa được gửi: =; while (trong vòng r) {Trên B-cung cấp () từ một số: =; } Sau khi vòng Assign; pi g ?? f 1 Valuesi 1 vi ^ `Valuesi 0 1 rf + 1dd Valuesi r Valuesi r -1- Valuesi r 1 Valuesi r Vj pj Valuesi r 1 Valuesi r 1 Vj ?? f 1? di tối thiểu Valuesi f 1? =
, dựa trên rằng bởi Dolev và mạnh mẽ [1983] và trình bày của mình bằng cách Attiya và Welch [1998]. Hình thức sửa đổi của họ về yêu cầu toàn vẹn áp dụng đối với các giá trị được đề xuất của tất cả các quy trình, không chỉ là những người chính xác: nếu tất cả các quá trình, cho dù đúng hay không, đề xuất giá trị như nhau, sau đó bất kỳ quá trình chính xác trong trạng thái đã quyết định sẽ chọn giá trị đó. Cho rằng các thuật toán giả định thất bại vụ tai nạn tồi tệ nhất, các giá trị được đề xuất của các quá trình chính xác và không chính xác sẽ không được dự kiến sẽ khác nhau, ít nhất là trên cơ sở của sự thất bại. Các hình thức sửa đổi của tính toàn vẹn cho phép người sử dụng thuận tiện của các chức năng tối thiểu để chọn một giá trị quyết định từ những đề xuất. Biến Valuesi r giữ các giá trị đề nghị được gọi để xử lý pi vào đầu r tròn. Mỗi quá trình multicast tập các giá trị mà nó đã không được gửi trong vòng trước. Sau đó nó có cung cấp các thông điệp multicast tương tự từ các quá trình khác và ghi lại bất kỳ giá trị mới. Mặc dù điều này không được thể hiện trong hình 15.17, thời gian của một vòng được giới hạn bằng cách thiết lập một thời gian chờ dựa trên thời gian tối đa cho một quá trình chính xác để multicast một tin nhắn. Sau khi f 1 viên đạn, mỗi quá trình chọn giá trị tối thiểu nó đã nhận được giá trị như quyết định của mình. Chấm dứt là rõ ràng từ thực tế là hệ thống đồng bộ. Để kiểm tra tính đúng đắn của thuật toán, chúng ta phải thấy rằng mỗi quá trình đến tại cùng một tập hợp các giá trị ở phần cuối của vòng chung kết. Hiệp định và toàn vẹn (trong hình thức sửa đổi của nó) sau đó sẽ làm theo, bởi vì các quá trình áp dụng các chức năng tối thiểu để thiết lập này.