shown. All three lieutenants take t

shown. All three lieutenants take the majority of (1, 0, 0) which is “0,” the agree- ment value. In Figure 14.4(b), lieutenant Pd is malicious. Despite its behavior as shown, lieutenants Pa and Pb agree on “0,” the value of the commander.

(variables)
boolean: v ←− initial value;
integer: f ←− maximum number of malicious processes, ≤ ⇐(n − 1)/3⇒;
(message type) OM(v, Dests, List, faulty), where v is a boolean,
Dests is a set of destination process i.d.s to which the message is sent,
List is a list of process i.d.s traversed by this message, ordered from most recent to earliest,
faulty is an integer indicating the number of malicious processes to be tolerated.
Oral_Msg (f), where f> 0:
(1) The algorithm is initiated by the commander, who sends his source value
v to all other processes using a OM(v, N, (i),f ) message. The commander
returns his own value v and terminates.
(2) [Recursion unfolding:] For each message of the form OM(vj , Dests, List, f r) received in this round from some process j, the process i uses the value vj it receives from the source j, and using that value, acts as a new source. (If no value is received, a default value is assumed.)
To act as a new source, the process i initiates Oral_Msg (f r − 1), wherein it sends
OM(vj, Dests − {i}, concat((i), L),(f r − 1)) to destinations not in concat((i), L)
in the next round.
(3) [Recursion folding:] For each message of the form OM(vj , Dests, List, f r) received in step 2, each process i has computed the agree- ment value vk, for each k not in List and k •= i, corresponding to the value
received from Pk after traversing the nodes in List, at one level lower in the recursion. If it receives no value in this round, it uses a default value. Process i then uses the value majorityk•∈List,k•=i(vj, vk) as the agreement
value and returns it to the next higher level in the recursive invocation.
Oral_Msg(0):
(1) [Recursion unfolding:] Process acts as a source and sends its value to each other process.
(2) [Recursion folding:] Each process uses the value it receives from the other sources, and uses that value as the agreement value. If no value is received, a default value is assumed.
Algorithm 14.2 Byzantine generals algorithm – exponential number of unsigned messages, n> 3f . Recursive formulation.

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

Hiển thị. Tất cả ba phó mất phần lớn (1, 0, 0) là "0", giá trị đồng ý-ment. Trong hình 14.4(b), phó giám đốc dự án là độc hại. Mặc dù hành vi của nó như minh hoạ, đội phó Pa và Pb đồng ý về "0", giá trị của người chỉ huy.(biến)boolean: v ←− giá trị ban đầu;số nguyên: f ←− tối đa số của quá trình độc hại, ≤ ⇐(n − 1)/3⇒;(tin nhắn) OM (v, Dests, danh sách, bị lỗi), nơi v là một boolean,Dests là một tập hợp các điểm đến quá trình i.d.s mà thư được gửi,Danh sách là một danh sách các quá trình i.d.s ngang qua tin nhắn này, đã ra lệnh từ đặt để sớm nhất,bị lỗi là một số nguyên chỉ số của quá trình độc hại để được dung thứ.Oral_Msg (f), nơi f > 0:(1) thuật toán được khởi xướng bởi người chỉ huy, người gửi của ông giá trị nguồnv để tất cả các quá trình khác bằng cách sử dụng một OM (v, N, (i), f) thông báo. Chỉ huytrả về giá trị của mình v và chấm dứt.(2) [đệ quy unfolding:] cho mỗi tin nhắn của hình thức OM (vj, Dests, danh sách, f r) nhận được trong vòng này từ một số j quá trình, quá trình tôi sử dụng giá trị vj nó nhận được từ nguồn j, và bằng cách sử dụng giá trị đó, hoạt động như một nguồn mới. (Nếu không có giá trị nhận được, một giá trị mặc định giả định.)Để hoạt động như một nguồn mới, quá trình tôi khởi Oral_Msg (f r − 1), trong đó nó sẽ gửiOM(VJ, Dests − {i}, concat((i), L), (f r − 1)) tới các điểm đến không có trong concat((i), L)trong vòng tiếp theo.(3) [đệ quy gấp:] cho mỗi tin nhắn của hình thức OM (vj, Dests, danh sách, f r) nhận được trong bước 2, mỗi quá trình tôi đã tính toán đồng ý-ment giá trị vk, cho mỗi k không có trong danh sách và k • = tôi, tương ứng với giá trịnhận được từ Pk sau khi vượt qua các nút trong danh sách, ở một mức độ thấp hơn ở đệ quy. Nếu nó nhận được không có giá trị trong vòng này, nó sẽ sử dụng giá trị mặc định. Quá trình tôi sau đó sử dụng giá trị majorityk•∈List, k• = i (vj, vk) là Hiệp địnhgiá trị và trở về cấp độ cao hơn tiếp theo trong invocation đệ quy.Oral_Msg(0):(1) [đệ quy unfolding:] quá trình hoạt động như một nguồn và gửi giá trị của nó cho mỗi quá trình khác.(2) [đệ quy gấp:] mỗi quá trình sử dụng giá trị nó nhận được từ các nguồn khác, và sử dụng giá trị đó là giá trị thỏa thuận. Nếu không có giá trị nhận được, một giá trị mặc định giả định.Thuật toán 14.2 Byzantine tướng thuật toán-mũ số lượng tin nhắn unsigned, n > 3f. Công thức đệ quy.

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

