• Inter-process order A Write opera

• Inter-process order A Write operation causally precedes a Read operation issued by another processor if the Read returns a value written by the Write.
• Transitive closure The transitive closure of the above two relations defines the (global) causal order.

Examples The examples in Figure 12.6 illustrate causal consistency:

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

• Xử lý giữa hai thứ tự A viết hoạt động nào đến trước một hoạt động đọc ban hành bởi một bộ xử lý nếu đọc trả về một giá trị viết bởi viết lưu.• Tương lai đóng cửa đóng cửa tương lai của các mối quan hệ hai bên trên xác định bộ quan hệ nhân quả (toàn cầu).Ví dụ các ví dụ trong hình 12.6 minh họa quan hệ nhân quả nhất quán:

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

• Inter-quá trình đặt hàng A hoạt động Write duyên trước một hoạt động đọc do bộ xử lý khác nếu đọc trả về một giá trị được viết bởi các Write.
• đóng cửa Transitive Việc đóng cửa transitive của hai quan hệ trên định nghĩa (toàn cầu) nhằm nhân quả. Ví dụ Các ví dụ trong Hình 12.6 minh họa cho tính nhất quán quan hệ nhân quả: