The DSM system enforces a particula

The DSM system enforces a particular memory consistency model; programmers write their programs keeping in mind the allowable interleavings permitted by that specific memory consistency model. A program written for one model may not work correctly on a DSM system that enforces a different model. The model can thus be viewed as a contract between the DSM system and the programmer using that system. We now consider six consistency models, which are related as shown in Figure 12.8.
Notation A write of value a to variable x is denoted as Write(x,a). A read of variable x that returns value a is denoted as Read(x,a). A subscript on these operations is sometimes used to denote the processor that issues these operations.

12.2.1 Strict consistency/atomic consistency/linearizability
The strictest model, corresponding to the notion of correctness on the traditional Von Neumann architecture or the uniprocessor machine, requires that any Read to a location (variable) should return the value written by the most recent Write to that location (variable). Two salient features of such a system are the following: (i) a common global time axis is implicitly available in a uniprocessor system; (ii) each write is immediately visible to all processes.
Adapting this correctness model to a DSM system with operations that can
be concurrently issued by the various processes gives the strict consistency
model, also known as the atomic consistency model. The model is more
formally specified as follows [13, 21]:

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

Hệ thống DSM thi hành một mô hình thống nhất bộ nhớ cụ thể; lập trình viên viết chương trình của họ giữ trong tâm trí cho phép interleavings cho phép mô hình thống nhất bộ nhớ cụ thể đó. Một chương trình viết cho một mô hình có thể không làm việc chính xác trên một hệ thống DSM thi hành một mô hình khác nhau. Các mô hình như vậy có thể được xem như một hợp đồng giữa hệ thống DSM và các lập trình viên sử dụng hệ thống đó. Chúng tôi bây giờ xem xét sáu mô hình thống nhất, có liên quan như minh hoạ trong hình 12.8. Ký hiệu A ghi giá trị một để biến x được kí hiệu là Write(x,a). Một đọc của biến x mà trả về giá trị một được kí hiệu là Read(x,a). Một chỉ số về các hoạt động này đôi khi được sử dụng để biểu thị bộ vi xử lý vấn đề các hoạt động này.12.2.1 nhất quán nghiêm ngặt/nguyên tử nhất quán/linearizability Các mô hình chặt chẽ, tương ứng với khái niệm về tính đúng đắn về kiến trúc Von Neumann truyền thống hoặc máy tính bộ xử lý đơn, đòi hỏi rằng bất kỳ đọc vào vị trí (Tây Bắc) nên trở về giá trị bằng văn bản bởi viết gần đây nhất để vị trí đó (thay đổi). Hai tính năng nổi bật của hệ thống như vậy là như sau: (i) một phổ biến thời gian toàn cầu trục là ngầm có sẵn trong một hệ thống bộ xử lý đơn; (ii) mỗi viết là ngay lập tức hiển thị cho tất cả quá trình.Mô hình này đúng đắn để một hệ thống DSM với hoạt động có thể thích ứngđược đồng thời phát hành bởi các quá trình khác nhau cho sự thống nhất nghiêm ngặtMô hình, còn được gọi là mô hình nguyên tử nhất quán. Các mô hình là thêmformally specified as follows [13, 21]:

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

Hệ thống DSM thực thi một mô hình thống nhất bộ nhớ cụ thể; lập trình viên viết chương trình của họ giữ trong tâm interleavings phép cho phép mô hình thống nhất bộ nhớ cụ thể. Một chương trình viết cho một mô hình có thể không hoạt động chính xác trên một hệ thống DSM mà thi hành một mô hình khác nhau. Mô hình này do đó có thể được xem như là một hợp đồng giữa các hệ thống DSM và các lập trình viên sử dụng hệ thống đó. Bây giờ chúng ta xem xét sáu mô hình thống nhất, có liên quan như trong hình 12.8.
Một ký hiệu ghi các giá trị a đến biến x được ký hiệu là Write (x, a). Một đọc của biến x mà trả về giá trị a được ký hiệu là Read (x, a). Một subscript vào các hoạt động này đôi khi được dùng để biểu thị các bộ vi xử lý mà phát hành các hoạt động này. 12.2.1 nghiêm ngặt nhất quán / nhất quán nguyên tử / linearizability Các mô hình chặt chẽ, tương ứng với khái niệm đúng đắn về kiến trúc Von Neumann truyền thống hoặc máy bộ xử lý đơn, đòi hỏi nào đọc đến một địa điểm (biến) phải trả lại các giá trị được viết bởi các Viết gần đây nhất đến vị trí đó (biến). Hai tính năng nổi bật của hệ thống này như sau: (i) một trục chung toàn cầu thời gian là mặc nhiên có sẵn trong hệ thống bộ xử lý đơn; (Ii) từng viết là ngay lập tức có thể nhìn thấy tất cả các quy trình. Thích ứng với mô hình đúng đắn này cho một hệ thống DSM với hoạt động có thể được đồng thời ban hành bởi các quá trình khác nhau cho sự thống nhất chặt chẽ mô hình, còn được gọi là mô hình nhất quán nguyên tử. Mô hình này được nhiều hơn chính thức được quy định như sau [13, 21]: