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) 1:

6.13 bài tậpTập thể dục 6.1 (Characterizing causalordering)1. chứng minh tài sản CO (định nghĩa 6.3) và thuộc tính thứ tự thư (Def-inition 6.5) đặc trưng một lớp học giống hệt nhau của xử tử.2. chứng minh tài sản CO (định nghĩa 6.3) và sở hữu khoảng thời gian trống (Def-inition 6.6) đặc trưng một lớp học giống hệt nhau của xử tử.Tập thể dục 6.2 vẽ biểu đồ đạo diễn (T, > →) cho mỗi xử tử inFigures 6,2, 6,3, and6.5.Exercise6.3 GivealineartimealgorithmtodeterminewhetheranA-execution(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 sắp xếp tô pô trên các thư bằng cách sử dụng các > →relation. Tập thể dục 6.4 Hiển thị là một thực hiện CO phải có một Vương miện của kích thước 2.Tập thể dục 6.5 đồng bộ hệ thống đã được định nghĩa trong chương 5. Xoay gửi và nhận nguyên thủy cũng đã là giới thiệu trong chương 1. Đồng bộ xử tử đã được định nghĩa chính thức tại Definition6.8.Những khái niệm có liên quan chặt chẽ. Giải thích một cách cẩn thận sự khác biệt và quan hệ-tàu giữa: (i) một thực hiện đồng bộ, (ii) một thực hiện (không đồng bộ) 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ư nota-tion. Bạn có thể giả định một nhà điều hành ký tự đại diện trong một cuộc gọi nhận định rằng bất kỳ người gửi có thể 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.