ICi v1 v2 } vN  j >@SECTION 15

ICi v1 v2 } vN  j >@
SECTION 15.5 CONSENSUS AND RELATED PROBLEMS 663
returns the jth value in the decision vector of pi in a run of the solution to the interactive consistency problem, where v1 v2 } vN  are the values that the processes proposed. The definitions of Ci , BGi and ICi assume that a faulty process proposes a single notional value, even though it may have given different proposed values to each of the other processes. This is only a convenience: the solutions will not rely on any such notional value. It is possible to construct solutions out of the solutions to other problems. We give three examples: IC from BG: We construct a solution to IC from BG by running BG N times, once with each process pi (ij  12} N    = ) acting as the commander: ICi v1 v2 } vN  j >@ BGi jv j  =( ij  12} N    =) C from IC: For the case where a majority of processes are correct, we construct a solution to C from IC by running IC to produce a vector of values at each process, then applying an appropriate function on the vector’s values to derive a single value: Ci v1 } vN  majority ICi v1 } vN 1 >@}ICi v1 } vN N >@ = where i 12}N  = and majority is as defined above. BG from C: We construct a solution to BG from C as follows: • The commander pj sends its proposed value v to itself and each of the remaining processes. • All processes run C with the values v1 v2 } vN  that they receive (pj may be faulty). • They derive BGi jv Ci v1 v2 } vN  = ( i 12} N   = ). The reader should check that the termination, agreement and integrity conditions are preserved in each case. Fischer [1983] relates the three problems in more detail. In systems with crash failures, consensus is equivalent to solving reliable and totally ordered multicast: given a solution to one, we can solve the other. Implementing consensus with a reliable and totally ordered multicast operation RTO-multicast is straightforward. We collect all the processes into a group, g. To achieve consensus, each process pi performs RTO-multicast(g, vi ). Then each process pi chooses di mi=, where mi is the first value that pi RTO-delivers. The termination property follows from the reliability of the multicast. The agreement and integrity properties follow from the reliability and total ordering of multicast delivery. Chandra and Toueg [1996] demonstrate how reliable and totally ordered multicast can be derived from consensus.
15.5.2 Consensus in a synchronous system This section describes an algorithm to solve consensus in a synchronous system, although it is based on a modified form of the integrity requirement. The algorithm uses only a basic multicast protocol. It assumes that up to f of the N processes exhibit crash failures.

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

ICi v1 v2} vN j > @SỰ ĐỒNG THUẬN PHẦN 15.5 VÀ VẤN ĐỀ LIÊN QUAN 663 returns the jth value in the decision vector of pi in a run of the solution to the interactive consistency problem, where v1 v2 } vN  are the values that the processes proposed. The definitions of Ci , BGi and ICi assume that a faulty process proposes a single notional value, even though it may have given different proposed values to each of the other processes. This is only a convenience: the solutions will not rely on any such notional value. It is possible to construct solutions out of the solutions to other problems. We give three examples: IC from BG: We construct a solution to IC from BG by running BG N times, once with each process pi (ij  12} N    = ) acting as the commander: ICi v1 v2 } vN  j >@ BGi jv j  =( ij  12} N    =) C from IC: For the case where a majority of processes are correct, we construct a solution to C from IC by running IC to produce a vector of values at each process, then applying an appropriate function on the vector’s values to derive a single value: Ci v1 } vN  majority ICi v1 } vN  1 >@}ICi v1 } vN  N >@ = where i 12}N  = and majority is as defined above. BG from C: We construct a solution to BG from C as follows: • The commander pj sends its proposed value v to itself and each of the remaining processes. • All processes run C with the values v1 v2 } vN  that they receive (pj may be faulty). • They derive BGi jv  Ci v1 v2 } vN  = ( i 12} N   = ). The reader should check that the termination, agreement and integrity conditions are preserved in each case. Fischer [1983] relates the three problems in more detail. In systems with crash failures, consensus is equivalent to solving reliable and totally ordered multicast: given a solution to one, we can solve the other. Implementing consensus with a reliable and totally ordered multicast operation RTO-multicast is straightforward. We collect all the processes into a group, g. To achieve consensus, each process pi performs RTO-multicast(g, vi ). Then each process pi chooses di mi=, where mi is the first value that pi RTO-delivers. The termination property follows from the reliability of the multicast. The agreement and integrity properties follow from the reliability and total ordering of multicast delivery. Chandra and Toueg [1996] demonstrate how reliable and totally ordered multicast can be derived from consensus.15.5.2 sự đồng thuận trong một hệ thống đồng bộ phần này mô tả một giải thuật để giải quyết sự đồng thuận trong một hệ thống đồng bộ, mặc dù nó dựa trên một hình thức sửa đổi tính toàn vẹn yêu cầu. Các thuật toán sử dụng chỉ là một giao thức phát đa hướng cơ bản. Nó giả định rằng đến f của N quá trình triển lãm tai nạn thất bại.

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

