sent to P6 is delivered in causal o

sent to P6 is delivered in causal order w.r.t. M4,3 sent to P6, it will also be delivered in causal order w.r.t. M5,1 sent to P6.) And as M5,1 is already
delivered to P4, the information “M5,1.Dests = ∅” is piggybacked on M4,3 sent to P3. Similarly, the information “P6 ∈ M5,1.Dests” must be deleted from Log4 as it will no longer be needed, because of constraint II. “M5,1.Dests = ∅”
is stored in Log4 to remember that M5,1 has been delivered or is guaranteed to be delivered in causal order to all its destinations.

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

gửi đến P6 được phân phối trong đơn đặt hàng quan hệ nhân quả w.r.t. M4, 3 cho P6, nó cũng sẽ được cung cấp trong quan hệ nhân quả thứ tự w.r.t. M5, 1 cho P6.) Và như M5, 1 là đãgửi đến P4, thông tin "M5,1.Dests = ∅" piggybacked trên M4, 3 cho P3. Tương tự, các thông tin "P6 ∈ M5,1.Dests" phải được xóa từ Log4 như nó sẽ không còn là cần thiết, bởi vì hạn chế II. "M5,1.Dests = ∅"được lưu trữ trong Log4 để nhớ M5, 1 đã được vận chuyển hoặc được đảm bảo sẽ được chuyển giao trong quan hệ nhân quả để tất cả các điểm đến của nó.

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

gửi đến P6 được giao trong quan hệ nhân quả để wrt M4,3 gửi đến P6, nó cũng sẽ được giao trong quan hệ nhân quả để wrt M5,1 gửi đến P6.) Và như M5,1 đã được
chuyển giao cho P4, những thông tin "M5,1 .Dests = ∅ "được cõng trên M4,3 gửi đến P3. Tương tự như vậy, những thông tin "P6 ∈ M5,1.Dests" phải được xóa từ Log4 vì nó sẽ không còn cần thiết, bởi vì các hạn chế II. "M5,1.Dests = ∅"
được lưu trữ trong Log4 phải nhớ rằng M5,1 đã được giao hoặc được đảm bảo để được giao hàng trong trật tự nhân quả với tất cả các điểm đến của nó.