The method initialize sets pendings

The method initialize sets pendings and pendingR for all neighbors and the
variable pulse to 0. We have assumed that t,he communication topology is given
by an undirected graph and that comm.neighbors has the list of all neighbors.
The method handleMsg is implemented as follows. When a message is received
at the application, it is determined whether any message has already been received
from the source in the current, pulse. If there is such a message, then this message
belongs to the next pulse and the process waits for rcvEnabled[src] to become
true. Otherwise, this message is meant for this pulse and source is removed from
the list pendingR. At this point, the tag of the message is checked to see if it is a null
message (of type synchNull) used only for the synchronizer. If it is not, the message
is passed on to the application. If a message hns been received in this pulse from
each of the neighbors, that is, pendingR is empt,y, then the application can continue
to the next pulse and the thread that may be blocked in nextpulse is signaled. To
send a message, we simply remove t,he destination from the list pendingS.
Whenever t.he application layer calls nextpulse, t,he synchronizer first. ensures
that, every neighbor is sent exactly one message in the last, pulse. After increnienting
t,he pulse number, it waits to receive exactly one message from every neighbor. This
is achieved bu waiting for t,he list pendingR to be empty. When this condit,ion
becomes true, it is ready for the next pulse.
Note t,hat there is no special requirement for initialization of this synchronizer.
When any process starts pulse I, within D t,ime units all other processes will also
start pulse 1. Therefore, the complexity of initializing the simple synchronizer is

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

Khởi tạo phương pháp đặt pendings và pendingR cho tất cả hàng xóm và các biến xung 0. Chúng tôi đã giả định rằng t, cấu trúc liên kết giao tiếp ông được đưa ra bởi một đồ thị vô hướng và comm.neighbors đó có danh sách tất cả hàng xóm. HandleMsg phương pháp được thực hiện như sau. Khi nhận được một tin nhắn tại các ứng dụng, nó được xác định cho dù bất kỳ thư nào có đã được nhận từ các nguồn trong hiện tại, xung. Nếu có một thông báo như vậy, sau đó thông báo này các xung kế tiếp và chờ đợi quá trình cho rcvEnabled [src] trở thành sự thật. Nếu không, tin nhắn này có nghĩa là cho xung này và nguồn được lấy ra từ pendingR danh sách. Tại thời điểm này, các từ khóa của thư được kiểm tra để xem nếu nó là null một tin nhắn (của loại synchNull) được sử dụng chỉ cho synchronizer. Nếu không, tin nhắn được thông qua vào các ứng dụng. Nếu một hns tin nhắn nhận được trong này pulse từ mỗi của những người hàng xóm, đó là, pendingR là empt, y, sau đó các ứng dụng có thể tiếp tục kế tiếp xung và các chủ đề có thể bị chặn ở nextpulse báo hiệu. Để gửi tin nhắn, chúng tôi chỉ cần loại bỏ t, ông đích từ danh sách pendingS. Bất cứ khi nào t.he lớp ứng dụng gọi nextpulse, t, ông synchronizer lần đầu tiên. đảm bảo rằng, mỗi người hàng xóm được gửi một tin nhắn ở cuối, xung. Sau khi increnienting t, ông xung số, nó chờ đợi để nhận được thông báo đúng một từ mỗi người hàng xóm. Điều này đạt được bu đợi t, ông danh sách pendingR được sản phẩm nào. Khi này condit, ion trở thành sự thật, nó đã sẵn sàng cho các xung kế tiếp. Lưu ý t, mũ có là không có yêu cầu đặc biệt để khởi động của synchronizer này. Khi bắt đầu bất kỳ quá trình xung tôi, trong D t, ime đơn vị tất cả các quá trình sẽ cũng bắt đầu xung 1. Do đó, sự phức tạp của khởi tạo synchronizer đơn giản là