and total ordering is assured. This

and total ordering is assured. This algorithm has higher latency than the sequencer-based multicast algorithm: three messages are sent serially between the sender and the group before a message can be delivered. Note that the total ordering chosen by this algorithm is not also guaranteed to be causally or FIFO-ordered: any two messages are delivered in an essentially arbitrary total order, influenced by communication delays. For other approaches to implementing total ordering, see Melliar-Smith et al. [1990], Garcia-Molina and Spauster [1991] and Hadzilacos and Toueg [1994]. Implementing causal ordering • Next we give an algorithm for non-overlapping closed groups based on that developed by Birman et al. [1991], shown in
Figure 15.15 Causal ordering using vector timestamps
Algorithm for group member ( ) On initialization := 0 ( ); To CO-multicast message m to group g := ; B-multicast(g, < , m>); On B-deliver(< , m>) from (), with g = group(m) place < , m> in hold-back queue; wait until and ( ); CO-deliver m; // after removing it from the hold-back queue := ; pi i 12} N = Vi g j >@ j 12} N = Vi g i >@ Vi g i >@+1 Vi g Vj g pj j i z Vj g Vj g j >@ Vi g j >@+1= Vj g k >@ Vi g k d>@ kj z Vi g j >@ Vi g j >@+1
Figure 15.15, in which the causally ordered multicast operations are CO-multicast and CO-deliver. The algorithm takes account of the happened-before relationship only as it is established by multicast messages. If the processes send one-to-one messages to one another, then these will not be accounted for. Each process pi ( i 12} N    = ) maintains its own vector timestamp (see Section 14.4). The entries in the timestamp count the number of multicast messages from each process that happened-before the next message to be multicast. To CO-multicast a message to group g, the process adds 1 to its entry in the timestamp and B-multicasts the message along with its timestamp to g. When a process pi B-delivers a message from pj , it must place it in the hold-back queue before it can CO-deliver it – that is, until it is assured that it has delivered any messages that causally preceded it. To establish this, pi waits until (a) it has delivered any earlier message sent by pj , and (b) it has delivered any message that pj had delivered at the time it multicast the message. Both of those conditions can be detected by examining vector timestamps, as shown in Figure 15.15. Note that a process can immediately CO-deliver to itself any message that it CO-multicasts, although this is not described in Figure 15.15.

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

và ra lệnh tất cả được đảm bảo. Thuật toán này có độ trễ cao hơn sequencer dựa trên thuật toán phát đa hướng: ba tin nhắn được gửi serially giữa người gửi và nhóm trước khi thư có thể được chuyển giao. Lưu ý rằng tổng số thứ tự lựa chọn thuật toán này là không còn được đảm bảo là nào hoặc ra lệnh cho FIFO: bất kỳ hai thư được gửi trong một đơn đặt hàng tùy ý về cơ bản tất cả, chịu ảnh hưởng bởi sự chậm trễ giao tiếp. Để các phương pháp tiếp cận để triển khai thực hiện tất cả đặt hàng, hãy xem Melliar-Smith và ctv [1990], Garcia-Molina và Spauster [1991] và Hadzilacos và Toueg [1994]. Chúng tôi thực hiện quan hệ nhân quả • đặt hàng tiếp theo cho một thuật toán cho không chồng chéo đóng nhóm dựa trên đó phát triển bởi Birman et al. [1991], Hiển thị trong Con số 15,15 Causal đặt hàng bằng cách sử dụng véc tơ timestampsCác thuật toán cho nhóm thành viên () trên khởi tạo: = 0 (); CO-phát đa hướng tin nhắn m để nhóm g: =; B-multicast(g, <, m>); Ngày B-deliver(<, m>) từ (), với g = group(m) place <, m > trong hàng đợi trở lại giữ; chờ đợi cho đến khi và (); Đồng cung cấp m; sau khi gỡ bỏ nó từ hàng đợi giữ lại: =; Pi tôi 12} N = Vi g j > @ j 12} N = Vi g tôi > @ Vi g tôi > @+ 1 Vi g Vj g pj j tôi z Vj g Vj g j > @ Vi g j > @+ 1 = Vj g k > @ Vi g k d > @ kj z Vi g j > @ Vi g j > @+ 1Con số 15,15, trong đó các hoạt động phát đa hướng ra lệnh nào là đồng multicast và đồng phân phối. Các thuật toán mất tài khoản của mối quan hệ đã xảy ra trước chỉ khi nó được thành lập bởi phát đa hướng thư. Nếu các quá trình gửi một tin nhắn với nhau, sau đó chúng sẽ không được chiếm. Mỗi quá trình pi (i 12} N =) duy trì riêng của mình dấu thời gian vector (xem phần 14.4). Các mục trong dấu thời gian đếm số lượng các tin nhắn phát đa hướng từ mỗi quá trình rằng đã xảy ra trước tiếp theo tin nhắn để được phát đa hướng. Để CO-multicast thư để bảng g, quá trình thêm 1 đến mục nhập của nó trong dấu thời gian và B-multicast thư cùng với dấu thời gian của nó để g. Khi một quá trình pi B-cung cấp một thông điệp từ pj, nó phải đặt nó trong hàng đợi giữ trở lại trước khi nó kết hợp có thể cung cấp nó-đó là, cho đến khi nó được đảm bảo rằng nó đã gửi bất kỳ thông điệp nào nào trước đó. Để thiết lập này, pi waits cho đến khi (a) nó đã gửi bất kỳ thư trước đó được gửi bởi pj, và (b) nó đã gửi bất kỳ thư nào đó pj có phát lúc đó nó phát đa hướng thư. Cả hai của những điều kiện có thể được phát hiện bằng cách kiểm tra vectơ timestamps, như minh hoạ trong hình 15,15. Lưu ý rằng một quá trình có thể ngay lập tức đồng cung cấp cho chính nó bất kỳ thông báo rằng nó CO-multicast, mặc dù điều này không được mô tả trong hình 15,15.

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

