An optimal CO algorithm stores in l

An optimal CO algorithm stores in local message logs and propagates on messages, information of the form “d is a destination of M” about a message M sent in the causal past, as long as and only as long as:
(Propagation Constraint I) it is not known that the message M is delivered to d, and
(Propagation Constraint II) it is not known that a message has been sent to d in the causal future of Send(M), and hence it is not guaranteed using a reasoning based on transitivity that the message M will be delivered to d in CO.

The Propagation Constraints also imply that if either (I) or (II) is false, the information “d ∈ M.Dests” must not be stored or propagated, even to
remember that (I) or (II) has been falsified. Stated differently, the information “d ∈ Mi,a.Dests” must be available in the causal future of event ei,a, but:
• not in the causal future of Deliverd(Mi,a), and
• not in the causal future of ek,c, where d ∈ Mk,c.Dests and there is no other
message sent causally between Mi,a and Mk,c to the same destination d.
In the causal future of Deliverd(Mi,a), and Send(Mk,c), the information is redundant; elsewhere, it is necessary. Additionally, to maintain optimality, no other information should be stored, including information about what messages have been delivered. As information about what messages have been delivered (or are guaranteed to be delivered without violating causal order) is necessary for the Delivery Condition, this information is inferred using a set-operation based logic.
The Propagation Constraints are illustrated with the help of Figure 6.12. The message M is sent by process i at event e to process d. The information
“d ∈ M.Dests”:
• must exist at e1 and e2 because (I) and (II) are true;
• must not exist at e3 because (I) is false;
• must not exist at e4, e5, e6 because (II) is false;
• must not exist at e7, e8 because (I) and (II) are false.
Information about messages (i) not known to be delivered and (ii) not guaranteed to be delivered in CO, is explicitly tracked by the algorithm using (source, timestamp, destination) information. The information must be deleted as soon as either (i) or (ii) becomes false. The key problem in designing an optimal CO algorithm is to identify the events at which (i) or (ii) becomes false. Information about messages already delivered and messages guaranteed to be delivered in CO is implicitly tracked without storing or propagating it, and is derived from the explicit information. Such implicit information is used for determining when (i) or (ii) becomes false for the explicit information being stored or carried in messages.




Figure 6.12 Illustrating the necessary and sufficient
conditions for causal d
ordering [21].

i





Message sent to d
Border of causal future of corresponding event


Event at which message is sent to d, and there is no such event on any causal path between event e and this event
Info "d is a dest. of M" must exist for correctness

Info "d is a dest. of M" must not exist for optimality


The algorithm is given in Algorithm 6.3. Procedure SND is executed atomi- cally. Procedure RCV is executed atomically except for a possible interruption in line 2a where a non-blocking wait is required to meet the Delivery Condi- tion. Note that the pseudo-code can be restructured to complete the processing of each invocation of SND and RCV procedures in a single pass of the data structures, by always maintaining the data structures sorted row–major and then column–major.

1. Explicit tracking Tracking of (source, timestamp, destination) informa- tion for messages (i) not known to be delivered and (ii) not guaranteed to be delivered in CO, is done explicitly using the l.Dests field of entries in local logs at nodes and o.Dests field of entries in messages. Sets li,a.Dests and oi,a.Dests contain explicit information of destinations to which Mi,a
is not guaranteed to be delivered in CO and is not known to be delivered. The information about “d ∈ Mi,a.Dests” is propagated up to the earliest
events on all causal paths from (i, a) at which it is known that Mi,a is delivered to d or is guaranteed to be delivered to d in CO.
2. Implicit tracking Tracking of messages that are either (i) already deliv- ered, or (ii) guaranteed to be delivered in CO, is performed implicitly. The information about messages (i) already delivered or (ii) guaranteed to be delivered in CO is deleted and not propagated because it is redundant as far as enforcing CO is concerned. However, it is useful in determining what information that is being carried in other messages and is being stored in logs at other nodes has become redundant and thus can be purged. The semantics are implicitly stored and propagated. This information about messages that are (i) already delivered or (ii) guaranteed to be delivered in

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

