2. If the response op1 (resp) of op

2. If the response op1 (resp) of operation op1 at process Pi occurred before the invocation op2(invoc) of operation op2 by process Pi in Seq, then op1 (adjacent event pair) occurs before op2 (adjacent event pair) in Seq. Condition 1 is the same as that for linearizability. Condition 2 differs from that for linearizability. It specifies that the common order Seq must satisfy only the local order of events at each processor, instead of the global order of non-overlapping events. Hence the order of non-overlapping operations issued by different processors in Seq need not be preserved in Seq.

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

2. Nếu op1 phản ứng (resp) của op1 hoạt động vào quá trình Pi xảy ra trước khi op2 gọi (invoc) của op2 hoạt động của quá trình Pi trong Seq, sau đó op1 (liền kề cặp sự kiện) xảy ra trước khi op2 (liền kề cặp sự kiện) trong Seq. Điều kiện 1 là giống như đối với linearizability. Điều kiện 2 khác nhau từ đó cho linearizability. Nó chỉ ra rằng thứ tự Seq chung phải đáp ứng chỉ trật tự địa phương của các sự kiện tại mỗi bộ xử lý, thay vì trật tự toàn cầu của các sự kiện không chồng chéo. Do đó thứ tự của các hoạt động không chồng chéo do bộ vi xử lý khác nhau trong Seq không cần phải được bảo quản trong Seq.