(shared var)int: x;(1) When the mem

(shared var)
int: x;
(1) When the memory manager at Pi receives a Read or Write from application:
(1a) case Read: return value from local replica;
(1b) case Write(x,val): total_order_broadcasti(Write(x, val)) to all processors including itself.
(2) When the memory manager at Pi receives a total_order_broadcastj (Write, x, val) from network:
(2a) write val to local replica of x;
(2b) if i = j then return acknowledgement to application.

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

(chia sẻ var)INT: x;(1) khi người quản lý bộ nhớ ở Pi nhận được một đọc hoặc viết từ ứng dụng:trường hợp (1a) đọc: trở về giá trị từ bản sao địa phương;(1b) trường hợp Write(x,val): total_order_broadcasti (viết (x, val)) để cấm các bộ vi xử lý bao gồm cả bản thân.(2) khi người quản lý bộ nhớ ở Pi nhận được một total_order_broadcastj (viết, x, val) từ mạng:(2a) viết val để các bản sao địa phương của x;(2b) nếu tôi = j sau đó ghi nhận trở lại để ứng dụng.

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

(Var chia sẻ)
int: x;
(1) Khi người quản lý bộ nhớ tại Pi nhận được một Read hay Write từ ứng dụng:
(1a) trường hợp đọc: giá trị trả về từ bản sao địa phương;
(1b) trường hợp Write (x, val): total_order_broadcasti ( Write (x, val)) cho tất cả các bộ vi xử lý bao gồm cả bản thân.
(2) Khi người quản lý bộ nhớ tại Pi nhận total_order_broadcastj (Viết, x, val) từ mạng:
(2a) viết val với bản sao địa phương của x;
(2b) nếu i = j sau đó quay trở lại để xác nhận đơn.