Example [6] In the example in Figur

Example [6] In the example in Figure 6.13, the timing diagram illustrates
(i) the propagation of explicit information “P6 ∈ M5,1.Dests” and (ii) the
inference of implicit information that “M5,1 has been delivered to P6, or is guaranteed to be delivered in causal order to P6 with respect to any future messages.” A thick arrow indicates that the corresponding message contains the explicit information piggybacked on it. A thick line during some interval of the time line of a process indicates the duration in which this information resides in the log local to that process. The number “a” next to an event indicates that it is the ath event at that process.

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

Ví dụ [6] trong ví dụ trong hình 6.13, biểu đồ thời gian minh hoạ(i) việc truyền thông tin rõ ràng "P6 ∈ M5,1.Dests" và (ii)suy luận thông tin tiềm ẩn "M5, 1 đã được chuyển giao cho P6, hoặc là bảo đảm sẽ được chuyển giao để quan hệ nhân quả để P6 đối với mọi thư trong tương lai." Một mũi tên dày chỉ ra rằng thư tương ứng chứa thông tin rõ ràng piggybacked trên nó. Một đường dày trong một khoảng thời gian của dòng thời gian của một quá trình cho biết thời gian trong đó thông tin này cư trú trong đăng nhập địa phương để quá trình đó. Số "một" tiếp theo đến một sự kiện chỉ ra rằng nó là sự kiện ath lúc quá trình đó.

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

Ví dụ [6] Trong ví dụ trong hình 6.13, sơ đồ thời gian minh họa
(i) công tác tuyên truyền thông tin rõ ràng "P6 ∈ M5,1.Dests" và (ii) các
suy luận thông tin ngầm rằng "M5,1 đã được gửi đến P6, hoặc là đảm bảo được cung cấp để nhân quả để P6 đối với bất kỳ tin nhắn trong tương lai với. "Một mũi tên dày chỉ ra rằng các thông báo tương ứng có chứa các thông tin rõ ràng cõng trên nó. Một dòng dày trong một khoảng thời gian của dòng thời gian của một quá trình chỉ ra thời gian mà trong đó thông tin này nằm trong sổ ghi địa phương cho quá trình đó. Con số "một" bên cạnh một sự kiện chỉ ra rằng nó là sự kiện ATH vào quá trình đó.