Validity: If a correct process mult

Validity: If a correct process multicasts message m, then it will eventually deliver m. Agreement: If a correct process delivers message m, then all other correct processes in group(m) will eventually deliver m. The integrity property is analogous to that for reliable one-to-one communication. The validity property guarantees liveness for the sender. This may seem an unusual property, because it is asymmetric (it mentions only one particular process). But notice that validity and agreement together amount to an overall liveness requirement: if one process (the sender) eventually delivers a message m, since the correct processes agree on the set of messages they deliver, it follows that m will eventually be delivered to all the group’s correct members.
Figure 15.9 Reliable multicast algorithm
On initialization Received := {}; For process p to R-multicast message m to group g B-multicast(g, m); // is included as a destination On B-deliver(m) at process q with g = group(m) if () then Received := ; if ( ) then B-multicast(g, m); end if R-deliver m; end if pg  m Received  Received m ‰^` qp z
The advantage of expressing the validity condition in terms of self-delivery is simplicity. What we require is that the message be delivered eventually by some correct member of the group. The agreement condition is related to atomicity, the property of ‘all or nothing’, applied to delivery of messages to a group. If a process that multicasts a message crashes before it has delivered it, then it is possible that the message will not be delivered to any process in the group; but if it is delivered to some correct process, then all other correct processes will deliver it. Many papers in the literature use the term ‘atomic’ to include a total ordering condition; we define this shortly. Implementing reliable multicast over B-multicast • Figure 15.9 gives a reliable multi- cast algorithm, with primitives R-multicast and R-deliver, that allows processes to be- long to several closed groups simultaneously. To R-multicast a message, a process B- multicasts the message to the processes in the destination group (including itself). When the message is B-delivered, the recipient in turn B-multicasts the message to the group (if it is not the original sender), and then R-delivers the message. Since a message may arrive more than once, duplicates of the message are detected and not delivered. This algorithm clearly satisfies the validity property, since a correct process will eventually B-deliver the message to itself. By the integrity property of the underlying communication channels used in B-multicast, the algorithm also satisfies the integrity property.

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

Hiệu lực: Nếu một quá trình chính xác tin nhắn multicast m, sau đó nó sẽ cuối cùng cung cấp thoả thuận m.: nếu một quá trình chính xác cung cấp tin nhắn m, sau đó tất cả các quy trình chính xác trong group(m) cuối cùng sẽ cung cấp m. Bất động sản toàn vẹn là tương tự như giao tiếp-một đáng tin cậy. Bất động sản hiệu lực đảm bảo liveness cho người gửi. Điều này có vẻ một bất động sản bất thường, bởi vì nó là không đối xứng (nó đề cập đến quá trình cụ thể chỉ có một). Nhưng nhận thấy rằng số tiền cùng nhau tính hợp lệ và thỏa thuận một yêu cầu liveness tổng thể: nếu một xử lý (người gửi) cuối cùng mang lại một tin nhắn m, kể từ khi các quy trình chính xác đồng ý về các thiết lập của thư họ cung cấp, nó sau đó m cuối cùng sẽ được gửi đến tất cả các nhóm của thành viên chính xác.Con số 15.9 thuật toán đáng tin cậy phát đa hướngNgày khởi tạo nhận: = (); Cho quá trình p R-multicast tin nhắn m để nhóm g B-multicast(g, m); được bao gồm như là một điểm đến ngày B-deliver(m) tại quá trình q với g = group(m) nếu () sau đó đã nhận được: =; Nếu () sau đó B-multicast(g, m); kết thúc nếu R-cung cấp m; kết thúc nếu pg m nhận được nhận m ^' qp zLợi thế của thể hiện tình trạng tính hợp lệ về tự-giao hàng là đơn giản. Những gì chúng tôi yêu cầu rằng thư được gửi cuối cùng bởi một số thành viên chính xác của nhóm. Điều kiện thỏa thuận liên quan đến atomicity, tài sản của 'tất cả hoặc không có gì', áp dụng cho việc chuyển giao thư cho một nhóm. Nếu một quá trình mà multicast thư treo trước khi nó đã cung cấp nó, sau đó nó có thể rằng thư sẽ không được gửi đến bất kỳ quá trình trong nhóm; nhưng nếu nó được gửi đến một số quá trình chính xác, sau đó tất cả các quy trình chính xác sẽ cung cấp nó. Nhiều giấy tờ trong văn học sử dụng các thuật ngữ 'nguyên tử' để bao gồm một tổng số thứ tự điều kiện; chúng tôi xác định điều này một thời gian ngắn. Thực hiện đáng tin cậy multicast qua B-multicast • hình 15.9 cung cấp cho một thuật toán đa-diễn viên đáng tin cậy, với nguyên thủy phát đa hướng R và R-cung cấp, cho phép các quy trình để kéo dài đến một số đóng nhóm cùng một lúc. Để R-multicast thư, một quá trình B-multicast thư đến các quá trình ở đích đến nhóm (bao gồm chính nó). Khi thư là B-gửi, người nhận trong biến B-multicast thư đến nhóm (nếu nó không phải là người gửi gốc), và sau đó R cung cấp thư. Kể từ khi một tin nhắn có thể đến nhiều hơn một lần, bản sao của thư được phát hiện và giao hàng. Thuật toán này rõ ràng đáp ứng các giá trị tài sản, kể từ khi một quá trình chính xác sẽ cuối cùng B-phân phối thư đến chính nó. Bởi tài sản tính toàn vẹn của các kênh giao tiếp cơ bản được sử dụng trong B-multicast, các thuật toán cũng đáp ứng bất động sản toàn vẹn.

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

