Local-read algorithmThe first algor

Local-read algorithm
The first algorithm for SC, given in Algorithm 12.2, is a direct simplification of the algorithm for linearizability, given in Algorithm 12.1. In the algorithm,a Read operation completes atomically, whereas a Write operation does not.Between the invocation of a Write by Pi (line 1b) and its acknowledgement (lines 2a, 2b), there may be multiple Write operations initiated by other processors that take effect at Pi (line 2a). Thus, a Write issued locally has its completion locally delayed. Such an algorithm is acceptable for Readintensive programs.

Local-write algorithm
Algorithm 12.3 does not delay acknowledgement of Writes. For Writeintensive programs, it is desirable that a locally issued Write gets acknowledged immediately (as in lines 2a–2c), even though the total order broadcast for the Write, and the actual update for the Write may not go into effect by updating the variable at the same time (line 3a). The algorithm achieves this at the cost of delaying a Read operation by a processor until all previously issued local Write operations by that same processor have locally gone into effect (i.e., previous Writes issued locally have updated their local variables being written to). The variable counter is used to track the number of Write
operations that have been locally initiated but not completed at any time. A Read operation completes only if there are no prior locally initiated Write operations that have not written to their variables (line 1a), i.e., there are no pending locally initiated Write operations to any variable. Otherwise, a Read operation is delayed until after all previously initiated Write operations have written to their local variables (lines 3b–3d), which happens after the total order broadcasts associated with the Write have delivered the broadcast message locally.

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

Thuật toán Local-đọcCác thuật toán đầu tiên cho SC, được đưa ra trong thuật toán 12.2, là một đơn giản hóa trực tiếp của các thuật toán cho linearizability, được đưa ra trong thuật toán 12,1. Trong thuật toán, một hoạt động đọc hoàn thành atomically, trong khi một hoạt động viết thì không. Giữa invocation viết bởi Pi (dòng 1b) và ghi nhận của nó (đường 2a, 2b), có thể có nhiều hoạt động viết khởi xướng bởi bộ xử lý khác mà có hiệu lực tại Pi (dòng 2a). Vì vậy, viết một phát hành tại địa phương đã hoàn thành nó tại địa phương chậm trễ. Một thuật toán được chấp nhận cho chương trình Readintensive.Thuật toán Local-viếtThuật toán 12.3 không lùi thời hạn ghi nhận của viết. Cho Writeintensive chương trình, đó là mong muốn rằng một ghi phát hành tại địa phương được công nhận ngay lập tức (như trong đường 2a-2 c), mặc dù bộ tổng phát sóng cho viết, và Cập Nhật thực tế cho viết có thể không đi vào hiệu lực bằng cách cập nhật các biến cùng một lúc (dòng 3a). Các thuật toán đạt được điều này với chi phí của trì hoãn một hoạt động đọc bởi một bộ xử lý cho đến khi tất cả trước đây phát hành địa phương viết hoạt động bởi rằng bộ xử lý tương tự tại địa phương đã có hiệu lực (tức là, trước đó viết đã ban hành tại địa phương đã cập nhật của biến địa phương được ghi vào). Số lượt truy cập biến được sử dụng để theo dõi số ghioperations that have been locally initiated but not completed at any time. A Read operation completes only if there are no prior locally initiated Write operations that have not written to their variables (line 1a), i.e., there are no pending locally initiated Write operations to any variable. Otherwise, a Read operation is delayed until after all previously initiated Write operations have written to their local variables (lines 3b–3d), which happens after the total order broadcasts associated with the Write have delivered the broadcast message locally.

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

Local-đọc thuật toán
Thuật toán đầu tiên cho SC, được đưa ra trong Algorithm 12.2, là một đơn giản hóa trực tiếp của các thuật toán cho linearizability, được đưa ra trong thuật toán 12.1. Trong các thuật toán, một hoạt động đọc xong nguyên tử, trong khi một hoạt động Write không not.Between sự cầu khẩn của một Viết bởi Pi (dòng 1b) và sự thừa nhận của nó (đường 2a, 2b), có thể có nhiều hoạt động Write khởi xướng bởi bộ vi xử lý khác có hiệu lực vào Pi (dòng 2a). Như vậy, một Write ban hành tại địa phương đã hoàn thành của nó bị trì hoãn tại địa phương. Một thuật toán như vậy là chấp nhận được cho các chương trình Readintensive. Local-viết thuật toán Thuật toán 12,3 không trì hoãn thừa nhận viết. Đối với chương trình Writeintensive, đó là mong muốn rằng một Write ban hành tại địa phương được công nhận ngay lập tức (như trong dòng 2a-2c), mặc dù tổng số phát sóng để các Write, và cập nhật thực tế cho Write có thể không có hiệu lực bằng cách cập nhật các biến cùng một lúc (dòng 3a). Các thuật toán này đạt được với chi phí của việc trì hoãn một hoạt động đọc bởi một bộ xử lý cho đến khi tất cả các phát hành trước đó Write hoạt động địa phương bởi cùng bộ xử lý tại địa phương đã đi vào hiệu lực (tức là, viết ban hành trước đây tại địa phương đã được cập nhật các biến địa phương của họ được ghi vào). Các quầy biến được sử dụng để theo dõi số lượng Write hoạt động đã được địa phương khởi xướng nhưng không hoàn thành bất cứ lúc nào. Một hoạt động đọc xong chỉ nếu không có trước khi hoạt động tại địa phương khởi xướng Viết đã không được ghi vào biến của họ (dòng 1a), tức là, không có cấp phát khởi xướng các hoạt động tại địa phương Viết thư cho bất kỳ biến. Nếu không, một hoạt động đọc được trì hoãn cho đến khi hoạt động Write sau khi tất cả bắt đầu trước đó đã viết cho các biến địa phương của họ (dòng 3b-3d), mà sẽ xảy ra sau khi tổng số thứ tự chương trình phát sóng liên kết với các Viết đã đưa ra thông điệp phát sóng tại địa phương.