6.2.2 Hierarchy of ordering paradig

6.2.2 Hierarchy of ordering paradigms
Let SYNC (or RSC), CO, FIFO, and A denote the set of all possible executions ordered by synchronous order, causal order, FIFO order, and non- FIFO order, respectively. We have the following results:
• For an A-execution, A is RSC if and only if A is an S-execution.
• RSC ⊂ CO ⊂ FIFO ⊂ A. This hierarchy is illustrated in Figure 6.7(a), and
example executions of each class are shown side-by-side in Figure 6.7(b). Figure 6.1(a) shows an execution that belongs to A but not to FIFO. Figure 6.2(a) shows an execution that belongs to FIFO but not to CO. Figures 6.2(b) and (c) show executions that belong to CO but not to RSC.
• The above hierarchy implies that some executions belonging to a class
X will not belong to any of the classes included in X. Thus, there are more restrictions on the possible message orderings in the smaller classes. Hence, we informally say that the included classes have less concurrency. The degree of concurrency is most in A and least in SYNC.
• A program using synchronous communication is easiest to develop and
verify. A program using non-FIFO communication, resulting in an A- execution, is hardest to design and verify. This is because synchronous order offers the most simplicity due to the restricted number of possibilities, whereas non-FIFO order offers the greatest difficulties because it admits a much larger set of possibilities that the developer and verifier need to account for.
Thus, there is an inherent trade-off between the amount of concurrency pro- vided, and the ease of designing and verifying distributed programs.

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

6.2.2 hierarchy của đặt hàng paradigmsHãy đồng bộ (hoặc RSC), CO, FIFO, và A denote tập của tất cả các vụ xử tử có thể ra lệnh thứ tự đồng bộ, quan hệ nhân quả, FIFO trật tự, và FIFO, tương ứng. Chúng tôi có các kết quả sau:• Cho một thực hiện A, A là RSC khi và chỉ khi A là một S-thực hiện.• RSC ⊂ CO ⊂ FIFO ⊂ A. Hệ thống phân cấp này được minh họa trong hình 6.7(a), vàvụ xử tử ví dụ của mỗi lớp sẽ được hiển thị cạnh nhau ở con số 6.7(b). Tìm 6.1(a) cho thấy một thực hiện thuộc a nhưng không để FIFO. Con số 6.2(a) cho thấy một thực hiện thuộc về FIFO nhưng không phải công nhân vật 6.2(b) và xử tử Hiển thị (c) thuộc về CO nhưng không RSC.• Hệ thống phân cấp trên ngụ ý rằng một số vụ xử tử thuộc một lớp họcX sẽ không thuộc về bất kỳ của các lớp học được bao gồm trong X. Vì vậy, không có các giới hạn khác trên orderings có thể thông báo trong các lớp học nhỏ hơn. Do đó, chúng tôi không chính thức nói rằng các lớp học bao gồm có ít concurrency. Mức độ concurrency là đặt trong A và ít nhất là đồng bộ.• Một chương trình bằng cách sử dụng đồng bộ truyền thông là dễ nhất để phát triển vàxác minh. Một chương trình bằng cách sử dụng giao tiếp FIFO, dẫn đến một thực hiện A, là khó khăn nhất để thiết kế và xác minh. Điều này là do đồng bộ để cung cấp đơn giản nhất do số bị giới hạn khả năng, trong khi-FIFO để cung cấp những khó khăn lớn nhất vì nó thừa nhận một tập hợp lớn hơn nhiều khả năng phát triển và verifier cần vào tài khoản cho.Thus, there is an inherent trade-off between the amount of concurrency pro- vided, and the ease of designing and verifying distributed programs.

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

6.2.2 Hệ thống cấp bậc của mô hình đặt hàng
Hãy SYNC (hoặc RSC), CO, FIFO, và A biểu thị tập hợp của tất cả các vụ hành quyết có thể đặt hàng theo lệnh đồng bộ, trật tự nhân quả, thứ tự FIFO, và thứ tự FIFO không, tương ứng. Chúng tôi có kết quả như sau:
• Đối với A-thực hiện, A là RSC nếu và chỉ nếu A là một S-thực hiện.
• RSC ⊂ ⊂ CO FIFO ⊂ A. hệ thống phân cấp này được minh họa trong hình 6.7 (a), và
ví dụ hành của mỗi lớp được thể hiện side-by-side trong hình 6.7 (b). Hình 6.1 (a) cho thấy một thực thuộc về A nhưng không phải để FIFO. Hình 6.2 (a) cho thấy một thực thuộc về FIFO nhưng không để CO. Hình 6.2 (b) và (c) cho thấy hành quyết thuộc về CO nhưng không RSC.
• Các hệ thống phân cấp trên ngụ ý rằng một số hành thuộc về một lớp
X sẽ không thuộc về bất kỳ của các lớp có trong X. Như vậy, có rất nhiều hạn chế hơn về các orderings nhắn có thể có trong các lớp nhỏ hơn. Do đó, chúng tôi không chính thức nói rằng những khóa học bao gồm có ít đồng thời. Mức độ đồng thời là nhất trong A và nhất là trong SYNC.
• Một chương trình bằng cách sử dụng thông tin liên lạc đồng bộ là dễ nhất để phát triển và
xác minh. Một chương trình sử dụng không FIFO truyền thông, dẫn đến một thực A-, là khó khăn nhất để thiết kế và xác minh. Điều này là bởi vì để đồng bộ cung cấp sự đơn giản nhất do số lượng hạn chế các khả năng, trong khi không FIFO để cung cấp những khó khăn lớn nhất vì nó thừa nhận một tập hợp lớn hơn nhiều khả năng mà các nhà phát triển và kiểm tra xác nhận cần tài khoản cho.
Vì vậy, có một vốn có trade-off giữa số lượng đồng thời trình vided, và sự dễ dàng trong việc thiết kế và thẩm tra chương trình phân phối.