Rg q654 CHAPTER 15 COORDINATION AND

Rg q
654 CHAPTER 15 COORDINATION AND AGREEMENT
:=S. If SR g q +1! , it places the message in the hold-back queue until the intervening messages have been delivered and SR g q +1 =. Since all messages from a given sender are delivered in the same sequence, and since a message’s delivery is delayed until its sequence number has been reached, the condition for FIFO ordering is clearly satisfied. But this is so only under the assumption that groups are non-overlapping. Note that we can use any implementation of B-multicast in this protocol. Moreover, if we use a reliable R-multicast primitive instead of B-multicast, then we obtain a reliable FIFO multicast. Implementing total ordering • The basic approach to implementing total ordering is to assign totally ordered identifiers to multicast messages so that each process makes the same ordering decision based upon these identifiers. The delivery algorithm is very similar to the one we described for FIFO ordering; the difference is that processes keep group-specific sequence numbers rather than process-specific sequence numbers. We only consider how to totally order messages sent to non-overlapping groups. We call the multicast operations TO-multicast and TO-deliver. We discuss two main methods for assigning identifiers to messages. The first of these is for a process called a sequencer to assign them (Figure 15.13). A process wishing to TO-multicast a message m to group g attaches a unique identifier id(m) to it. The messages for g are sent to the sequencer for g, sequencer(g), as well as to the members of g. (The sequencer may be chosen to be a member of g.) The process sequencer(g) maintains a group-specific sequence number sg , which it uses to assign increasing and consecutive sequence numbers to the messages that it B-delivers. It announces the sequence numbers by B-multicasting order messages to g (see Figure 15.13 for the details). A message will remain in the hold-back queue indefinitely until it can be TO- delivered according to the corresponding sequence number. Since the sequence numbers are well defined (by the sequencer), the criterion for total ordering is met. Furthermore, if the processes use a FIFO-ordered variant of B-multicast, then the totally ordered multicast is also causally ordered. We leave the reader to show this. The obvious problem with a sequencer-based scheme is that the sequencer may become a bottleneck and is a critical point of failure. Practical algorithms exist that address the problem of failure. Chang and Maxemchuk [1984] first suggested a multicast protocol employing a sequencer (which they called a token site). Kaashoek et al. [1989] developed a sequencer-based protocol for the Amoeba system. These protocols ensure that a message is in the hold-back queue at f +1 nodes before it is delivered; up to f failures can thus be tolerated. Like Chang and Maxemchuk, Birman et al. [1991] also employ a token-holding site that acts as a sequencer. The token can be passed from process to process so that, for example, if only one process sends totally ordered multicasts that process can act as the sequencer, saving communication. The protocol of Kaashoek et al. uses hardware-based multicast – available on an Ethernet, for example – rather than reliable point-to-point communication. In the simplest variant of their protocol, processes send the message to be multicast to the sequencer, one-to-one. The sequencer multicasts the message itself, as well as the identifier and sequence number. This has the advantage that the other members of the

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

RG q654 CHƯƠNG 15 ĐIỀU PHỐI VÀ THỎA THUẬN: = S. Nếu SR g q + 1! , nó đặt các thông điệp trong hàng đợi giữ lại cho đến khi các tin nhắn can thiệp đã được chuyển giao và SR g q + 1 =. Kể từ khi tất cả các thư từ người gửi nhất định được phân phối trong trình tự giống, và kể từ khi gửi một tin nhắn là bị trì hoãn cho đến khi số thứ tự của nó đã đạt tới, các điều kiện cho FIFO đặt hàng là rõ ràng hài lòng. Nhưng điều này là do đó chỉ theo giả định rằng các nhóm là không chồng chéo. Lưu ý rằng chúng tôi có thể sử dụng bất kỳ thực hiện B-multicast trong giao thức này. Hơn nữa, nếu chúng tôi sử dụng một nguyên thủy R-multicast đáng tin cậy thay vì B-multicast, sau đó chúng tôi có được một phát đa hướng FIFO đáng tin cậy. Thực hiện tổng số thứ tự • phương pháp tiếp cận cơ bản để thực hiện tất cả đặt hàng để chỉ định hoàn toàn ra lệnh cho các định danh phát đa hướng thư để làm cho mỗi quá trình cùng quyết định đặt hàng dựa trên các từ định danh. Các thuật toán phân phối là rất tương tự như một trong chúng tôi mô tả cho FIFO đặt hàng; sự khác biệt là quá trình giữ số thứ tự cụ thể nhóm chứ không phải là số thứ tự cụ thể quá trình. Chúng tôi chỉ xem xét làm thế nào để hoàn toàn thư được gửi đến nhóm không chồng chéo. Chúng tôi gọi các hoạt động phát đa hướng đến-multicast và để cung cấp. Chúng tôi thảo luận về hai phương pháp chính để gán định danh cho tin nhắn. Đầu tiên này là cho một quá trình được gọi là một sequencer để gán cho chúng (hình 15.13). Một quá trình muốn đến-multicast một m thông báo nhóm g gắn một định danh duy nhất id(m) vào nó. Các thư cho g được gửi đến sequencer cho g, sequencer(g), cũng như các thành viên của g. (sequencer có thể được chọn để trở thành một thành viên của g.) Sequencer(g) quá trình duy trì một sg số thứ tự cụ thể nhóm, mà nó sử dụng để chỉ định ngày càng tăng và trình tự liên tiếp số-các tin nhắn mà nó mang lại B. Nó thông báo số thứ tự bởi B-multicasting thứ tự thư để g (xem hình 15.13 cho các chi tiết). Thư sẽ vẫn còn trong hàng đợi trở lại giữ vô thời hạn cho đến khi nó có thể là đến-gửi theo thứ tự số tương ứng. Kể từ khi số thứ tự cũng được định nghĩa (bởi sequencer), các tiêu chí để đặt mua tất cả được đáp ứng. Hơn nữa, nếu các quá trình sử dụng một biến thể ra lệnh cho FIFO của B-multicast, sau đó phát đa hướng hoàn toàn đặt hàng cũng nào đã ra lệnh. Chúng tôi để người đọc để hiển thị này. Vấn đề rõ ràng với một chương trình sequencer dựa trên là sequencer có thể trở thành một nút cổ chai và là một điểm quan trọng của sự thất bại. Thuật toán thực tế tồn tại địa chỉ đó là vấn đề của sự thất bại. Chang và Maxemchuk [1984] đầu tiên đề xuất một giao thức phát đa hướng sử dụng một sequencer (mà họ gọi là một trang web mã thông báo). Kaashoek et al. [1989] phát triển một giao thức dựa trên sequencer cho hệ thống Amoeba. Các giao thức này đảm bảo rằng thư là trong hàng đợi trở lại giữ tại f + 1 nút trước khi nó được phân phối; lên đến f thất bại như vậy có thể được dung thứ. Giống như Chang và Maxemchuk, Birman et al. [1991] cũng sử dụng một trang web đang nắm giữ mã thông báo hoạt động như một sequencer. Kỷ niệm có thể được thông qua quá trình trình do đó, ví dụ, nếu chỉ một quá trình gửi multicast đã ra lệnh hoàn toàn quá trình đó có thể hoạt động như sequencer, tiết kiệm thông tin liên lạc. Giao thức của Kaashoek et al. sử dụng dựa trên phần cứng multicast-có sẵn trên một Ethernet, ví dụ-chứ không phải là giao tiếp điểm-điểm đáng tin cậy. Trong các biến thể đơn giản nhất của giao thức của họ, quá trình gửi tin nhắn để được phát đa hướng sequencer, một trong-một. Multicast sequencer thư riêng của mình, cũng như nhận dạng và chuỗi số. Điều này có lợi thế mà các thành viên khác của các

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

Rg q
654 CHƯƠNG 15 PHỐI HỢP VÀ THỎA THUẬN
: = S. Nếu SR GQ 1! , Nó đặt thông điệp trong hàng đợi giữ lại cho đến khi các thông điệp can thiệp đã được chuyển giao và SR GQ +1 =. Vì tất cả các tin nhắn từ một người gửi nhất định được cung cấp trong cùng một chuỗi, và kể từ khi giao hàng của một tin nhắn được trì hoãn cho đến khi số thứ tự của nó đã đạt được, các điều kiện cho FIFO đặt hàng rõ ràng là hài lòng. Nhưng điều này là vì vậy chỉ theo giả định rằng nhóm này không chồng chéo. Lưu ý rằng chúng ta có thể sử dụng bất kỳ thực hiện B-multicast trong giao thức này. Hơn nữa, nếu chúng tôi sử dụng đáng tin cậy R-multicast nguyên thủy thay vì B-đa, sau đó chúng ta có được một multicast FIFO đáng tin cậy. Thực hiện tổng số đặt hàng • Phương pháp cơ bản để thực hiện tổng số đặt hàng là để gán định danh hoàn toàn lệnh thông điệp multicast để mỗi quá trình ra quyết định đặt hàng cùng dựa trên những định danh. Các thuật toán giao hàng là rất giống với những gì chúng tôi mô tả cho FIFO đặt hàng; sự khác biệt là quá trình giữ số thứ tự nhóm cụ thể chứ không phải là số thứ tự quá trình cụ thể. Chúng tôi chỉ xem xét làm thế nào để hoàn toàn đặt tin nhắn được gửi đến các nhóm không chồng chéo. Chúng tôi kêu gọi các hoạt động multicast TO-multicast và TO-cung cấp. Chúng tôi thảo luận về hai phương pháp chính để gán định danh tin nhắn. Người đầu tiên trong số này là cho một quá trình được gọi là một sequencer giao cho (Hình 15.13). Một quá trình có nhu cầu TO-multicast nhắn m vào nhóm g gắn một id định danh duy nhất (m) với nó. Các tin nhắn cho g được gửi đến sequencer cho g, sequencer (g), cũng như các thành viên của g. (The sequencer có thể được chọn là một thành viên của g.) Quá trình sequencer (g) duy trì một số thứ tự sg nhóm cụ thể, mà nó sử dụng để gán tăng liên tiếp và số thứ tự để những thông điệp mà nó B-cung cấp. Nó thông báo số thứ tự qua tin nhắn để B-multicasting để g (xem Hình 15.13 cho các chi tiết). Một thông báo sẽ vẫn còn trong hàng đợi giữ lại vô thời hạn cho đến khi nó có thể được to- giao theo số thứ tự tương ứng. Kể từ khi số thứ tự được xác định rõ (bằng sequencer), tiêu chuẩn cho tổng số đặt hàng được đáp ứng. Hơn nữa, nếu các quy trình sử dụng một biến thể FIFO đặt hàng của B-multicast, thì multicast hoàn toàn ra lệnh cũng quan hệ nhân quả ra lệnh. Chúng tôi rời khỏi người đọc để hiển thị này. Vấn đề rõ ràng với một chương trình sequencer dựa trên là sequencer có thể trở thành một nút cổ chai và là một điểm quan trọng của thất bại. Các thuật toán thực tế tồn tại địa chỉ là vấn đề của sự thất bại. Chang và Maxemchuk [1984] đầu tiên đề nghị một giao thức multicast sử dụng một sequencer (mà họ gọi là một trang web token). Kaashoek et al. [1989] đã phát triển một giao thức sequencer dựa trên cho các hệ thống Amoeba. Các giao thức này đảm bảo rằng một thông báo là trong hàng đợi giữ lại tại f 1 nút trước khi nó được chuyển giao; lên đến thất bại f do đó có thể được dung thứ. Giống như Chang và Maxemchuk, Birman et al. [1991] cũng sử dụng một trang web token-nắm giữ hoạt động như một sequencer. Các dấu hiệu có thể được truyền từ quá trình xử lý do đó, ví dụ, nếu chỉ có một quá trình hoàn toàn sẽ gửi lệnh multicast quá trình có thể hoạt động như các sequencer, tiết kiệm truyền thông. Giao thức của Kaashoek et al. sử dụng phần cứng dựa trên multicast - có sẵn trên một Ethernet, ví dụ - chứ không phải là đáng tin cậy truyền thông point-to-point. Trong phiên bản đơn giản của giao thức của họ, quá trình gửi tin nhắn được multicast đến sequencer, một-một. Các multicast sequencer thông điệp riêng của mình, cũng như số định danh và trình tự. Điều này có lợi thế mà các thành viên khác của