Một thuật toán tối ưu CO lưu trữ trong các bản ghi thông báo địa phương và lan truyền trên thư, thông tin của các hình thức "d là một điểm đến m" về một tin nhắn M gửi trong quá khứ quan hệ nhân quả, như là dài như và chỉ miễn là:(Hạn chế tuyên truyền tôi) nó không biết rằng M thông báo được gửi đến d, và(Tuyên truyền khó khăn II) nó không biết rằng một tin nhắn đã được gửi đến d trong tương lai quan hệ nhân quả của Send(M), và do đó nó không được đảm bảo bằng cách sử dụng một lý luận dựa trên transitivity tin nhắn M sẽ được gửi đến d trong CO.Các khó khăn tuyên truyền cũng ngụ ý rằng nếu một trong hai (I) hoặc (II) là sai, thông tin "d ∈ M.Dests" không phải được lưu trữ hoặc tuyên truyền, ngay cả khi đếnHãy nhớ rằng (I) hoặc (II) đã được giả mạo. Nói một cách khác nhau, các thông tin "d ∈ Mi,a.Dests" phải có sẵn trong tương lai quan hệ nhân quả của sự kiện ei, một, nhưng:• không trong tương lai quan hệ nhân quả của Deliverd(Mi,a), và• không trong tương lai quan hệ nhân quả của ek, c, nơi d ∈ Mk,c.Dests và có là không có kháctin nhắn được gửi nào giữa Mi, một và Mk, c đến cùng một đích d.Trong tương lai quan hệ nhân quả của Deliverd(Mi,a), và Send(Mk,c), các thông tin là dự phòng; ở những nơi khác, nó là cần thiết. Ngoài ra, để duy trì điều, không có thông tin khác cần được lưu giữ, bao gồm thông tin về những gì các thư đã được gửi. Như thông tin về những thông điệp có được chuyển giao (hoặc được đảm bảo sẽ được chuyển giao mà không vi phạm trật tự quan hệ nhân quả) là cần thiết cho tình trạng giao hàng, thông tin này suy ra bằng cách sử dụng một thiết lập hoạt động dựa trên logic.Các khó khăn tuyên truyền được minh họa với sự giúp đỡ của con số 6,12. Tin nhắn M được gửi bởi quá trình tôi tại sự kiện e để quá trình d. Thông tin"d ∈ M.Dests":• phải tồn tại ở e1 và e2 vì (I) và (II) là có thật;• không phải tồn tại e3 vì (I) là sai;• không phải tồn tại ở e4, e5, e6 vì (II) là sai;• không phải tồn tại ở e7, e8 vì (I) và (II) là sai.Thông tin về tin nhắn (i) không được biết đến để được giao hàng và (ii) không được bảo đảm sẽ được chuyển giao trong CO, một cách rõ ràng được theo dõi bởi các thuật toán sử dụng (nguồn, dấu thời gian, điểm đến) thông tin. Các thông tin phải được xóa ngay sau khi một trong hai (i) hoặc (ii) trở thành sai. Vấn đề quan trọng trong việc thiết kế một thuật toán CO tối ưu là để xác định các sự kiện tại đó (i) hoặc (ii) trở nên sai. Thông tin về tin nhắn đã gửi và thư bảo đảm sẽ được chuyển giao trong CO ngầm theo dõi mà không cần lưu trữ hoặc tuyên truyền nó, và có nguồn gốc từ thông tin rõ ràng. Thông tin tiềm ẩn như vậy được sử dụng để xác định khi (i) hoặc (ii) trở thành sai để rõ ràng thông tin được lưu trữ hoặc mang trong thư. 6,12 hình minh họa cần và đủCác điều kiện cho quan hệ nhân quả dĐặt hàng [21].tôiTin nhắn gửi đến dCác biên giới của tương lai quan hệ nhân quả của sự kiện tương ứngSự kiện tại tin nhắn đó được gửi đến d, và đó là không có trường hợp như vậy trên bất kỳ đường dẫn quan hệ nhân quả giữa sự kiện e và sự kiện nàyThông tin "d là một đích. m"phải tồn tại cho đúng đắnInfo "d is a dest. of M" must not exist for optimalityThe algorithm is given in Algorithm 6.3. Procedure SND is executed atomi- cally. Procedure RCV is executed atomically except for a possible interruption in line 2a where a non-blocking wait is required to meet the Delivery Condi- tion. Note that the pseudo-code can be restructured to complete the processing of each invocation of SND and RCV procedures in a single pass of the data structures, by always maintaining the data structures sorted row–major and then column–major.1. Explicit tracking Tracking of (source, timestamp, destination) informa- tion for messages (i) not known to be delivered and (ii) not guaranteed to be delivered in CO, is done explicitly using the l.Dests field of entries in local logs at nodes and o.Dests field of entries in messages. Sets li,a.Dests and oi,a.Dests contain explicit information of destinations to which Mi,ais not guaranteed to be delivered in CO and is not known to be delivered. The information about “d ∈ Mi,a.Dests” is propagated up to the earliestevents on all causal paths from (i, a) at which it is known that Mi,a is delivered to d or is guaranteed to be delivered to d in CO.2. tiềm ẩn theo dõi theo dõi các tin nhắn hoặc (i) đã deliv-ered, hoặc (ii) bảo đảm sẽ được chuyển giao trong CO, được thực hiện ngầm. Thông tin về tin nhắn (i) đã được phân phối hoặc (ii) bảo đảm sẽ được chuyển giao trong CO bị xóa và không phổ biến bởi vì nó là dự phòng như xa như thực thi lệnh CO là có liên quan. Tuy nhiên, nó là hữu ích trong việc xác định những thông tin mà đang được tiến hành trong các tin nhắn khác và được lưu trữ trong Nhật ký tại các nút khác đã trở thành dự phòng và do đó có thể được thanh lọc. Ngữ nghĩa ngầm được lưu trữ và tuyên truyền. Thông tin về tin nhắn (i) đã được phân phối này hoặc (ii) bảo đảm sẽ được chuyển giao trong

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

