(1a) clockj ←− clockj + 1;(1b) for

(1a) clockj ←− clockj + 1;
(1b) for all d ∈ M.Dests do:
OM ←− LOGj ; // OM denotes OMj,clock
for all o ∈ OM , modify o.Dests as follows:
if d •∈ o.Dests then o.Dests ←− (o.Dests M.Dests);
if d ∈ o.Dests then o.Dests ←− (o.Dests M.Dests) {d};
// Do not propagate information about indirect dependencies that are
// guaranteed to be transitively satisfied when dependencies of M are satisfied.
for all os,t ∈ OM do
if os,t.Dests =∅ (∃or ∈ OM | t< tr ) then OM ←− OM {os,t};
// do not propagate older entries for which Dests field is ∅
send (j, clockj, M, Dests, OM ) to d;
(1c) for all l ∈ LOGj do l.Dests ←− l.Dests Dests;
// Do not store information about indirect dependencies that are guaranteed
// to be transitively satisfied when dependencies of M are satisfied.
Execute PURGE_NULL_ENTRIES(LOGj); // purge l ∈ LOGj if l.Dests =∅
(1d) LOGj ←− LOGj {(j, clockj, Dests)}.

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

(1a) clockj ←− clockj + 1;(1b) cho tất cả d ∈ M.Dests làm:OM ←− LOGj; OM là bắt OMj, đồng hồcho tất cả o ∈ OM, sửa đổi o.Dests như sau:nếu d •∈ o.Dests sau đó o.Dests ←− (o.Dests M.Dests);nếu d ∈ o.Dests sau đó o.Dests ←− (o.Dests M.Dests) {d};Không tuyên truyền thông tin về phụ thuộc gián tiếp cóđảm bảo được transitively hài lòng khi sự phụ thuộc của M được hài lòng.cho tất cả các hệ điều hành, làm t ∈ OMNếu os,t.Dests = ∅ (∃or ∈ OM | t < tr) sau đó OM ←− OM {os,} t;không tuyên truyền Cu hơn mục cho Dests những lĩnh vực là ∅gửi (j, clockj, M, Dests, OM) d;(1c) cho tất cả l ∈ LOGj do l.Dests ←− l.Dests Dests;Không lưu trữ thông tin về phụ thuộc gián tiếp được bảo đảmđể được transitively hài lòng khi sự phụ thuộc của M được hài lòng.Thực hiện PURGE_NULL_ENTRIES(LOGj); tẩy l ∈ LOGj nếu l.Dests = ∅ (1d) LOGj ←− LOGj {(j, clockj, Dests)}.

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

(1a) clockj ← - clockj + 1;
(1b) cho tất cả các d ∈ M.Dests làm:
OM ← - LOGj; // OM biểu OMj, đồng hồ
cho tất cả o ∈ OM, sửa đổi o.Dests như sau:
nếu d • ∈ o.Dests sau đó o.Dests ← - (o.Dests M.Dests);
nếu d ∈ o.Dests sau đó o.Dests ← - (o.Dests M.Dests) {d};
// Đừng tuyên truyền thông tin về phụ thuộc gián tiếp mà
// đảm bảo được transitively hài lòng khi phụ thuộc của M là hài lòng.
cho tất cả các os, t ∈ OM làm
nếu os, t.Dests = ∅ (∃or ∈ OM | t <tr) thì OM ← - OM {os, t};
// không tuyên truyền mục cũ mà Dests trường được ∅
gửi (j, clockj, M, Dests, OM) đến d;
(1c) cho tất cả các l ∈ LOGj làm l.Dests ← - l.Dests Dests;
// Không lưu trữ thông tin về các phụ thuộc gián tiếp này được đảm bảo
// là transitively hài lòng khi sự phụ thuộc của M là hài lòng.
Thực PURGE_NULL_ENTRIES (LOGj); // Purge l ∈ LOGj nếu l.Dests = ∅
(1d) LOGj ← - LOGj {(j, clockj, Dests)}.