It is interesting to note that if w

It is interesting to note that if we reverse the lines ‘R-deliver m’ and ‘if (qp z ) then B-multicast(g, m); end if’ in Figure 15.9, then the resultant algorithm does not satisfy uniform agreement. Just as there is a uniform version of agreement, there are also uniform versions of anymulticast property, including validity and integrity and the ordering properties that we are about to define.
15.4.3 Ordered multicast The basic multicast algorithm of Section 15.4.1 delivers messages to processes in an arbitrary order, due to arbitrary delays in the underlying one-to-one send operations. This lack of an ordering guarantee is not satisfactory for many applications. For example, in a nuclear power plant it may be important that events signifying threats to safety conditions and events signifying actions by control units are observed in the same order by all processes in the system. As discussed in Chapter 6, the common ordering requirements are total ordering, causal ordering and FIFO ordering, together with hybrid solutions (in particular, total- causal and total-FIFO). To simplify our discussion, we define these orderings under the assumption that any process belongs to at most one group (later we discuss the implications of allowing groups to overlap): FIFO ordering: If a correct process issues multicast(g, m) and then multicast(g, mc), then every correct process that delivers mc will deliver m before mc. Causal ordering: If multicast(g, m) o multicast(g, mc), where o is the happened-before relation induced only by messages sent between the members of g, then any correct process that delivers mc will deliver m before mc. Total ordering: If a correct process delivers message m before it delivers mc, then any other correct process that delivers mc will deliver m before mc. Causal ordering implies FIFO ordering, since any two multicasts by the same process are related by happened-before. Note that FIFO ordering and causal ordering are only partial orderings: not all messages are sent by the same process, in general; similarly, some multicasts are concurrent (not ordered by happened-before). Figure 15.11 illustrates the orderings for the case of three processes. Close inspection of the figure shows that the totally ordered messages are delivered in the opposite order to the physical time at which they were sent. In fact, the definition of total ordering allows message delivery to be ordered arbitrarily, as long as the order is the same at different processes. Since total ordering is not necessarily also a FIFO or causal ordering, we define the hybrid of FIFO-total ordering as one for which message delivery obeys both FIFO and total ordering; similarly, under causal-total ordering message delivery obeys both causal and total ordering. The definitions of ordered multicast do not assume or imply reliability. For example, the reader should check that, under total ordering, if correct process p delivers message m and then delivers mc, then a correct process q can deliver m without also delivering mc or any other message ordered after m. We can also form hybrids of ordered and reliable protocols. A reliable totally ordered multicast is often referred to in the literature as an atomic multicast. Similarly,

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

Nó là thú vị để lưu ý rằng nếu chúng ta đảo ngược dòng 'R-cung cấp m' và ' nếu (qp z) sau đó B-multicast(g, m); kết thúc nếu ' trong hình 15.9, sau đó các thuật toán kết quả không đáp ứng thỏa thuận thống nhất. Cũng giống như đó là một phiên bản thống nhất của thỏa thuận, có cũng là thống nhất các phiên bản của anymulticast bất động sản, trong đó có hiệu lực và tính toàn vẹn và các thuộc tính đặt hàng mà chúng tôi đang xác định.15.4.3 Ordered multicast The basic multicast algorithm of Section 15.4.1 delivers messages to processes in an arbitrary order, due to arbitrary delays in the underlying one-to-one send operations. This lack of an ordering guarantee is not satisfactory for many applications. For example, in a nuclear power plant it may be important that events signifying threats to safety conditions and events signifying actions by control units are observed in the same order by all processes in the system. As discussed in Chapter 6, the common ordering requirements are total ordering, causal ordering and FIFO ordering, together with hybrid solutions (in particular, total- causal and total-FIFO). To simplify our discussion, we define these orderings under the assumption that any process belongs to at most one group (later we discuss the implications of allowing groups to overlap): FIFO ordering: If a correct process issues multicast(g, m) and then multicast(g, mc), then every correct process that delivers mc will deliver m before mc. Causal ordering: If multicast(g, m) o multicast(g, mc), where o is the happened-before relation induced only by messages sent between the members of g, then any correct process that delivers mc will deliver m before mc. Total ordering: If a correct process delivers message m before it delivers mc, then any other correct process that delivers mc will deliver m before mc. Causal ordering implies FIFO ordering, since any two multicasts by the same process are related by happened-before. Note that FIFO ordering and causal ordering are only partial orderings: not all messages are sent by the same process, in general; similarly, some multicasts are concurrent (not ordered by happened-before). Figure 15.11 illustrates the orderings for the case of three processes. Close inspection of the figure shows that the totally ordered messages are delivered in the opposite order to the physical time at which they were sent. In fact, the definition of total ordering allows message delivery to be ordered arbitrarily, as long as the order is the same at different processes. Since total ordering is not necessarily also a FIFO or causal ordering, we define the hybrid of FIFO-total ordering as one for which message delivery obeys both FIFO and total ordering; similarly, under causal-total ordering message delivery obeys both causal and total ordering. The definitions of ordered multicast do not assume or imply reliability. For example, the reader should check that, under total ordering, if correct process p delivers message m and then delivers mc, then a correct process q can deliver m without also delivering mc or any other message ordered after m. We can also form hybrids of ordered and reliable protocols. A reliable totally ordered multicast is often referred to in the literature as an atomic multicast. Similarly,

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

