possible permutations or interleavi

possible permutations or interleavings of the operations issued by the processes. The problem of ensuring memory coherence then becomes the problem
of identifying which of these interleavings are “correct,” which of course
requires a clear definition of “correctness.” The memory consistency model defines the set of allowable memory access orderings. While a traditional definition of correctness says that a correct memory execution is one that returns to each Read operation, the value stored by the most recent Write operation, the very definition of “most recent” becomes ambigious in the presence of concurrent access and multiple replicas of the data item. Thus,a clear definition of correctness is required in such a system; the objective is to disallow the interleavings that make no semantic sense, while not being overly restrictive so as to permit a high degree of concurrency.

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

có thể hoán vị hoặc interleavings của các hoạt động do các quá trình. Vấn đề của việc đảm bảo tính mạch lạc bộ nhớ sau đó trở thành vấn đềxác định mà các interleavings là "đúng," mà tất nhiênđòi hỏi một định nghĩa rõ ràng của "đúng đắn." Mô hình thống nhất bộ nhớ định nghĩa tập cho phép bộ nhớ truy cập orderings. Trong khi một định nghĩa truyền thống của đúng đắn nói rằng một thực hiện bộ nhớ chính xác là một trong đó trả về cho mỗi hoạt động đọc, giá trị được lưu trữ bởi hoạt động viết gần đây nhất, trở thành định nghĩa rất của "đặt" ambigious sự hiện diện của truy cập đồng thời và nhiều bản sao của dữ liệu mục. Vì vậy, một định nghĩa rõ ràng của đúng đắn là cần thiết trong hệ thống như vậy; mục tiêu là để không cho phép interleavings mà làm cho không có ý nghĩa ngữ nghĩa, trong khi không quá hạn chế để cho phép một mức độ cao của concurrency.

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

hoán vị có thể hoặc interleavings của các hoạt động do các quá trình. Vấn đề bảo đảm sự gắn kết bộ nhớ sau đó trở thành vấn đề
của việc xác định đó của các interleavings là "đúng", trong đó tất nhiên
đòi hỏi một định nghĩa rõ ràng về "đúng đắn". Mô hình nhất quán bộ nhớ định nghĩa các bộ orderings truy cập bộ nhớ cho phép. Trong khi một định nghĩa truyền thống về tính đúng đắn cho biết rằng một bộ nhớ thực hiện đúng là một trong đó trả về cho mỗi hoạt động đọc, các giá trị được lưu trữ bởi các hoạt động Write gần đây nhất, chính định nghĩa về "gần đây nhất" trở thành ambigious trong sự hiện diện của các truy cập đồng thời và nhiều bản sao của các mục dữ liệu. Như vậy, một định nghĩa rõ ràng về tính đúng đắn là cần thiết trong một hệ thống như vậy; mục tiêu là để không cho phép các interleavings mà làm cho không có ý nghĩa ngữ nghĩa, trong khi không phải là quá hạn chế để cho phép một mức độ cao đồng thời.