12.2.2 Sequential consistency Linea

12.2.2 Sequential consistency
Linearizability or strict/atomic consistency is difficult to implement because the absence of a global time reference in a distributed system necessitates that the time reference has to be simulated. This is very expensive. Programmers can deal with weaker models. The first weaker model, that of sequential consistency (SC) was proposed by Lamport [19] and uses logical time reference instead of the global time reference.
Sequential consistency is specified as follows:
• The result of any execution is the same as if all operations of the processors were executed in some sequential order.
• The operations of each individual processor appear in this sequence in the local program order.
Although any possible interleaving of the operations from the different processors is possible, all the processors must see the same interleaving. In this model, even if two operations from different processors (on the same or different variables) do not overlap in a global time scale, they may appear in reverse order in the common sequential order seen by all the processors.

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

12.2.2 nhất quán tuần tự Linearizability hoặc nghiêm ngặt hạt nhân thống nhất là khó khăn để thực hiện bởi vì sự vắng mặt của một tham khảo toàn cầu thời gian trong một hệ thống phân phối đòi hỏi rằng tài liệu tham khảo thời gian đã được mô phỏng. Điều này là rất tốn kém. Lập trình viên có thể đối phó với các yếu hơn các mô hình. Kiểu đầu tiên yếu hơn, đó của tuần tự thống nhất (SC) đã được đề xuất bởi Lamport [19] và sử dụng hợp lý thời gian tham khảo thay vì tham khảo thời gian toàn cầu. Thống nhất tuần tự được chỉ định như sau: • Kết quả thực hiện bất kỳ là giống như thể tất cả hoạt động của bộ vi xử lý đã được thực hiện trong một số thứ tự tuần tự. • Các hoạt động của mỗi bộ xử lý cá nhân xuất hiện theo thứ tự này theo thứ tự địa phương chương trình. Mặc dù bất kỳ cách có thể hoạt động từ các bộ vi xử lý khác nhau là có thể, tất cả các bộ xử lý phải nhìn thấy cùng một cách. Trong mô hình này, ngay cả khi hai hoạt động từ bộ vi xử lý khác nhau (trên các biến cùng hoặc khác nhau) không trùng lặp trong một quy mô toàn cầu thời gian, họ có thể xuất hiện theo thứ tự ngược theo thứ tự tuần tự thường nhìn thấy tất cả các bộ vi xử lý.

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

12.2.2 nhất quán tuần tự
Linearizability hoặc nghiêm ngặt nhất quán / nguyên tử là rất khó thực hiện vì sự vắng mặt của một tham chiếu thời gian toàn cầu trong một hệ thống phân phối đòi hỏi rằng các tài liệu tham khảo thời gian đã được mô phỏng. Điều này là rất tốn kém. Các lập trình viên có thể đối phó với các mô hình yếu. Các mô hình yếu đầu tiên, đó là tính nhất quán tuần tự (SC) đã được đề xuất bởi Lamport [19] và sử dụng tài liệu tham khảo thời gian hợp lý thay vì các tài liệu tham khảo thời gian toàn cầu.
quán tuần tự được quy định như sau:
• Các kết quả của bất kỳ thực là giống như thể tất cả hoạt động của các bộ vi xử lý đã được thực hiện trong một số tuần tự.
• Các hoạt động của mỗi bộ xử lý cá nhân xuất hiện trong dãy này theo thứ tự chương trình địa phương.
Mặc dù bất kỳ interleaving có thể có của các hoạt động từ các bộ vi xử lý khác nhau là có thể, tất cả các bộ vi xử lý phải xem interleaving cùng . Trong mô hình này, ngay cả khi hai hoạt động từ bộ vi xử lý khác nhau (trên các biến giống nhau hoặc khác nhau) không trùng nhau trong một thời gian quy mô toàn cầu, họ có thể xuất hiện theo thứ tự ngược theo thứ tự tuần tự thông thường nhìn thấy bởi tất cả các bộ vi xử lý.