Intuitively, the cyclic dependencie

Intuitively, the cyclic dependencies in a crown indicate that it is not possible to find a linear extension in which all the (s, r) event pairs are adjacent. In other words, it is not possible to schedule entire messages in a serial manner, and hence the execution is not RSC.
To determine whether the RSC property holds in (E, ≺), we need to deter-
mine whether there exist any cyclic dependencies among messages. Rather than incurring the exponential overhead of checking all linear extensions of
E, we can check for crowns by using the test in Figure 6.6. On the set of messages T, we define an ordering >→ such that m >→ mr if and only if s ≺ rr.
Example By drawing the directed graph (T, >→) for each of the executions in Figures 6.2, 6.3, and 6.5, it can be seen that the graphs for Figures 6.2(d) and Figure 6.3 are acyclic. The other graphs have a cycle.

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

Trực giác, phụ thuộc nhóm cyclic thuộc một Vương miện chỉ ra rằng nó không phải là có thể tìm thấy một phần mở rộng tuyến tính trong mà tất cả (s, r) sự kiện cặp được liền kề. Nói cách khác, nó là không thể để sắp xếp toàn bộ tin nhắn một cách nối tiếp, và do đó thực hiện không phải là RSC.Để xác định cho dù tài sản RSC giữ (mi, ≺), chúng ta cần phải ngăn chặn-tôi cho dù có bất kỳ phụ thuộc nhóm cyclic trong thư. Thay vì phát sinh chi phí mũ của việc kiểm tra tất cả các phần mở rộng tuyến tính củaE, chúng tôi có thể kiểm tra cho Vương miện bằng cách sử dụng thử nghiệm trong hình 6.6. Trên các thiết lập của thư T, chúng ta định nghĩa một đặt hàng > → như vậy rằng m > → ông nếu và chỉ nếu s ≺ rr.Ví dụ bằng cách vẽ đồ thị đạo diễn (T, > →) cho mỗi xử tử ở con số 6.2, 6.3 và 6,5, nó có thể được nhìn thấy rằng các đồ thị cho con số 6.2(d) và con số 6.3 là acyclic. Các đồ thị khác có một chu kỳ.

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

Bằng trực giác, sự phụ thuộc tuần hoàn trong một vương miện chỉ ra rằng nó không thể tìm thấy một phần mở rộng tuyến tính trong đó tất cả các (s, r) cặp sự kiện đang cận kề. Nói cách khác, nó không phải là thể lịch trình toàn bộ các tin nhắn trong một cách nối tiếp, và do đó thực hiện không RSC.
Để xác định xem tài sản RSC giữ trong (E, ≺), chúng ta cần để xác định
mỏ có hay không tồn tại bất kỳ cyclic phụ thuộc giữa các tin nhắn. Thay vì phải gánh chịu chi phí theo cấp số nhân của việc kiểm tra tất cả các phần mở rộng tuyến tính của
E, chúng ta có thể kiểm tra cho vương miện bằng thử nghiệm trong hình 6.6. Trên tập hợp các thông điệp T, chúng ta định nghĩa một sắp đặt> → như vậy mà m> → mr nếu và chỉ nếu s ≺ rr.
Ví dụ Bằng cách vẽ các đồ thị có hướng (T,> →) cho mỗi hành trong hình 6.2, 6.3, và 6.5, có thể thấy rằng các mẫu chữ cho hình 6.2 (d) và Hình 6.3 là mạch hở. Các đồ thị khác có một chu kỳ.