clockj ←− 0; // local counter cloc

clockj ←− 0; // local counter clock at node j SRj[1... n] ←− 0; // SRj[i] is the timestamp of last msg. from i delivered to j LOGj = {(i, clocki, Dests)} ←− {∀i,(i, 0, ∅)};
// Each entry denotes a message sent in the causal past, by i at clocki . Dests is the set of
// remaining destinations for which it is not known that
// Mi,clocki (i) has been delivered, or (ii) is guaranteed to be delivered in CO.

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

clockj ←− 0; Số lượt truy cập địa phương đồng hồ tại nút j SRj [1... n] ←− 0; SRj [i] là dấu thời gian cuối msg. từ tôi chuyển giao cho j LOGj = {(i, clocki, Dests)} ←− {∀i, (i, 0, ∅)};Mỗi mục là bắt các thư được gửi trước đây quan hệ nhân quả, của tôi lúc clocki. Dests là tập hợpcòn lại điểm đến mà nó không được biết rằngMi, clocki (i) đã được vận chuyển, hoặc (ii) được đảm bảo sẽ được chuyển giao trong CO.

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

clockj ← - 0; // Địa phương đồng hồ truy cập tại nút j SRJ [1 ... n] ← - 0; // SRJ [i] là dấu thời gian của msg cuối cùng. từ i giao cho k LOGj = {(i, clocki, Dests)} ← - {∀i, (i, 0, ∅)};
// Mỗi mục biểu thị một tin nhắn gửi trong quá khứ quan hệ nhân quả, bởi tôi tại clocki. Dests là tập hợp các
// khu còn lại mà nó không biết rằng
// Mi, clocki (i) đã được chuyển giao, hoặc (ii) được đảm bảo sẽ được giao trong CO.