• Figure 12.4(a) The execution is s

• Figure 12.4(a) The execution is sequentially consistent. The global order Seq is: Write(y,2), Read(x,0), Write(x,4), Read(y,2).
• Figure 12.4(b) As the execution is linearizable (seen in Section 12.2.1), it is also sequentially consistent. The global order of operations (corresponding to pairs in Seq), consistent with the real-time occurrence,is: Write(y,2), Write(x,4), Read(x,4), Read(y,2).
• Figure 12.4(c) The execution is not sequentially consistent (and hence not linearizable). The two dependencies: Read9x,0) before Write(x,4), and Read(y,0) before Write(x,2) cannot both be satisfied in a global order while satisfying the local order of operations at each processor. Hence, there does not exist any permutation Seq satisfying conditions 1 and 2.

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

• Hình 12.4 (a) Việc chấp hành là tuần tự phù hợp. Trật tự toàn cầu Seq là: Write (y, 2), Read (x, 0), Viết (x, 4), Đọc (y, 2).
• Hình 12.4 (b) Khi thực hiện là linearizable (xem tại mục 12.2 0,1), nó cũng là tuần tự phù hợp. Trật tự toàn cầu của hoạt động (tương ứng vớicặp trong Seq), phù hợp với thời gian thực sự xuất hiện, là: Write (y, 2), Viết (x, 4), Read (x, 4), Đọc (y, 2).
• Hình 12.4 (c) Các thực hiện là không theo tuần tự phù hợp (và do đó không linearizable). Hai phụ thuộc: Read9x, 0) trước khi Write (x, 4), và đọc (y, 0) trước khi Write (x, 2) có thể không được cả hai được thỏa mãn trong một trật tự toàn cầu trong khi đáp ứng trật tự địa phương hoạt động tại mỗi bộ xử lý. Do đó, có không tồn tại bất kỳ hoán vị Seq đủ điều kiện 1 và 2.