If P2 issues its update causally after P1 issued its update, then P2’s update should be seen by the replicas after they see P1’s update, in order to preserve the semantics
If P2 issues its update causally after P1 issued its update, then P2’s update should be seen by the replicas after they see P1’s update, in order to preserve the semantics
Nếu P2 vấn đề cập nhật của mình sau khi quan hệ nhân quả P1 ban hành bản cập nhật của nó, sau đó cập nhật P2 nên được nhìn thấy bởi các bản sao sau khi họ thấy bản cập nhật của P1, để bảo toàn ngữ nghĩa