được hiển thị. Tất cả ba trung úy mất đa số (1, 0, 0) là "0", giá trị sự thoả thuận. Trong hình 14.4 (b), trung úy Pd là độc hại. Mặc dù hành vi của nó như hiển thị, trung úy Pa và Pb đồng ý về "0", giá trị của người chỉ huy. (Biến) boolean: v ← - giá trị ban đầu; số nguyên: f ← - số lượng tối đa của mã độc hại, ≤ ⇐ (n - 1 ) / 3⇒; (loại tin nhắn) OM (v, Dests, Danh sách, bị lỗi), trong đó v là một boolean, Dests là một tập hợp các quá trình id đích để mà thông điệp được gửi đi, List là một danh sách các quá trình id đi qua bởi thông báo này, đặt hàng từ nhất gần đây để sớm nhất, bị lỗi là một số nguyên cho biết số lượng các chương trình độc hại để được dung thứ. Oral_Msg (f), trong đó f> 0: (1) Các thuật toán được khởi xướng bởi các chỉ huy, người gửi giá trị nguồn của mình v cho tất cả các quá trình khác bằng cách sử dụng một OM (v, N, (i), f) tin nhắn. Người chỉ huy trả v giá trị riêng của mình và chấm dứt. (2) [Recursion unfolding:] Đối với mỗi tin nhắn của OM hình thức (vj, Dests, Danh sách, fr) nhận được trong vòng này từ một số quá trình j, quá trình tôi sử dụng vj giá trị nó nhận được từ các nguồn j, và sử dụng các giá trị đó, hoạt động như một nguồn mới. (Nếu không có giá trị nhận được một giá trị mặc ​​định sẽ được dùng.) Để hoạt động như một nguồn mới, quá trình tôi khởi Oral_Msg (fr - 1), trong đó nó sẽ gửi OM (vj, Dests - {i}, concat ((i) , L), (fr - 1)) tới các điểm đến không concat ((i), L) ở vòng tiếp theo. (3) [Recursion gấp:] Đối với mỗi tin nhắn của mẫu OM (vj, Dests, Danh sách, fr ) nhận được ở bước 2, mỗi quá trình tôi đã tính toán các giá trị vk sự thoả thuận, cho mỗi k không thuộc Danh mục và k = • i, tương ứng với giá trị nhận được từ Vn sau khi di chuyển các nút trong danh sách, ở một mức độ thấp hơn trong đệ quy. Nếu nó nhận không có giá trị trong vòng này, nó sử dụng một giá trị mặc ​​định. Process i sau đó sử dụng các giá trị majorityk • ∈List, k • = i (vj, vk) là thỏa thuận giá trị và trả về nó đến cấp độ cao hơn kế tiếp trong lời gọi đệ quy. Oral_Msg (0): (1) [Recursion unfolding:] Quy trình hoạt động như một nguồn và gửi giá trị của nó cho mỗi quá trình khác. (2) [Recursion gấp:] Mỗi quá trình sử dụng các giá trị nhận được từ các nguồn khác, và sử dụng giá trị đó là giá trị hợp đồng. Nếu không có giá trị nhận được một giá trị mặc ​​định sẽ được dùng. Algorithm 14,2 tướng Byzantine thuật toán - số mũ của tin nhắn không dấu, n> 3f. Xây dựng đệ quy.