Condition 1 is the same as that for

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) 1:

Điều kiện 1 là giống như cho linearizability. Điều kiện 2 khác từ cho linearizability. Nó xác định thứ tự phổ biến Seq phải đáp ứng chỉ có bộ địa phương của các sự kiện tại mỗi bộ vi xử lý, thay vì Huân không chồng chéo các sự kiện, toàn cầu. Do đó các thứ tự của các hoạt động phòng không chồng chéo do bộ vi xử lý khác nhau trong Seq không cần được bảo quản trong và

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

Đ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.