1. Explicit tracking Tracking of (s

1. Explicit tracking Tracking of (source, timestamp, destination) informa- tion for messages (i) not known to be delivered and (ii) not guaranteed to be delivered in CO, is done explicitly using the l.Dests field of entries in local logs at nodes and o.Dests field of entries in messages. Sets li,a.Dests and oi,a.Dests contain explicit information of destinations to which Mi,a
is not guaranteed to be delivered in CO and is not known to be delivered. The information about “d ∈ Mi,a.Dests” is propagated up to the earliest
events on all causal paths from (i, a) at which it is known that Mi,a is delivered to d or is guaranteed to be delivered to d in CO.

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

1. rõ ràng theo dõi theo dõi (nguồn, dấu thời gian, điểm đến) informa-tion cho tin nhắn (i) không được biết đến để được giao hàng và (ii) không được bảo đảm sẽ được chuyển giao trong CO, được thực hiện một cách rõ ràng bằng cách sử dụng lĩnh vực l.Dests mục trong Nhật ký địa phương tại các nút và o.Dests lĩnh vực mục trong thư. Bộ li,a.Dests và oi,a.Dests chứa các thông tin rõ ràng của các điểm đến để mà Mi, mộtkhông được bảo đảm sẽ được chuyển giao trong CO và không được tìm thấy sẽ được chuyển giao. Thông tin về "d ∈ Mi,a.Dests" tuyên truyền tối đa các sớm nhấtCác sự kiện trên tất cả các đường dẫn quan hệ nhân quả từ (tôi, một) lúc mà nó được biết đến đó Mi, một sẽ được gửi đến d hoặc được đảm bảo sẽ được chuyển giao cho d trong CO.

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

1. Explicit Tracking theo dõi (nguồn, dấu thời gian, địa điểm) informa- tion cho các tin nhắn (i) không biết sẽ được chuyển giao và (ii) không được bảo đảm sẽ được giao trong CO, được thực hiện một cách rõ ràng bằng cách sử dụng các lĩnh vực l.Dests các mục trong bản ghi địa phương tại các nút và o.Dests lĩnh vực mục trong tin nhắn. Bộ li, a.Dests và oi, a.Dests chứa thông tin rõ ràng về địa điểm đến mà Mi, một
không được bảo đảm sẽ được giao trong CO và không biết sẽ được chuyển giao. Các thông tin về "d ∈ Mi, a.Dests" được lan truyền đến sớm nhất
các sự kiện trên tất cả các đường dẫn từ nhân quả (i, a) mà tại đó nó được biết rằng Mi, một là giao cho d hoặc là đảm bảo được giao cho d trong CO.