3. p collects all the proposed sequ

3. p collects all the proposed sequence numbers and selects the largest one, a, as the next agreed sequence number. It then B-multicasts to g. Each process q in g sets Ag q := Max(Ag q , a) and attaches a to the message (which is identified by i). It reorders the message in the hold-back queue if the agreed sequence number differs from the proposed one. When the message at the front of the hold-back queue has been assigned its agreed sequence number, it is transferred to the tail of the delivery queue. Messages that have been assigned their agreed sequence number but are not at the head of the hold-back queue are not yet transferred, however. If every process agrees the same set of sequence numbers and delivers them in the corresponding order, then total ordering is satisfied. It is clear that correct processes ultimately agree on the same set of sequence numbers, but we must show that they are monotonically increasing and that no correct process can deliver a message prematurely. Assume that a message m1 has been assigned an agreed sequence number and has reached the front of the hold-back queue. By construction, a message that is received after this stage will and should be delivered after m1: it will have a larger proposed sequence number and thus a larger agreed sequence number than m1. So let m2 be any other message that has not yet been assigned its agreed sequence number but that is on the same queue. We have that:
agreedSequence(m2) • proposedSequence(m2) by the algorithm just given. Since m1 is at the front of the queue: proposedSequence(m2) > agreedSequence(m1)
Therefore:
agreedSequence(m2) > agreedSequence(m1)

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

3. p thu thập tất cả trình tự đề xuất số và chọn một trong những lớn nhất, một, như số thoả thuận trình tự tiếp theo. Nó sau đó B-multicast g. Mỗi quá trình q Son bộ Ag q: = Max (Ag q, một) và gắn một tin nhắn (mà được xác định bởi i). Nó reorders thông điệp trong hàng đợi giữ trở lại nếu số thoả thuận trình tự khác với một đề xuất. Khi tin nhắn ở phía trước của hàng đợi trở lại giữ đã được chỉ định số thoả thuận tự của nó, nó được chuyển giao cho đuôi của hàng đợi giao hàng. Thư đã được gán số thứ tự thoả thuận của họ nhưng không phải ở phần đầu của hàng đợi trở lại giữ được không được chuyển giao, Tuy nhiên. Nếu quá trình mỗi đồng ý cùng một tập hợp của số thứ tự và mang chúng theo thứ tự tương ứng, sau đó đặt hàng tổng là hài lòng. Nó là rõ ràng rằng chính xác quá trình cuối cùng đồng ý vào cùng một tập hợp của số thứ tự, nhưng chúng tôi phải thể hiện rằng họ đang tăng monotonically và rằng không có quá trình chính xác có thể cung cấp một thông báo sớm. Cho rằng một m1 tin nhắn đã được chỉ định một số thoả thuận tự và đã đạt đến mặt trước của hàng đợi tổ chức trở lại. Bởi xây dựng, một tin nhắn nhận được sau khi giai đoạn này sẽ và phải được gửi sau khi m1: nó sẽ có một số đề xuất chuỗi lớn hơn và do đó một lớn hơn đồng ý chuỗi số hơn m1. Vì vậy để cho m2 là bất kỳ thư nào khác đã không được được gán số thứ tự thoả thuận của nó, nhưng đó là trên cùng một hàng đợi. Chúng tôi có:agreedSequence(m2) proposedSequence(m2) bởi các thuật toán ủy thác. Kể từ khi m1 là ở phía trước của hàng đợi: proposedSequence(m2) > agreedSequence(m1)Vì vậy:agreedSequence(m2) > agreedSequence(m1)

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

3. p thu thập tất cả các số thứ tự đề xuất và lựa chọn lớn nhất, một, là số thứ tự đã đồng ý tiếp theo. Sau đó B-multicastg. Mỗi quá trình q trong bộ g Ag q: = Max (Ag q, a) và gắn một vào tin nhắn (được xác định bởi i). Nó sắp xếp lại các thông điệp trong hàng đợi giữ lại nếu số thứ tự thỏa thuận khác với một đề xuất. Khi thông báo ở phía trước của hàng đợi giữ lại đã được chỉ định số thứ tự đã đồng ý của nó, nó được chuyển giao cho đuôi của hàng đợi giao hàng. Tin nhắn đã được gán số thứ tự đã đồng ý của họ, nhưng không phải là ở đầu hàng đợi giữ lại chưa được chuyển nhượng, tuy nhiên. Nếu mọi quá trình đồng ý cùng một bộ số thứ tự và mang chúng theo thứ tự tương ứng, sau đó tổng số đặt hàng là hài lòng. Rõ ràng là quá trình chính xác cuối cùng đồng ý trên cùng một bộ các số thứ tự, nhưng chúng tôi phải chứng minh rằng họ đang gia tăng đơn điệu và không đúng quy trình có thể cung cấp một thông điệp sớm. Giả sử rằng một m1 nhắn đã được gán một số thứ tự đã đồng ý và đã đạt đến phía trước của hàng đợi giữ lại. By xây dựng, một thông báo được nhận được sau giai đoạn chí này và sẽ được giao sau khi m1: nó sẽ có một số thứ tự đề xuất lớn hơn và do đó một số thứ tự thỏa thuận lớn hơn m1. Vì vậy, hãy m2 được bất kỳ thông điệp khác mà chưa được gán số thứ tự của nó đã đồng ý nhưng đó là trên cùng một hàng đợi. Chúng tôi có rằng:
agreedSequence (m2) ?? proposedSequence (m2) bằng các thuật toán chỉ định. Kể từ khi m1 là ở phía trước của hàng đợi: proposedSequence (m2)> agreedSequence (m1)
Do đó:
agreedSequence (m2)> agreedSequence (m1)