(2a) // Delivery Condition: ensure

(2a) // Delivery Condition: ensure that messages sent causally before M are delivered.
for all om,tm ∈ OM do
if j ∈ om.tm .Dests wait until tm ≤ SRj[m]; (2b) Deliver M; SRj[k] ←− tk;
(2c) OM ←− {(k, tk, Dests)} OM ;
for all om,tm ∈ OM do om,tm .Dests ←− om,tm .Dests {j};
// delete the now redundant dependency of message represented by om,tm sent to j
(2d) // Merge OM and LOGj by eliminating all redundant entries.
// Implicitly track “already delivered” & “guaranteed to be delivered in CO”
// messages.
for all om,t ∈ OM and ls,tr ∈ LOGj such that s = m do if t< tr ls,t •∈ LOGj then mark om,t ;
// ls,t had been deleted or never inserted, as ls,t.Dests = ∅ in the causal past
if tr

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

(2a) / / điều kiện giao hàng: đảm bảo rằng thư được gửi nào trước khi M được phân phối.Đối với tất cả om, tm ∈ OM làmNếu j ∈ om.tm. Dests chờ đợi cho đến khi tm ≤ SRj [m]; cung cấp (2b) M; SRj [k] ←− tk;(2c) OM ←− {(k, tk, Dests)} OM;Đối với tất cả om, tm ∈ OM làm om, tm. Dests ←− om, tm. Dests {j};xóa phụ thuộc bây giờ dự phòng của thông báo đại diện bởi om, tm cho j(2d) / / merge OM và LOGj bằng cách loại bỏ tất cả các mục dự phòng.Ngầm theo dõi "đã gửi" & "đảm bảo sẽ được chuyển giao trong CO"tin nhắn.cho tất cả các om, t ∈ OM và ls, tr ∈ LOGj như vậy mà s = m làm nếu t < tr ls, t •∈ LOGj sau đó đánh dấu om, t;LS, t đã xóa hoặc không bao giờ lắp, như ls,t.Dests = ∅ trong quá khứ quan hệ nhân quảNếu tr om, tr •∈ OM vì ls, tr đã trở thành ∅ tại một tiến trình trong quá khứ quan hệ nhân quảXóa đánh dấu tất cả các yếu tố trong OM và LOGj;Xoá mục về dự phòng thông tincho tất cả ls, tr ∈ LOGj và om, t ∈ OM, sao cho s = m tr = t làmLS, tr. Dests ←− ls, tr. Dests om,t.Dests;xóa các điểm đến cho việc phân phối màĐiều kiện hài lòng hoặc đảm bảo được hài lòng theo om, tXóa om, t từ OM; thông tin đã được lắp trên ls, tr LOGj ←− LOGj OM; hợp nhất các thông tin không dự phòng của OM vào LOGjPURGE_NULL_ENTRIES(LOGj) (2e). Tẩy cũ hơn mục l cho đó l.Dests = ∅ PURGE_NULL_ENTRIES (Logj): / / tẩy cũ hơn mục l cho đó l.Dests = ∅ làngầm suy ra cho tất cả ls, t ∈ Logj làmNếu ls,t.Dests = ∅ (∃lr ∈ Logj | t < tr) sau đó Logj ←− Logj {ls, t}.

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

(2a) // giao hàng Điều kiện: đảm bảo thông điệp gửi nhân quả trước khi M được giao.
Cho tất cả om, tm ∈ OM làm
nếu j ∈ om.tm .Dests đợi cho đến khi tm ≤ SRJ [m]; (2b) Cung cấp M; SRJ [k] ← - tk;
(2c) OM ← - {(k, tk, Dests)} OM;
cho tất cả om, tm ∈ OM làm om, tm .Dests ← - om, tm .Dests {j};
// xóa phụ thuộc doanh nghiệp dôi dư của tin đại diện bởi om, tm gửi đến j
(2d) // Merge OM và LOGj bằng cách loại bỏ tất cả các mục không cần thiết.
// Mặc nhiên theo dõi "đã giao" & "được đảm bảo sẽ được giao trong CO"
/ / tin nhắn.
cho tất cả om, t ∈ OM và ls, tr ∈ LOGj như vậy mà s = m làm gì nếu t <tr ls, t • ∈ LOGj sau đó đánh dấu om, t;
// ls, t đã bị xóa hoặc không bao giờ được đưa vào, như ls, t.Dests = ∅ trong quá khứ nhân quả
nếu tr// Om, tr • ∈ OM vì ls, tr đã trở thành ∅ tại quá trình khác trong quá khứ nhân quả
Xóa tất cả các yếu tố đánh dấu OM và LOGj;
// xóa các mục về thông tin dự phòng
cho tất cả các ls, tr ∈ LOGj và om, t ∈ OM, như vậy mà s = m tr = t làm
ls, tr .Dests ← - ls, tr .Dests om, t.Dests;
// xóa những điểm đến mà Delivery
// Điều kiện là hài lòng hoặc đảm bảo để được thoả mãn khi mỗi om, t
Xóa om, t từ OM; // Thông tin đã được đưa vào ls, tr LOGj ← - LOGj OM; // Trộn thông tin không dự phòng của OM vào LOGj
(2e) PURGE_NULL_ENTRIES (LOGj). // Tẩy mục cũ hơn l mà l.Dests = ∅
PURGE_NULL_ENTRIES (Logj): // Tẩy mục cũ hơn l mà l.Dests = ∅ được
// ngầm suy ra cho tất cả các ls, t ∈ Logj làm nếu ls, t.Dests = ∅ (∃lr ∈ Logj | t <tr) sau đó Logj ← - Logj {ls, t}.