Since this serial order must be con

Since this serial order must be consistent, it is important that all processors see the writes to a location in the same order (if they bother to look, i.e. to read the location).

Of course, the total order need not actually be constructed at any given point in the machine while executing the program. Particularly in a system with caches, we do not want main memory to see all the memory operations, and we want to avoid serialization whenever possible. We just need to make sure that the program behaves as if some serial order was enforced.

More formally, we say that a multiprocessor memory system is coherent if the results of any exe- cution of a program are such that, for each location, it is possible to construct a hypothetical serial order of all operations to the location (i.e., put all reads/writes issued by all processors into a total order) which is consistent with the results of the execution and in which:

1. operations issued by any particular processor occur in the above sequence in the order in which they were issued to the memory system by that processor, and
2. the value returned by each read operation is the value written by the last write to that location in the above sequence.

Implicit in the definition of coherence is the property that all writes to a location (from the same or different processes) are seen in the same order by all processes. This property is called write serialization. It means that if read operations by processor P1 to a location see the value produced by write w1 (from P2, say) before the value produced by write w2 (from P3, say), then reads by another processor P4 (or P2 or P3) should also not be able to see w2 before w1. There is no need for an analogous concept of read serialization, since the effects of reads are not visible to any pro- cessor but the one issuing the read.

The results of a program can be viewed as the values returned by the read operations in it, per- haps augmented with an implicit set of reads to all locations at the end of the program. From the results, we cannot determine the order in which operations were actually executed by the machine, but only orders in which they appear to execute. In fact, it is not even important in what order things actually happen in the machine or when which bits change, since this is not detect- able; all that matters is the order in which things appear to happen, as detectable from the results of an execution. This concept will become even more important when we discuss memory con- sistency models. Finally, the one additional definition that we will need in the multiprocessor case is that of an operation completing: A read or write operation is said to complete when it has performed with respect to all processors.

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

Vì thứ tự nối tiếp này phải phù hợp, điều quan trọng là tất cả các bộ vi xử lý xem việc viết cho một vị trí trong cùng một thứ tự (nếu họ bận tâm để nhìn, tức là để đọc các vị trí). Tất nhiên, tổng số thứ tự không cần phải thực sự được xây dựng tại bất kỳ cho điểm trong máy trong khi thực hiện chương trình. Đặc biệt là trong một hệ thống với bộ nhớ đệm, chúng tôi không muốn nhớ chính để xem tất cả các hoạt động bộ nhớ, và chúng tôi muốn tránh serialization bất cứ khi nào có thể. Chúng tôi chỉ cần đảm bảo rằng các chương trình ứng xử như một số thứ tự nối tiếp đã được thực thi. Nhiều chính thức, chúng ta nói rằng một hệ thống bộ nhớ đa là mạch lạc nếu kết quả của bất kỳ cution exe- của một chương trình là như vậy mà, đối với mỗi vị trí, nó Có thể xây dựng một trật tự nối tiếp giả thuyết của tất cả các hoạt động cho các vị trí (tức là nói một bài đọc / viết do tất cả các bộ vi xử lý vào một tổng số thứ tự) là phù hợp với kết quả của việc thực hiện và trong đó: 1. hoạt động do bất kỳ xử lý cụ thể xảy ra trong chuỗi trên trong thứ tự mà chúng được phát hành cho các hệ thống bộ nhớ của bộ vi xử lý, và 2. giá trị trả về của mỗi hoạt động đọc là giá trị được viết bởi các viết cuối cùng đến vị trí đó trong trình tự trên. Tiềm ẩn trong định nghĩa của sự gắn kết là những tài sản mà tất cả viết cho một vị trí (từ các quá trình tương tự hoặc khác nhau) được nhìn thấy trong các cùng một đơn đặt hàng của tất cả các quy trình. Khách sạn này được gọi là ghi tuần tự. Nó có nghĩa rằng nếu hoạt động đọc bởi bộ xử lý P1 đến một vị trí nhìn thấy giá trị sản xuất bởi write W1 (từ P2, nói) trước khi giá trị sản xuất bởi write W2 (từ P3, nói), sau đó đọc bởi một P4 bộ xử lý (hoặc P2 hay P3 ) nên cũng không có khả năng nhìn thấy trước W2 W1. Không cần cho một khái niệm tương tự của đọc tuần tự, vì tác dụng của đọc là không thể nhìn thấy bất kỳ cessor trình nhưng cơ quan cấp đọc. Các kết quả của một chương trình có thể được xem như là các giá trị được trả về bởi các hoạt động đọc trong nó , HAPS trọng tăng cường với một tập hợp tiềm ẩn của đọc cho tất cả các địa điểm ở cuối chương trình. Từ những kết quả, chúng tôi không thể xác định thứ tự trong đó các hoạt động đã thực sự được thực hiện bởi máy tính, nhưng chỉ đơn đặt hàng, trong đó họ xuất hiện để thực thi. Trong thực tế, nó không còn quan trọng trong những gì để những điều thực sự xảy ra trong máy hoặc khi mà bit thay đổi, vì đây không phải là detect- thể; tất cả những vấn đề là thứ tự mà những thứ xuất hiện để xảy ra, như phát hiện từ các kết quả của một thực thi. Khái niệm này sẽ trở nên quan trọng hơn khi chúng ta thảo luận về mô hình bộ nhớ sistency dựng. Cuối cùng, một trong những định nghĩa khác mà chúng tôi sẽ cần trong trường hợp đa là của một hoạt động hoàn thành: Một đọc hoặc viết hoạt động được cho là hoàn thành khi nó đã được thực hiện đối với tất cả các bộ vi xử lý với.