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

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

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.