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ả định rằng có tồn tại một ràng buộc vào tin nhắn
truyền lần. Đó (nếu có) phiên bản của phổ biến kiến thức có thể giữ trong các
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ủa bạn
câu trả lời.
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, điều gì sẽ là tối thiểu
số lượng mục trong số các mục n2 của Clki được đảm bảo để là bản sao của
khác mục trong Clki? 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ề tin nhắn
thời gian truyền. Đó (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ủa bạn được sử dụng trong
câu trả lời.
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, tối thiểu là những gì
số lượng các mục trong các mục n2 của Clki đó có bảo đảm là bản sao của
mục khác trong Clki? 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.