Một cửa hàng tối ưu thuật toán CO trong nhật ký tin địa phương và tuyên truyền về các thông điệp, thông tin dạng "d là điểm đến của M" về tin nhắn M gửi trong thời gian qua quan hệ nhân quả, miễn là và chỉ khi:
(Tuyên truyền Constraint I) nó không được biết rằng thông điệp M là giao cho d và
(Tuyên truyền Constraint II) nó không được biết đến là một thông điệp đã được gửi đến d trong tương lai quan hệ nhân quả của Gửi (M), và do đó nó không được đảm bảo bằng một lý luận dựa trên transitivity rằng thông điệp M sẽ được chuyển giao cho d trong CO. Các ràng buộc Tuyên truyền cũng ngụ ý rằng nếu một trong hai (I) hoặc (II) là sai, những thông tin "d ∈ M.Dests" phải không được lưu trữ hoặc truyền, thậm chí để nhớ rằng (I) hoặc (II) đã bị làm giả. Nói cách khác, những thông tin "d ∈ Mi, a.Dests" phải có sẵn trong tương lai quan hệ nhân quả của ei sự kiện, một, nhưng: • không phải trong tương lai quan hệ nhân quả của deliverd (Mi, a), và • không phải trong tương lai quan hệ nhân quả của ek, c, d ∈ nơi Mk, c.Dests và không có khác nhắn gửi nhân quả giữa Mi, một và Mk, c để cùng một điểm đến d. Trong tương lai quan hệ nhân quả của deliverd (Mi, a), và Send ( Mk, c), các thông tin dư thừa; ở những nơi khác, nó là cần thiết. Ngoài ra, để duy trì tối ưu, không có thông tin khác cần được lưu giữ, bao gồm cả thông tin về những thông điệp đã được giao. Khi thông tin về những thông điệp đã được giao (hoặc được đảm bảo để được cung cấp mà không vi phạm trật tự nhân quả) là cần thiết cho các Điều kiện giao hàng, thông tin này được suy ra bằng cách sử dụng một logic set-hoạt động dựa. Các ràng buộc tuyên truyền được minh họa với sự giúp đỡ của Hình 6.12 . Các tin M được gửi bởi quá trình tôi tại sự kiện điện tử để xử lý d. Các thông tin "d ∈ M.Dests": • phải tồn tại e1 và e2 vì (I) và (II) là đúng sự thật; • không phải tồn tại vì e3 (I) là sai; • không phải tồn tại e4, e5, e6 vì (II) là sai; • không phải tồn tại e7, e8 vì (I) và (II) là sai. Thông tin về các tin nhắn (i) không biết sẽ được chuyển giao và (ii) không được bảo đảm sẽ được giao trong CO, được theo dõi một cách rõ ràng bởi các thuật toán sử dụng (nguồn, dấu thời gian, địa điểm) thông tin. Các thông tin phải được xóa ngay sau khi một trong hai (i) hoặc (ii) trở thành sai. Các vấn đề quan trọng trong việc thiết kế một thuật toán tối ưu CO là xác định các sự kiện mà tại đó (i) hoặc (ii) trở thành sai. Thông tin về các tin nhắn đã được chuyển giao và các tin nhắn được bảo đảm sẽ được giao trong CO ngầm theo dõi mà không cần lưu trữ hoặc truyền bá nó, và bắt nguồn từ những thông tin rõ ràng. Thông tin ẩn như vậy được sử dụng để xác định khi (i) hoặc (ii) trở thành sai cho các thông tin rõ ràng được lưu trữ hoặc mang trong tin nhắn. Hình 6.12 Minh họa cho cần và đủ điều kiện cho nhân quả d đặt hàng [21]. i tin nhắn gửi đến d Border về tương lai quan hệ nhân quả của sự kiện tương ứng với sự kiện mà tại đó thông điệp được gửi đến d, và không có sự kiện như trên bất kỳ con đường quan hệ nhân quả giữa các sự kiện điện tử và sự kiện này Info "d là một dest. M" phải tồn tại cho đúng đắn Info "d là một dest. M "không phải tồn tại để tối ưu Các thuật toán được đưa ra trong Algorithm 6.3. Thủ tục SND được thực thi atomi- biệt. Thủ tục RCV được thực thi nguyên tử ngoại trừ một sự gián đoạn có thể có trong dòng 2a nơi chờ đợi không chặn là cần thiết để đáp ứng các điều kiện giao hàng tion. Lưu ý rằng các pseudo-code có thể được cơ cấu lại để hoàn thành việc xử lý của mỗi lời gọi thủ tục SND và RCV trong một pass duy nhất của cấu trúc dữ liệu, bằng cách luôn duy trì các cấu trúc dữ liệu được sắp xếp theo hàng lớn và sau đó cột lớn. 1. Tracking theo dõi rõ ràng của (nguồn, dấu thời gian, địa điểm) informa- tion cho các tin nhắn (i) không biết sẽ được chuyển giao và (ii) không được bảo đảm sẽ được giao trong CO, được thực hiện xong việc một cách rõ ràng bằng cách sử dụng các lĩnh vực l.Dests các mục trong bản ghi địa phương tại các nút và o.Dests lĩnh vực mục trong tin nhắn. Bộ li, a.Dests và oi, a.Dests chứa thông tin rõ ràng về địa điểm đến mà Mi, một không được bảo đảm sẽ được giao trong CO và không biết sẽ được chuyển giao. Các thông tin về "d ∈ Mi, a.Dests" được lan truyền đến sớm nhất các sự kiện trên tất cả các đường dẫn từ nhân quả (i, a) mà tại đó nó được biết rằng Mi, một là giao cho d hoặc là đảm bảo được giao cho d trong CO. 2. Theo dõi ngầm theo dõi các tin nhắn có hoặc là (i) đến khía cạnh đã deliv-, hoặc (ii) đảm bảo sẽ được giao trong CO, được thực hiện ngầm. Các thông tin về tin nhắn (i) đã được giao hoặc (ii) đảm bảo sẽ được giao trong CO được xóa và không được tuyên truyền bởi vì nó là không cần thiết như xa như thực thi CO là có liên quan. Tuy nhiên, nó rất hữu ích trong việc xác định những thông tin đang được tiến hành trong các tin nhắn khác và đang được lưu trữ trong các bản ghi tại các nút khác đã trở nên dư thừa và do đó có thể được thanh lọc. Các ngữ nghĩa được mặc nhiên được lưu trữ và truyền đi. Thông tin này về các tin nhắn được (i) đã được giao hoặc (ii) đảm bảo sẽ được giao trong