• When the information “P6 ∈ M5,1.D

• When the information “P6 ∈ M5,1.Dests” arrives on M4,3, piggybacked as “M5,1.Dests = {P6},” it is used only to ensure causal delivery of M4,3 using
the Delivery Condition, and is not inserted in Log6 (constraint I) – further, the presence of “M5,1.Dests = {P4}” in Log6 implies the implicit informa-
tion that M5,1 has already been delivered to P6. Also, the absence of P4
in M5,1.Dests in the explicit piggybacked information implies the implicit
information that M5,1 has been delivered or is guaranteed to be delivered in causal order to P4, and, therefore, M5,1.Dests is set to ∅ in Log6.

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

• Khi thông tin "P6 ∈ M5,1.Dests" đến M4, 3, piggybacked như "M5,1.Dests = {P6}," nó được sử dụng nhằm đảm bảo quan hệ nhân quả phân phối M4, 3 sử dụngđiều kiện giao hàng, và không được đưa vào trong Log6 (hạn chế tôi)-hơn nữa, sự hiện diện của "M5,1.Dests = {P4}" trong Log6 ngụ ý informa tiềm ẩn -tion rằng M5, 1 đã đã được gửi đến P6. Ngoài ra, sự vắng mặt của P4trong M5,1.Dests thông tin piggybacked rõ ràng ngụ ý các tiềm ẩnthông tin rằng M5, 1 đã được vận chuyển hoặc được đảm bảo sẽ được chuyển giao để quan hệ nhân quả để P4, và, do đó, M5,1.Dests được thiết lập để ∅ trong Log6.

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

• Khi những thông tin "P6 ∈ M5,1.Dests" đến trên M4,3, cõng như "M5,1.Dests = {} P6," nó chỉ được sử dụng để đảm bảo giao nhân quả của M4,3 sử dụng
Điều kiện giao hàng, và không được đưa vào trong Log6 (constraint I) - hơn nữa, sự hiện diện của "M5,1.Dests = {P4}" trong Log6 ngụ ý informa- ngầm
tion rằng M5,1 đã được chuyển giao cho P6. Ngoài ra, sự vắng mặt của P4
trong M5,1.Dests trong rõ ràng cõng thông tin bao hàm ẩn
thông tin rằng M5,1 đã được giao hoặc được đảm bảo để được giao hàng trong trật tự nhân quả để P4, và, do đó, là M5,1.Dests thiết lập để ∅ trong Log6.