• When M6,2 arrives with piggybacke

• When M6,2 arrives with piggybacked information “M5,1.Dests = {P4},”
P1 “learns” implicit information “M5,1 has been delivered to P6” by the very absence of explicit information “P6 ∈ M5,1.Dests” in the piggybacked information, and hence marks information “P6 ∈ M5,1.Dests” for dele- tion from Log1. Simultaneously, “M5,1.Dests = {P6}” in Log1 implies the
implicit information that M5,1 has been delivered or is guaranteed to be delivered in causal order to P4. Thus, P1 also “learns” that the explicit
piggybacked information “M5,1.Dests = {P4}” is outdated. M5,1.Dests in
Log1 is set to ∅.

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

• Khi M6, 2 đến với piggybacked thông tin "M5,1.Dests = {P4},"P1 "học" tiềm ẩn thông tin "M5, 1 đã được chuyển giao cho P6" bởi sự vắng mặt rất của thông tin rõ ràng "P6 ∈ M5,1.Dests" trong các thông tin piggybacked, và do đó đánh dấu thông tin "P6 ∈ M5,1.Dests" cho dele-tion từ Log1. Đồng thời, "M5,1.Dests = {P6}" trong Log1 ngụ ý cáctiềm ẩn các thông tin mà M5, 1 đã được vận chuyển hoặc là bảo đảm sẽ được chuyển giao để quan hệ nhân quả để P4. Vì vậy, P1 cũng "học" mà các rõ ràngpiggybacked thông tin "M5,1.Dests = {P4}" là lỗi thời. M5, 1.Dests trongLog1 được thiết lập để ∅.

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

• Khi M6,2 đến với thông tin piggybacked "M5,1.Dests = {} P4,"
P1 "học" thông tin ẩn "M5,1 đã được gửi đến P6" bởi sự vắng mặt rất thông tin rõ ràng "P6 ∈ M5,1 .Dests "trong thông tin piggybacked, và do đó đánh dấu thông tin" P6 ∈ M5,1.Dests "cho tion mất đoạn từ Log1. Đồng thời, "M5,1.Dests = {} P6" trong Log1 ngụ ý các
thông tin ẩn mà M5,1 đã được giao hoặc được đảm bảo để được giao hàng trong trật tự nhân quả để P4. Như vậy, P1 cũng "học" mà rõ ràng
thông tin piggybacked "M5,1.Dests = {P4}" là lỗi thời. M5,1.Dests trong
Log1 được thiết lập để ∅.