ICI v1 v2} VN ???? j> @
PHẦN 15,5 đồng thuận và VẤN ĐỀ LIÊN QUAN 663
trả về giá trị thứ j trong vector quyết định của pi trong một hoạt động của các giải pháp cho vấn đề thống nhất tương tác, nơi v1 v2} VN ??? là những giá trị mà các quá trình đề xuất. Các định nghĩa của Ci, BGI và ICI giả định rằng một quá trình bị lỗi đề nghị một giá trị danh nghĩa duy nhất, mặc dù nó có thể cho các giá trị khác nhau cho mỗi đề xuất của các quá trình khác. Đây chỉ là một sự thuận tiện: các giải pháp này sẽ không dựa vào bất kỳ giá trị danh nghĩa như vậy. Có thể xây dựng các giải pháp ra những giải pháp cho các vấn đề khác. Chúng tôi đưa ra ba ví dụ: IC từ BG: Chúng tôi xây dựng một giải pháp cho IC từ BG bằng cách chạy BG N lần, một lần với mỗi quá trình pi diễn xuất là người chỉ huy (ij 12} N =????): ICI v1 v2} VN? ??? j> @ BGI liên doanh j ?? = C từ IC (ij 12} N =????): Đối với trường hợp một phần lớn của quá trình là chính xác, chúng ta xây dựng một giải pháp cho C từ IC bằng cách chạy IC để sản xuất một vector của các giá trị tại mỗi quá trình, sau đó áp dụng một chức năng thích hợp trên các giá trị của vector để lấy được một giá trị duy nhất: Ci v1} VN ??? đa số ICI v1} VN ??? 1> @} ICI v1} VN ??? N ??> @? = Nơi mà tôi có 12} N? = Và phần lớn là theo quy định trên. BG từ C: Chúng tôi xây dựng một giải pháp cho BG từ C như sau: • Các pj chỉ huy gửi các giá trị v đề xuất của mình cho bản thân và từng công đoạn còn lại. • Tất cả các tiến trình chạy C với giá trị v2 v1} VN ??? mà họ nhận được (pj có thể bị lỗi). • Họ lấy BGI liên doanh ?? Ci v1 v2} VN ???? = (I 12} N??? =). Người đọc nên kiểm tra các điều kiện chấm dứt, thỏa thuận và toàn vẹn được bảo quản trong từng trường hợp. Fischer [1983] liên quan ba vấn đề chi tiết hơn. Trong các hệ thống với những thất bại tai nạn, sự đồng thuận là tương đương với giải quyết multicast đáng tin cậy và hoàn toàn ra lệnh: đưa ra một giải pháp cho một, chúng ta có thể giải quyết khác. Thực hiện sự đồng thuận với một hoạt động multicast RTO-multicast đáng tin cậy và hoàn toàn ra lệnh là đơn giản. Chúng tôi thu thập tất cả các quá trình thành một nhóm, g. Để đạt được sự đồng thuận, mỗi quá trình thực hiện RTO pi-multicast (g, vi). Sau đó, mỗi quá trình pi chọn di mi =, nơi mi là giá trị đầu tiên mà pi-RTO cung cấp. Các tài sản chấm dứt sau từ độ tin cậy của multicast. Các tính chất thỏa thuận và toàn vẹn theo từ độ tin cậy và tổng số đặt hàng giao hàng multicast. Chandra và Toueg [1996] chứng minh như thế nào đáng tin cậy và hoàn toàn có thể ra lệnh multicast được bắt nguồn từ sự đồng thuận.
15.5.2 sự đồng thuận trong một hệ thống đồng bộ Phần này mô tả một thuật toán để giải quyết sự đồng thuận trong một hệ thống đồng bộ, mặc dù nó được dựa trên một hình thức sửa đổi của yêu cầu toàn vẹn. Các thuật toán chỉ sử dụng một giao thức multicast cơ bản. Nó giả định rằng lên đến f của các quá trình N triển lãm thất bại sụp đổ.