6.13 ExercisesExercise 6.1 (Charact

6.13 Exercises

Exercise 6.1 (Characterizing causalordering)
1. Prove that the CO property (Definition 6.3) and the message order property (Def- inition 6.5) characterize an identical class of executions.
2. Prove that the CO property (Definition 6.3) and the empty interval property (Def- inition 6.6) characterize an identical class of executions.
Exercise 6.2 Draw the directed graph (T,>→)for each of the executions inFigures 6.2, 6.3, and6.5.
Exercise6.3 GivealineartimealgorithmtodeterminewhetheranA-execution(E,≺)
isRSC.
Hint: Use the definition of a crown and perform a topological sort on the messages using the >→relation.



Exercise 6.4 Show that a non-CO execution must have a crown of size 2.
Exercise 6.5 Synchronous systems were defined in Chapter 5. Synchronous send and receive primitives were also introduced in Chapter 1. Synchronous executions were defined formally in Definition6.8.
These concepts are closely related. Explain carefully the differences and relation- ships between: (i) a synchronous execution, (ii) an (asynchronous) execution that uses synchronous communication, and (iii) a synchronoussystem.
Exercise 6.6 Rewrite the spanning tree algorithm of Figure 5.3using CSP-like nota- tion. You can assume a wildcard operator in a receive call to specify that any sender can bematched.

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

6.13 Bài tập Bài tập 6.1 (đặc trưng causalordering) 1. Chứng minh rằng tài sản CO (Định nghĩa 6.3) và các tài sản để nhắn (Def- inition 6.5) mô tả một lớp giống hệt các vụ hành quyết. 2. Chứng minh rằng tài sản CO (Định nghĩa 6.3) và các tài sản khoảng trống (Def- inition 6.6) mô tả một lớp giống hệt các vụ hành quyết. Tập thể dục 6.2 Vẽ đồ thị có hướng (T,> →) cho mỗi hành inFigures 6.2, 6.3, and6 .5. Exercise6.3 GivealineartimealgorithmtodeterminewhetheranA-thi (E, ≺) isRSC. Gợi ý: Sử dụng định nghĩa của một vương miện và thực hiện một loại topo trên tin nhắn bằng cách sử dụng> → quan hệ. Tập thể dục 6.4 Cho thấy một thực hiện phi CO phải có một vương miện của kích thước 2. Tập thể dục 6,5 hệ thống đồng bộ đã được quy định tại Chương 5. Synchronous gửi và nhận nguyên thủy cũng đã được giới thiệu trong chương 1. hành đồng bộ được xác định chính thức trong Definition6.8. Những khái niệm này liên quan chặt chẽ. Giải thích một cách cẩn thận sự khác biệt và các mối quan hệ giữa:. (I) thực hiện một cách đồng bộ, (ii) một (không đồng bộ) thực hiện có sử dụng thông tin liên lạc đồng bộ, và (iii) một synchronoussystem Tập thể dục 6.6 Viết lại các thuật toán cây khung của hình 5.3using CSP- Giống như lời nota-. Bạn có thể giả định một ký tự đại diện điều hành trong một cuộc gọi nhận được để xác định rằng bất kỳ người gửi có thể bematched.