và tổng số đặt hàng được đảm bảo. Thuật toán này có độ trễ cao hơn so với các thuật toán multicast sequencer dựa trên: ba thông điệp được truyền nối tiếp giữa người gửi và nhóm trước khi một thông điệp có thể được chuyển giao. Lưu ý rằng tổng số đặt hàng được lựa chọn bởi thuật toán này không còn đảm bảo được quan hệ nhân quả hoặc FIFO-ra lệnh: bất kỳ hai tin nhắn được gửi trong một tổng số thứ tự bản chất tùy tiện, ảnh hưởng bởi sự chậm trễ thông tin liên lạc. Đối với các phương pháp khác để thực hiện tổng số đặt hàng, xem Melliar-Smith et al. [1990], Garcia-Molina và Spauster [1991] và Hadzilacos và Toueg [1994]. Thực hiện quan hệ nhân quả đặt hàng • Tiếp theo chúng ta đưa ra một thuật toán để không chồng chéo các nhóm đóng trên cơ sở đó phát triển bởi Birman et al. [1991], thể hiện trong
Hình 15.15 đặt quan hệ nhân quả sử dụng vector timestamps
Algorithm cho thành viên của nhóm () Ngày khởi tạo: = 0 (); CO-multicast nhắn m vào nhóm g: =; B-multicast (g, <, m>); Trên B-cung cấp (<, m>) từ (), với g = nhóm (m) nơi <, m> đợi giữ lại; chờ đợi cho đến khi và (); CO-cung cấp m; // Sau khi loại bỏ nó từ hàng đợi giữ lại: =; pi i 12} N ?? = Vi gj> @ j 12} N ?? = Vi gi> @ Vi gi> @ + 1 Vi g Vj g pj jiz Vj g Vj gj> @ Vi gj> @ + 1 = Vj gk > @ Vi gk d> @ kj z Vi gj> @ Vi gj> @ + 1
Hình 15.15, trong đó các hoạt động multicast quan hệ nhân quả ra lệnh là CO-multicast và CO-cung cấp. Các thuật toán có tài khoản của đã xảy ra, trước khi mối quan hệ chỉ vì nó được thành lập bởi các thông điệp multicast. Nếu quá trình gửi một-một thông điệp với nhau, sau đó chúng sẽ không được tính. Mỗi quá trình pi (i 12} N? =?) Duy trì dấu thời gian vector riêng của mình (xem phần 14.4). Các mục trong dấu thời gian đếm số lượng các thông điệp multicast từ mỗi quá trình đó xảy ra, trước khi thông báo tiếp theo sẽ được multicast. CO-multicast một tin nhắn cho nhóm g, quá trình thêm 1 vào entry của nó trong dấu thời gian và B-multicast được thông báo cùng với dấu thời gian của mình cho g. Khi một quá trình pi-B cung cấp một tin nhắn từ pj, nó phải đặt nó trong hàng đợi giữ lại trước khi nó có thể cung cấp CO-nó - có nghĩa là, cho đến khi nó được đảm bảo rằng nó đã cung cấp bất kỳ thông báo rằng quan hệ nhân quả trước đó. Để thiết lập này, chờ đợi cho đến khi pi (a) nó đã cung cấp bất kỳ thông báo trước đó gửi bởi pj, và (b) nó đã cung cấp bất kỳ thông báo pj đã chuyển giao vào thời điểm đó nó multicast tin nhắn. Cả hai của những điều kiện có thể được phát hiện bằng cách kiểm tra nhãn thời gian vector, như thể hiện trong hình 15.15. Lưu ý rằng một quá trình có thể ngay lập tức CO-cung cấp cho bản thân bất kỳ thông báo rằng nó CO-multicast, mặc dù điều này không được mô tả trong hình 15.15.