equal a value that some correct pro

equal a value that some correct process proposed – not necessarily all of them. We use the definition above except where stated otherwise. Integrity is also known as validity in the literature. To help in understanding how the formulation of the problem translates into an algorithm,consider a system in which processes cannot fail. It is then straightforward to solve consensus. For example, we can collect the processes into a group and have each process reliably multicast its proposed value to the members of the group. Each process waits until it has collected all N values (including its own). It then evaluates the function majority v1 v2 } vN , which returns the value that occurs most often among its arguments, or the special value A D  if no majority exists. Termination is guaranteed by the reliability of the multicast operation. Agreement and integrity are guaranteed by the definition of majority and the integrity property of a reliable multicast. Every process receives the same set of proposed values, and every process evaluates the same function of those values. So they must all agree, and if every process proposed the same value, then they all decide on this value. Note that majority is only one possible function that the processes could use to agree upon a value from the candidate values. For example, if the values are ordered, then the functions minimum and maximum may be appropriate. If processes can crash this introduces the complication of detecting failures, and it is not immediately clear that a run of the consensus algorithm can terminate. In fact, if the system is asynchronous, then it may not; we shall return to this point shortly. If processes can fail in arbitrary (Byzantine) ways, then faulty processes can in principle communicate random values to the others. This may seem unlikely in practice, but it is not beyond the bounds of possibility for a process with a bug to fail in this way. Moreover, the fault may not be accidental, but the result of mischievous or malevolent operation. Someone could deliberately make a process send different values to different peers in an attempt to thwart the others, which are trying to reach consensus. In case of inconsistency, correct processes must compare what they have received with what other processes claim to have received.

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

bằng một giá trị quá trình chính xác một số đề xuất-không nhất thiết phải tất cả chúng. Chúng tôi sử dụng định nghĩa ở trên ngoại trừ trường hợp nêu khác. Tính toàn vẹn là cũng được gọi là hiệu lực trong các tài liệu. Để giúp đỡ trong sự hiểu biết làm thế nào xây dựng của vấn đề dịch vào một thuật toán, xem xét một hệ thống trong đó quá trình không thể thất bại. Sau đó là đơn giản để giải quyết sự đồng thuận. Ví dụ, chúng tôi có thể thu thập các quá trình thành một nhóm và có mỗi quá trình phát đa hướng đáng tin cậy của nó giá trị được đề xuất cho các thành viên của nhóm. Mỗi quá trình chờ đợi cho đến khi nó đã thu thập tất cả các giá trị N (bao gồm cả của riêng mình). Nó sau đó đánh giá chức năng đa v1 v2} vN, mà trả về giá trị xảy ra thường xuyên nhất trong số các đối số của nó, hoặc giá trị đặc biệt A D nếu phần lớn không tồn tại. Chấm dứt được đảm bảo bởi độ tin cậy của các hoạt động phát đa hướng. Thỏa thuận và toàn vẹn được đảm bảo bởi định nghĩa của đa số và tài sản tính toàn vẹn của một phát đa hướng đáng tin cậy. Mọi quá trình nhận được cùng một tập hợp của các đề xuất giá trị, và mọi quá trình đánh giá cùng chức năng của các giá trị. Vì vậy họ phải tất cả đồng ý, và nếu mọi quá trình đề nghị cùng một giá trị, sau đó tất cả chúng đều quyết định về giá trị này. Lưu ý rằng đa là chỉ có một chức năng có thể các quá trình có thể sử dụng để đồng ý theo một giá trị từ các giá trị ứng cử viên. Ví dụ, nếu các giá trị được đặt hàng, sau đó các chức năng tối thiểu và tối đa có thể thích hợp. Nếu quá trình có thể sụp đổ này giới thiệu biến chứng phát hiện thất bại, và nó không phải ngay lập tức rõ ràng rằng một hoạt động của các thuật toán sự đồng thuận có thể chấm dứt. Trong thực tế, nếu hệ thống không đồng bộ, sau đó nó có thể không; chúng tôi sẽ trở lại đến thời điểm này một thời gian ngắn. Nếu quá trình có thể thất bại trong bất kỳ cách (Byzantine), sau đó bị lỗi quá trình có thể về nguyên tắc giao tiếp các giá trị ngẫu nhiên với những người khác. Điều này có vẻ không trong thực tế, nhưng nó không phải là vượt ra ngoài giới hạn của các khả năng cho một quá trình với một lỗi thất bại theo cách này. Hơn nữa, lỗi không có thể tình cờ, nhưng kết quả của hoạt động tinh nghịch hoặc hiểm độc. Ai đó cố ý có thể làm cho một quá trình gửi giá trị khác nhau để bạn đồng trang lứa khác nhau trong một nỗ lực để ngăn chặn người khác, mà đang cố gắng để đạt được sự đồng thuận. Trong trường hợp không thống nhất, chính xác quá trình phải so sánh những gì họ đã nhận được với những gì các quy trình khác tuyên bố đã nhận được.

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

