• As the distributed computation ev

• As the distributed computation evolves, several entries li,a1 , li,a2 ,... such that ∀p, li,ap .Dests =∅ may exist in a node’s log and a mes- sage may be carrying several entries oi,a1 , oi,a2 ,... such that ∀p, oi,ap .Dests = ∅. The second implicit tracking uses a mechanism to pre-
vent the proliferation of such entries. The mechanism is based on the following observation: “For any two multicasts Mi,a1 , Mi,a2 such that a1
< a2, if li,a2 ∈ LOGj, then li,a1 ∈ LOGj. (Likewise for any message.)”
Therefore, if li,a1 .Dests becomes ∅ at a node j, then it can be deleted from LOGj provided ∃ li,a2 ∈ LOGj such that a1 < a2. The presence
of such li,a1 s in LOGj is automatically implied by the presence of entry
li,a2 in LOGj . Thus, for a multicast Mi,z, if li,z does not exist in LOGj , then li,z.Dests =∅ implicitly exists in LOGj iff ∃ li,a ∈ LOGj | a > z.
As a result of the second implicit tracking mechanism, a node does not keep (and a message does not carry) entries of type li,a.Dests =∅ in its
log. However, note that a node must always keep at least one entry of type li,a (the one with the highest timestamp) in its log for each sender node i. The same holds for messages.

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

• Như tính toán phân phối phát triển, một số mục li, a1, li, a2,... sao cho ∀p, li, ap. Dests = ∅ có thể tồn tại trong một node log và mes sage có thể thực hiện một số mục oi, a1, oi, a2,... sao cho ∀p, oi, ap. Dests = ∅. Theo dõi tiềm ẩn thứ hai sử dụng một cơ chế để trướcvent sự gia tăng của các mục. Cơ chế dựa trên các quan sát sau: "cho bất kỳ hai multicast Mi, a1, Mi, a2 như vậy đó a1< a2, nếu li, a2 ∈ LOGj, sau đó li, a1 ∈ LOGj. (Tương tự như vậy cho bất kỳ tin nhắn.)"Vì vậy, nếu li, a1. Dests trở thành ∅ tại một nút j, sau đó nó có thể bị xoá khỏi LOGj cung cấp ∃ li, a2 ∈ LOGj như vậy mà a1 < a2. Sự hiện diệncủa các li, a1 s trong LOGj tự động được gợi ý bởi sự hiện diện của mụcLi, a2 trong LOGj. Vì vậy, cho một Mi multicast, z, nếu li, z không tồn tại trong LOGj, sau đó li,z.Dests = ∅ ngầm tồn tại trong LOGj iff ∃ li, một ∈ LOGj | một > z.Như một kết quả của các cơ chế theo dõi thứ hai tiềm ẩn, một nút không giữ (và tin nhắn không thực hiện) mục của loại li,a.Dests = ∅ trong của nóđăng nhập. Tuy nhiên, lưu ý rằng một nút phải luôn luôn giữ cho ít nhất một mục nhập của loại li, một (một với dấu thời gian cao nhất) trong bản ghi cho mỗi nút gửi tôi. Cùng nắm giữ cho tin nhắn.

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

• Khi tính toán phân tán phát triển, một số mục li, a1, li, a2, ... như vậy mà ∀p, li, ap .Dests = ∅ có thể tồn tại trong nhật ký của một nút và một nhà hiền triết bày những thông điệp có thể được thực hiện một số mục oi, a1, oi, a2, ... như vậy mà ∀p, oi, ap .Dests = ∅. Các theo dõi ngầm thứ hai sử dụng một cơ chế để ngăn
ngừa không để người gia tăng của các entry như vậy. Cơ chế này dựa trên những quan sát sau: "Đối với hai multicast Mi, a1, Mi, a2 như vậy mà a1
<a2, nếu li, a2 ∈ LOGj, sau đó li, a1 ∈ LOGj. (Tương tự như vậy đối với bất kỳ tin nhắn.)
"Do đó, nếu li, a1 .Dests trở ∅ tại một nút j, sau đó nó có thể được xóa khỏi LOGj cung cấp ∃ li, a2 ∈ LOGj như vậy mà a1 <a2. Sự hiện diện
của li như vậy, s a1 trong LOGj được tự động ngụ ý bởi sự hiện diện của entry
li, a2 trong LOGj. Như vậy, đối với một Mi multicast, z, nếu li, z không tồn tại trong LOGj, sau đó li, z.Dests = ∅ ngầm tồn tại trong LOGj iff ∃ li, a ∈ LOGj | a> z.
Như một kết quả của các cơ chế theo dõi ngầm thứ hai, một nút không giữ lại (và một tin nhắn không thực hiện) mục của loại li, a.Dests = ∅ trong của nó
log. Tuy nhiên, lưu ý rằng một nút phải luôn luôn giữ ít nhất một entry của loại li, một (một với các dấu thời gian cao nhất) trong nhật ký của mình cho mỗi nút gửi i. Điều tương tự cũng cho tin nhắn.