(Uniform) Reliable multicast of M.V

(Uniform) Reliable multicast of M.
Validity If a correct process multicasts M, then all correct processes will eventually deliver M.
(Uniform) agreement If a correct (or faulty) process delivers M, then all correct processes will eventually deliver M.
(Uniform) integrity Every correct (or faulty) process delivers M at most once, and only if M was previously multicast by sender(M).
The validity property states that once the multicast is initiated by a correct process, it will go to completion. The agreement property states that all correct processes get the same view of a message, irrespective of whether a correct process or a faulty process broadcasts it. The integrity property states that correct processes have non-duplicate delivery of messages, and that they



are not delivered spurious messages. While the regular agreement property permits a faulty process to deliver a message that is never delivered to any correct process, this undesirable behavior can be problematic in applications such as atomic commit in database protocols, and is explicitly ruled out by uniform agreement. While the regular Integrity property permits a faulty process to deliver a message multiple times, and to deliver a message that was never sent, this behavior is explicitly ruled out by uniform integrity.
The orderings FIFO order, causal order, and total order are now defined for multicasts, in both the regular and uniform flavors. The uniform flavor requires that even faulty processes do not violate the ordering properties. These def- initions of the regular and uniform flavors are superimposed on the basic definition of a (uniform) reliable multicast, given above. The regular flavor and the uniform flavor of each definition is read using the semantics above for parsing the corresponding flavors of multicast. In these definitions which deal with the relative order of messages, it is important that the multicast groups are identical, in which case the messages get broadcast within the common group.

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

(Trang phục) Phát đa hướng đáng tin cậy của M.Tính hợp lệ nếu một quá trình chính xác multicast M, sau đó tất cả các quy trình chính xác cuối cùng sẽ cung cấp M.Thỏa thuận (thống nhất) nếu một quá trình chính xác (hoặc bị lỗi) cung cấp M, sau đó tất cả các quy trình chính xác cuối cùng sẽ cung cấp M.Tính toàn vẹn (thống nhất) mỗi quá trình chính xác (hoặc bị lỗi) cung cấp M ở hầu hết khi và chỉ khi M là trước đây phát đa hướng bởi sender(M).Tài sản giá trị nói rằng một khi phát đa hướng được khởi xướng bởi một quá trình chính xác, nó sẽ đi để hoàn thành. Bất động sản thỏa thuận nói rằng tất cả các quy trình chính xác nhận được cùng một quan điểm của một tin nhắn, không phân biệt cho dù một quá trình chính xác hoặc một quá trình bị lỗi phát sóng nó. Bất động sản toàn vẹn tiểu bang đúng quy trình có không trùng lặp gửi tin nhắn, và rằng họ không được phân phối thư giả mạo. Trong khi bất động sản thường xuyên thỏa thuận cho phép một quá trình bị lỗi để đưa ra thông báo không bao giờ được gửi đến bất kỳ quá trình chính xác, hành vi không mong muốn này có thể có vấn đề trong các ứng dụng chẳng hạn như các cam kết nguyên tử trong giao thức cơ sở dữ liệu, và một cách rõ ràng loại trừ bởi thỏa thuận thống nhất. Trong khi bất động sản toàn vẹn thường xuyên cho phép một quá trình bị lỗi để đưa ra thông báo nhiều lần, và đưa ra thông báo đã không bao giờ được gửi, hành vi này một cách rõ ràng loại trừ bởi thống nhất toàn vẹn.Orderings FIFO trật tự, quan hệ nhân quả thứ tự, và tất cả các đơn đặt hàng được xác định cho multicast, trong cả hai thường xuyên và thống nhất các hương vị. Các hương vị thống nhất đòi hỏi rằng thậm chí bị lỗi quá trình không vi phạm các thuộc tính đặt hàng. Những def-initions của các hương vị thường xuyên và thống nhất được chồng về định nghĩa cơ bản của một phát đa hướng đáng tin cậy (thống nhất), được đưa ra ở trên. Các hương vị thường xuyên và hương vị thống nhất của mỗi định nghĩa đọc bằng cách sử dụng ngữ nghĩa trên cho phân tích những hương vị tương ứng của multicast. Trong các định nghĩa mà đối phó với đơn đặt hàng tương đối của tin nhắn, nó là quan trọng rằng nhóm phát đa hướng là giống hệt nhau, trong trường hợp các tin nhắn nhận được phát sóng trong nhóm phổ biến.

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

(Uniform) multicast đáng tin cậy của M.
Hiệu lực Nếu một quá trình multicast đúng M, sau đó tất cả các quá trình chính xác cuối cùng sẽ cung cấp M.
(Uniform) thỏa thuận Nếu một quá trình chính xác (hoặc bị lỗi) mang M, sau đó tất cả các quá trình chính xác cuối cùng sẽ cung cấp M.
( Uniform) vẹn Mỗi quá trình chính xác (hoặc bị lỗi) mang M nhất là một lần, và chỉ khi M trước đây được multicast bởi người gửi (M).
Các trạng thái tài sản giá trị mà một khi multicast được khởi xướng bởi một quá trình chính xác, nó sẽ đi đến kết thúc. Các tài sản thỏa thuận rằng tất cả các quá trình xác nhận quan điểm tương tự của một tin nhắn, không phân biệt một quá trình chính xác hoặc một quá trình bị lỗi chương trình phát sóng nó. Thuộc tính toàn vẹn cho rằng quy trình đúng phải không trùng lặp phối các tin nhắn, và rằng họ không được giao các thông điệp giả mạo. Trong khi tài sản thỏa thuận thông thường cho phép một quá trình bị lỗi để cung cấp một thông điệp rằng không bao giờ được giao cho bất kỳ quá trình chính xác, hành vi không mong muốn này có thể có vấn đề trong các ứng dụng như nguyên tử cam kết trong các giao thức cơ sở dữ liệu, và được một cách rõ ràng bằng cách loại trừ thỏa thuận thống nhất. Trong khi tài sản Liêm thường xuyên cho phép một quá trình bị lỗi để cung cấp một thông điệp nhiều lần, và để cung cấp một thông điệp rằng không bao giờ được gửi đi, hành vi này được một cách rõ ràng loại trừ bằng cách tích hợp thống nhất. Các orderings để FIFO, trật tự nhân quả, và tổng số đơn đặt hàng đang được xác định cho multicast, trong cả những hương vị thường xuyên và đồng bộ. Các hương vị thống nhất đòi hỏi rằng ngay cả các quá trình bị lỗi không vi phạm các tính chất đặt hàng. Những initions def- của hương vị thường xuyên và đồng phục được chồng lên trên các định nghĩa cơ bản của một (thống nhất) multicast đáng tin cậy, được đưa ra ở trên. Các hương vị thường xuyên và các hương vị thống nhất của từng định nghĩa được đọc bằng cách sử dụng ngữ nghĩa ở trên để phân tích những hương vị tương ứng của multicast. Trong những định nghĩa mà đối phó với thứ tự tương đối của thông điệp, điều quan trọng là các nhóm multicast là giống hệt nhau, trong trường hợp các thông điệp được phát sóng trong nhóm phổ biến.