Hiệu lực: Nếu một quá trình chính xác multicast thông điệp m, sau đó nó cuối cùng sẽ cung cấp m. Hiệp định: Nếu một quá trình chính xác gửi thông điệp m, sau đó tất cả các quá trình chính xác khác trong nhóm (m) cuối cùng sẽ cung cấp m. Thuộc tính toàn vẹn là tương tự như các thông tin liên lạc đáng tin cậy cho một-một. Các tài sản có giá trị đảm bảo liveness cho người gửi. Điều này có vẻ là một tính chất bất thường, bởi vì nó là không đối xứng (nó đề cập đến chỉ có một quy trình cụ thể). Tuy nhiên, nhận thấy giá trị đó và thỏa thuận với nhau lên đến một yêu cầu liveness tổng thể: nếu một quá trình (người gửi) cuối cùng cung cấp một thông điệp m, vì các quá trình đúng thoả thuận về thiết lập các thông điệp mà họ cung cấp, nó sau đó m cuối cùng sẽ được gửi đến tất cả . thành viên đúng của nhóm
Hình 15,9 thuật toán multicast đáng tin cậy
Ngày khởi tạo nhận được: = {}; Đối với quá trình p để R-multicast nhắn m vào nhóm g B-multicast (g, m); // Được bao gồm như là một điểm đến On B-cung cấp (m) ở quá trình q với g = nhóm (m) nếu () sau đó nhận được: =; if () sau đó B-multicast (g, m); kết thúc nếu R-cung cấp m; kết thúc nếu pg ?? đang nhận ?? Nhận m ?? ^ `qp z
Ưu điểm của thể hiện tình trạng hiệu lực về tự giao hàng là đơn giản. Những gì chúng tôi yêu cầu là thông điệp được chuyển giao cuối cùng của một số thành viên đúng của nhóm. Các điều kiện thỏa thuận có liên quan đến nguyên tử, tài sản của "tất cả hoặc không có gì", áp dụng cho giao hàng của các tin nhắn đến một nhóm. Nếu một quá trình multicast nhắn bị treo trước khi nó đã cung cấp nó, sau đó có thể là thông báo sẽ không được gửi đến bất kỳ quá trình trong nhóm; nhưng nếu nó được gửi đến một số quá trình chính xác, sau đó tất cả các quá trình chính xác khác sẽ cung cấp nó. Nhiều giấy tờ trong văn học sử dụng thuật ngữ "nguyên tử" bao gồm một điều kiện đặt hàng tổng; chúng ta định nghĩa này trong thời gian ngắn. Thực hiện multicast đáng tin cậy hơn B-multicast • Hình 15.9 đưa ra một thuật toán dàn diễn viên đa đáng tin cậy, với nguyên thủy R-multicast và R-cung cấp, cho phép quá trình để được- dài để một số nhóm đóng cùng một lúc. Để R-multicast một tin nhắn, một quá trình B- multicast tin nhắn tới các quá trình trong nhóm đích (bao gồm cả bản thân). Khi tin nhắn được B-giao, người nhận lần lượt B-multicast tin nhắn tới nhóm (nếu nó không phải là người gửi ban đầu), và sau đó R-cung cấp các tin nhắn. Kể từ khi tin nhắn có thể đến nhiều hơn một lần, bản sao của thông điệp được phát hiện và không được giao. Thuật toán này rõ ràng đáp ứng các bất động sản có hiệu lực, kể từ khi một quá trình chính xác cuối cùng sẽ B-cung cấp tin nhắn cho chính nó. Theo tính toàn vẹn của các kênh truyền thông cơ bản được sử dụng trong B-multicast, các thuật toán cũng thỏa mãn sở hữu toàn vẹn.