Definition 6.11 (RSC execution) [7]

Definition 6.11 (RSC execution) [7] An A-execution (E, ≺) is an RSC execution if and only if there exists a non-separated linear extension of the
partial order (E, ≺).
In the non-separated linear extension, if the adjacent send event and its corresponding receive event are viewed atomically, then that pair of events shares a common past and a common future with each other. The various other characterizations of S-executions seen in Section 6.1.4 are also seen to hold.
To use Definition 6.11 requires checking for all the linear extensions, incurs exponential overhead. You can verify this by trying to create and examine all the linear extensions of the execution in Figure 6.5(b) or (c). Thus, Definition 6.11 does not provide a practical test to determine whether a program written for a non-synchronous system, say a FIFO system,

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

Định nghĩa 6,11 (RSC thực hiện) [7] một A-thực hiện (E, ≺) là một thực hiện RSC nếu và chỉ nếu tồn tại một phòng không tách ra phần mở rộng tuyến tính của cácđơn đặt hàng một phần (E, ≺).Trong phòng không tách ra tuyến tính mở rộng, nếu các liền kề gửi sự kiện và tương ứng của nó nhận được sự kiện được xem atomically, sau đó cặp sự kiện chung một quá khứ chung và một tương lai chung với nhau. Khác nhau khác characterizations của nhìn thấy trong phần 6.1.4 S-xử tử cũng được nhìn thấy để giữ.Để sử dụng định nghĩa 6,11 yêu cầu kiểm tra tất cả các phần mở rộng tuyến tính, phải gánh chịu chi phí mũ. Bạn có thể xác minh điều này bằng cách cố gắng để tạo ra và kiểm tra tất cả các phần mở rộng tuyến tính thực hiện ở con số 6.5(b) hoặc (c). Do đó, định nghĩa 6,11 không cung cấp cho một thử nghiệm thực tế để xác định liệu một chương trình viết cho một hệ thống phòng không đồng bộ, nói là một hệ thống FIFO,

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

Định nghĩa 6.11 (thực hiện RSC) [7] Một A-thi (E, ≺) là một thực RSC nếu và chỉ nếu tồn tại một mở rộng không tách tuyến tính của các
đơn đặt hàng từng phần (E, ≺).
Trong các tuyến tính không tách mở rộng, nếu các sự kiện gửi lân cận và nhận được sự kiện tương ứng của nó được xem nguyên tử, sau đó cặp sự kiện chia sẻ một quá khứ chung và một tương lai chung với nhau. Sự biểu trưng khác nhau của S-hành thấy trong Mục 6.1.4 cũng được nhìn thấy để giữ.
Để sử dụng Định nghĩa 6.11 đòi hỏi phải kiểm tra tất cả các phần mở rộng tuyến tính, phải gánh chịu chi phí theo cấp số nhân. Bạn có thể xác minh điều này bằng cách cố gắng để tạo ra và kiểm tra tất cả các phần mở rộng tuyến tính của các thực thi trong hình 6.5 (b) hoặc (c). Như vậy, định nghĩa 6.11 không cung cấp một kiểm tra thực tế để xác định xem một chương trình viết cho một hệ thống không đồng bộ, nói một hệ thống FIFO,