Processing at P6Recall that when me

Processing at P6
Recall that when message M5,1 is delivered to P6, only “M5,1.Dests = {P4}” is added to Log6. Further, P6 propagates only “M5,1.Dests = {P4}” (from
Log6) on message M6,2, and this conveys the current implicit informa- tion “M5,1 has been delivered to P6,” by its very absence in the explicit information.

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

Xử lý P6Nhớ lại rằng khi thư M5, 1 được gửi đến P6, chỉ "M5,1.Dests = {P4}" được thêm vào Log6. Hơn nữa, P6 Lan truyền chỉ "M5,1.Dests = {P4}" (từLog6) trên thư M6, 2, và này truyền tải hiện tại tiềm ẩn informa tion "M5, 1 đã được chuyển giao cho P6," bởi vắng mặt rất của nó trong các thông tin rõ ràng.

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

Chế biến tại P6
Nhớ lại rằng khi nhắn M5,1 được gửi đến P6, chỉ có "M5,1.Dests = {P4}" được thêm vào Log6. Hơn nữa, P6 truyền chỉ "M5,1.Dests = {P4}" (từ
Log6) về nhắn M6,2, và điều này truyền tải các tion informa- ngầm hiện nay "M5,1 đã được gửi đến P6," bởi rất vắng mặt của nó trong thông tin rõ ràng.