At event (4, 3), the information “P

At event (4, 3), the information “P6 ∈ M5,1.Dests” in Log4 is propagated on
multicast M4,3 only to process P6 to ensure causal delivery using the Delivery Condition. The piggybacked information on message M4,3 sent to process P3
must not contain this information because of constraint II. (The piggybacked information contains “M4,3.Dests = {P6}.” As long as any future message

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

Tại sự kiện (4, 3), các thông tin "P6 ∈ M5,1.Dests" trong Log4 tuyên truyền trênphát đa hướng M4, 3 chỉ để quá trình P6 để đảm bảo quan hệ nhân quả cung cấp bằng cách sử dụng các điều kiện giao hàng. Về tin nhắn M4, 3 gửi để xử lý P3, piggybackedkhông phải chứa thông tin này do hạn chế II. (Thông tin piggybacked bao gồm "M4,3.Dests = {P6}." Miễn là tương lai bất kỳ tin nhắn

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

Tại sự kiện (4, 3), các thông tin "P6 ∈ M5,1.Dests" trong Log4 được lan truyền trên
multicast M4,3 chỉ để quá trình P6 để đảm bảo giao nhân quả bằng cách sử dụng Điều kiện giao hàng. Các thông tin trên piggybacked nhắn M4,3 gửi đến quá trình P3
không được chứa thông tin này vì hạn chế II. (Các thông tin piggybacked chứa "M4,3.Dests = {} P6." Chừng nào thông tương lai