Nó là thú vị để lưu ý rằng nếu chúng ta đảo ngược dòng "R-cung cấp m 'và' nếu (qp z) sau đó B-multicast (g, m); kết thúc nếu 'trong hình 15.9, thì thuật toán kết quả không đáp ứng thỏa thuận thống nhất. Cũng như có một phiên bản thống nhất thỏa thuận, cũng có phiên bản thống nhất tài sản anymulticast, bao gồm cả giá trị và tính toàn vẹn và tính chất đặt hàng mà chúng tôi muốn xác định.
15.4.3 multicast có thứ tự thuật toán multicast cơ bản của mục 15.4.1 Ðăng mang thông điệp các quá trình trong một trật tự tùy ý, do sự chậm trễ tùy ý trong các hoạt động gửi một-một nằm bên dưới. Việc thiếu một sự bảo đảm trật tự là không thỏa đáng cho nhiều ứng dụng. Ví dụ, trong một nhà máy điện hạt nhân có thể là quan trọng là sự kiện biểu thị mối đe dọa đến điều kiện an toàn và các sự kiện biểu thị hành động của các đơn vị kiểm soát được quan sát theo thứ tự của tất cả các quá trình trong hệ thống. Như đã thảo luận trong chương 6, các yêu cầu đặt hàng phổ biến là tổng số đặt hàng, đặt hàng và quan hệ nhân quả FIFO đặt hàng, cùng với các giải pháp lai (đặc biệt là quan hệ nhân quả total- và tổng-FIFO). Để đơn giản hóa cuộc thảo luận của chúng tôi, chúng tôi xác định các orderings theo giả định rằng bất kỳ quá trình thuộc về nhiều nhất là một nhóm (sau này chúng tôi thảo luận về tác động của việc cho phép các nhóm để chồng lên nhau): FIFO đặt hàng: Nếu một multicast vấn đề quy trình chính xác (g, m) và sau đó multicast (g, mc), sau đó tất cả các quá trình chính xác mang mc sẽ cung cấp m trước khi mc. Đặt quan hệ nhân quả: Nếu multicast (g, m) o multicast (g, mc), nơi mà o là mối quan hệ xảy ra, trước khi chỉ gây ra bởi tin nhắn được gửi giữa các thành viên của g, sau đó bất kỳ quá trình chính xác mà cung cấp mc sẽ cung cấp m trước khi mc. Tổng số đặt hàng: Nếu một quá trình chính xác gửi thông điệp m trước khi nó cung cấp mc, sau đó bất kỳ quá trình chính xác khác mà cung cấp mc sẽ cung cấp m trước khi mc. Đặt quan hệ nhân quả ngụ ý FIFO đặt hàng, vì bất kỳ hai multicast bởi cùng một quá trình được liên kết bởi đã xảy ra-trước. Lưu ý rằng FIFO đặt hàng và đặt hàng là quan hệ nhân quả orderings chỉ một phần: không phải tất cả các tin nhắn được gửi qua quá trình tương tự, nói chung; tương tự như vậy, một số multicast là đồng thời (không phải theo yêu cầu của đã xảy ra-trước). Hình 15.11 minh họa các orderings cho trường hợp của ba quá trình. Đóng kiểm tra con số này cho thấy rằng các thông điệp hoàn toàn lệnh được giao theo thứ tự ngược lại với thời gian vật lý mà chúng được gửi. Trong thực tế, định nghĩa của tổng số đặt hàng cho phép chuyển tin nhắn được sắp xếp tùy ý, miễn là theo thứ tự là cùng một lúc quá trình khác nhau. Từ tổng số đặt hàng là không nhất thiết cũng là một FIFO hoặc trật tự nhân quả, chúng tôi xác định lai của FIFO-tổng số đặt hàng là một mà chuyển tin nhắn tuân theo cả hai FIFO và tổng số đặt hàng; tương tự như vậy, theo quan hệ nhân quả, tổng số chuyển tin nhắn đặt hàng tuân theo cả hai quan hệ nhân quả và tổng số đặt hàng. Các định nghĩa của multicast ra lệnh không mang hàm ý hoặc độ tin cậy. Ví dụ, người đọc nên kiểm tra xem, dưới tổng số đặt hàng, nếu đúng quy trình p gửi thông điệp m và sau đó cung cấp mc, sau đó một quá trình có thể cung cấp chính xác q m mà không có cũng cung cấp mc hoặc bất kỳ tin nhắn khác ra lệnh sau m. Chúng tôi cũng có thể hình thành lai của giao thức ra lệnh và đáng tin cậy. Một multicast đáng tin cậy hoàn toàn lệnh thường được nhắc đến trong văn học như một multicast nguyên tử. Tương tự như vậy,