Exercise 8.4 In Theorem 8.3, assume

Exercise 8.4 In Theorem 8.3, assume that there exists an upper bound on message transmission times. Which (if any) variant of common knowledge can hold in the system? Please state your assumptions clearly to justify the reasoning used in your answer.
Exercise 8.5 Consider the matrix clocks given in Algorithm 8.5. At any point in time after the execution of atomic steps MC0, MC1, MC2, or MC3, what is the minimum number of entries among the n2 entries of Clki that are guaranteed to be replicas of other entries in Clki? Identify the exact set(s) of elements of the array Clki that will necessarily be identical.

Results (Vietnamese) 1:

Tập thể dục định lý tại 8.4 8.3, giả sử rằng có tồn tại một ràng buộc về thời gian truyền tin nhắn. Đó (nếu có) phiên bản của phổ biến kiến thức có thể giữ trong hệ thống? Xin vui lòng nhà nước của bạn giả định rõ ràng để biện minh cho lý do được sử dụng trong câu trả lời của bạn.
tập thể dục xem xét 8,5 đồng hồ ma trận được đưa ra trong thuật toán 8.5. Tại bất kỳ điểm nào trong thời gian sau khi thực hiện các bước nguyên tử MC0, MC1, MC2, hoặc MC3, số mục trong số các mục n2 của Clki được đảm bảo để là bản sao của các mục trong Clki, tối thiểu là gì? Xác định set(s) chính xác của các yếu tố của các mảng Clki nhất thiết sẽ giống hệt nhau.

Results (Vietnamese) 2:

Tập thể dục 8,4 Trong lý 8.3, giả định rằng có tồn tại một trên ràng buộc về thời gian truyền tin. Đó (nếu có) biến thể của kiến thức thông thường có thể giữ trong hệ thống? Xin ghi rõ các giả định của bạn rõ ràng để biện minh cho lý luận được sử dụng trong câu trả lời của bạn.
Tập thể dục 8.5 Xem xét các ma trận đồng hồ được đưa ra trong thuật toán 8.5. Tại bất kỳ thời điểm nào sau khi thực hiện các bước nguyên tử MC0, MC1, MC2, hoặc MC3, số lượng tối thiểu các mục trong các mục n2 của Clki được đảm bảo được bản sao các mục khác trong Clki là gì? Xác định các thiết lập chính xác (s) của các yếu tố của mảng Clki rằng nhất thiết sẽ giống hệt nhau.