bằng một giá trị số đúng quy trình đề xuất - không nhất thiết phải tất cả trong số họ. Chúng tôi sử dụng định nghĩa trên, trừ trường hợp có quy định khác. Liêm còn được gọi là giá trị trong văn học. Để giúp đỡ trong việc tìm hiểu việc xây dựng các vấn đề chuyển thành một thuật toán, xem xét một hệ thống trong đó các quá trình không thể thất bại. Đó là sau đó đơn giản để giải quyết sự đồng thuận. Ví dụ, chúng ta có thể thu thập các quá trình vào một nhóm và có mỗi quá trình đáng tin cậy multicast giá trị đề xuất của mình cho các thành viên của nhóm. Mỗi quá trình chờ đợi cho đến khi nó đã thu thập tất cả các giá trị N (bao gồm cả của riêng mình). Sau đó nó đánh giá các chức năng đa v1 v2} VN ???? , Trả về giá trị đó xảy ra thường xuyên nhất trong số các đối số của nó, hoặc giá trị AD đặc biệt ?? nếu không có đa số tồn tại. Chấm dứt được đảm bảo bởi độ tin cậy của các hoạt động multicast. Hiệp định và toàn vẹn được đảm bảo theo định nghĩa của đa số và thuộc tính toàn vẹn của một multicast đáng tin cậy. Mỗi quá trình nhận được cùng một tập hợp các giá trị đề xuất, và mọi quá trình đánh giá các chức năng tương tự của những giá trị. Vì vậy, tất cả đều phải đồng ý, và nếu mọi quá trình đề xuất giá trị như nhau, sau đó họ tất cả các quyết định về giá trị này. Lưu ý phần lớn đó chỉ là một chức năng có thể là các quá trình có thể sử dụng để thống nhất một giá trị từ các giá trị ứng cử viên. Ví dụ, nếu các giá trị được sắp xếp, sau đó các chức năng tối thiểu và tối đa có thể thích hợp. Nếu quá trình có thể sụp đổ này giới thiệu các biến chứng phát hiện thất bại, và nó không phải là ngay lập tức rõ ràng là một hoạt động của các thuật toán thống nhất có thể chấm dứt. Trong thực tế, nếu hệ thống không đồng bộ, sau đó nó có thể không; chúng tôi sẽ trở lại điểm này trong thời gian ngắn. Nếu quá trình có thể thất bại trong bất kỳ cách (Byzantine), sau đó quá trình bị lỗi có thể về nguyên tắc giao tiếp giá trị ngẫu nhiên với những người khác. Điều này có vẻ khó xảy ra trong thực tế, nhưng nó không phải là vượt ra ngoài giới hạn của khả năng cho một quá trình với một lỗi thất bại theo cách này. Hơn nữa, lỗi có thể không phải tình cờ, nhưng kết quả của hoạt động tinh nghịch hay ác độc. Một người nào đó cố tình có thể làm cho một quá trình gửi các giá trị khác nhau với các đồng nghiệp khác nhau trong một nỗ lực để ngăn chặn những người khác, mà đang cố gắng để đạt được sự đồng thuận. Trong trường hợp không thống nhất, quy trình đúng phải so sánh những gì họ đã nhận được những gì với các quá trình khác khẳng định đã nhận được.