1. Bất kỳ đọc đến một địa điểm (biến đổi) là cần thiết để trở về giá trị được viết bởi các Viết gần đây nhất đến vị trí đó (biến) theo một tham chiếu thời gian toàn cầu.
Đối với các hoạt động mà không chồng chéo lên nhau theo thời gian tham khảo toàn cầu, đặc tả là rõ ràng. Cho các hoạt động chồng chéo lên nhau theo thời gian tham khảo toàn cầu, các thông số kỹ thuật tiếp sau đây là cần thiết.
2. Tất cả các hoạt động xuất hiện để được thực thi nguyên tử và liên tục.
3. Tất cả các bộ xử lý thấy sự sắp đặt cùng một sự kiện, mà là tương đương với
toàn cầu thời gian xảy ra sự kiện không chồng chéo.
Một cách thay thế các quy định cụ thể mô hình nhất quán này là trong điều khoản của "gọi" và "phản ứng" với nhau Đọc Viết và hoạt động , như thể hiện trong hình 12.3. Nhớ lại rằng mỗi hoạt động [13] phải mất một khoảng thời gian hữu hạn và các hoạt động khác nhau do đó bằng cách xử lý khác nhau có thể chồng lên nhau trong time.However, lời kêu cầu và đáp ứng với mỗi lời gọi cả hai có thể được xem như là một cách riêng biệt các sự kiện nguyên tử. Một trình tự thực hiện trong thời gian toàn cầu được xem như là một chuỗi các lời gọi Seq và phản ứng như vậy. Rõ ràng, Seq phải đáp ứng các điều kiện sau đây:
đang được dịch, vui lòng đợi..
