6.3.2 Algorithm for binary rendezvo

6.3.2 Algorithm for binary rendezvous
Various algorithms were proposed to implement binary rendezvous in the 1980s [1, 16]. These algorithms typically share the following features. At each process, there is a set of tokens representing the current interactions that are enabled locally. If multiple interactions are enabled, a process chooses one of them and tries to “synchronize” with the partner process. The problem reduces to one of scheduling messages satisfying the following constraints:
• Schedule on-line, atomically, and in a distributed manner, i.e., the schedul- ing code at any process does not know the application code of other processes.
• Schedule in a deadlock-free manner (i.e., crown-free), such that both the
sender and receiver are enabled for a message when it is scheduled.
• Schedule to satisfy the progress property (i.e., find a schedule within a
bounded number of steps) in addition to the safety (i.e., correctness) property.

Additional features of a good algorithm are: (i) symmetry or some form of fairness, i.e., not favoring particular processes over others during scheduling, and (ii) efficiency, i.e., using as few messages as possible, and involving as low a time overhead as possible.



We now outline a simple algorithm by Bagrodia [1] that makes the fol- lowing assumptions:
1. Receive commands are forever enabled from all processes.
2. A send command, once enabled, remains enabled until it completes, i.e., it is not possible that a send command gets disabled (by its guard getting falsified) before the send is executed.
3. To prevent deadlock, process identifiers are used to introduce asymmetry to break potential crowns that arise.
4. Each process attempts to schedule only one send event at any time.
The algorithm illustrates how crown-free message scheduling is achieved on-line.
The message types used are: (i) M, (ii) ack(M), (iii) request(M), and (iv) permission(M). A process blocks when it knows that it can successfully syn- chronize the current message with the partner process. Each process maintains a queue that is processed in FIFO order only when the process is unblocked. When a process is blocked waiting for a particular message that it is currently synchronizing, any other message that arrives is queued up.
Execution events in the synchronous execution are only the send of the mes- sage M and receive of the message M. The send and receive events for the other message types – ack(M), request(M), and permission(M) which are con- trol messages – are under the covers, and are not included in the synchronous execution. The messages request(M), ack(M), and permission(M) use M’s unique tag; the message M is not included in these messages. We use cap- ital SEND(M) and RECEIVE(M) to denote the primitives in the application execution, the lower case send and receive are used for the control messages.
The algorithm to enforce synchronous order is given in Algorithm 6.1. The key rules to prevent cycles among the messages are summarized as follows and illustrated in Figure6.9:
• To send to a lower priority process, messages M and ack(M) are involved
in that order. The sender issues send(M) and blocks until ack(M) arrives. Thus, when sending to a lower priority process, the sender blocks waiting for the partner process to synchronize and send an acknowledgement.
• To send to a higher priority process, messages request(M), permission(M),
and M are involved, in that order. The sender issues send(request(M)), does not block, and awaits permission. When permission(M) arrives, the sender issues send(M).

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

6.3.2 thuật toán để hẹn nhị phânCác thuật toán khác nhau đã được đề xuất để thực hiện nhị phân hẹn trong những năm 1980 [1, 16]. Các thuật toán này thường chia sẻ các tính năng sau đây. Ở mỗi quá trình, là một tập hợp các thẻ đại diện cho sự tương tác hiện tại được kích hoạt tại địa phương. Nếu nhiều tương tác được kích hoạt, một quá trình lựa chọn một trong số họ và cố gắng để "đồng bộ hóa" với quá trình đối tác. Vấn đề làm giảm đến một trong lập kế hoạch thư đáp ứng các khó khăn sau đây:• Lịch trực tuyến, atomically, và một cách phân phối, tức là, mã schedul-ing tại bất kỳ quá trình không biết quy tắc ứng dụng các quy trình khác.• Lịch trình một cách miễn phí bế tắc (tức là, miễn phí crown), như vậy mà cả cácngười gửi và người nhận được kích hoạt cho một thông báo khi nó được lên kế hoạch.• Lịch trình để đáp ứng tiến độ bất động sản (tức là, tìm thấy một kế hoạch trong vòng mộtbao bọc số bước) ngoài ra để tài sản an toàn (tức là, tính chính xác).Các tính năng bổ sung của một thuật toán tốt là: (i) đối xứng hoặc một số hình thức của sự công bằng, ví dụ, không ủng hộ quá trình cụ thể hơn những người khác trong quá trình lập kế hoạch, và (ii) hiệu quả, nghĩa là, bằng cách sử dụng thư càng ít càng tốt, và liên quan đến nhỏ nhất một thời gian trên không càng tốt. Chúng tôi bây giờ phác thảo một thuật toán đơn giản bởi Bagrodia [1] mà làm cho các fol - giả định lowing:1. nhận được lệnh mãi mãi được kích hoạt từ tất cả các quy trình.2. một lệnh gửi, một khi kích hoạt, vẫn được kích hoạt cho đến khi nó hoàn thành, tức là, nó là không thể gửi lệnh được tắt (theo bảo vệ của nó nhận được giả mạo) trước khi gửi được thực thi.3. To prevent deadlock, process identifiers are used to introduce asymmetry to break potential crowns that arise.4. Each process attempts to schedule only one send event at any time.The algorithm illustrates how crown-free message scheduling is achieved on-line.The message types used are: (i) M, (ii) ack(M), (iii) request(M), and (iv) permission(M). A process blocks when it knows that it can successfully syn- chronize the current message with the partner process. Each process maintains a queue that is processed in FIFO order only when the process is unblocked. When a process is blocked waiting for a particular message that it is currently synchronizing, any other message that arrives is queued up.Execution events in the synchronous execution are only the send of the mes- sage M and receive of the message M. The send and receive events for the other message types – ack(M), request(M), and permission(M) which are con- trol messages – are under the covers, and are not included in the synchronous execution. The messages request(M), ack(M), and permission(M) use M’s unique tag; the message M is not included in these messages. We use cap- ital SEND(M) and RECEIVE(M) to denote the primitives in the application execution, the lower case send and receive are used for the control messages.The algorithm to enforce synchronous order is given in Algorithm 6.1. The key rules to prevent cycles among the messages are summarized as follows and illustrated in Figure6.9:• To send to a lower priority process, messages M and ack(M) are involvedin that order. The sender issues send(M) and blocks until ack(M) arrives. Thus, when sending to a lower priority process, the sender blocks waiting for the partner process to synchronize and send an acknowledgement.• To send to a higher priority process, messages request(M), permission(M),and M are involved, in that order. The sender issues send(request(M)), does not block, and awaits permission. When permission(M) arrives, the sender issues send(M).

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

6.3.2 Thuật toán nhị phân hẹn
thuật toán khác nhau đã được đề xuất để thực hiện điểm hẹn nhị phân trong năm 1980 [1, 16]. Các thuật toán này thường chia sẻ các tính năng sau đây. Tại mỗi quá trình, có một tập hợp các thẻ đại diện cho sự tương tác hiện tại mà được kích hoạt tại địa phương. Nếu có nhiều tương tác được kích hoạt, một quá trình lựa chọn một trong số họ và cố gắng để "đồng bộ hóa" với quá trình đối tác. Vấn đề làm giảm đến một trong những thông điệp lịch đáp ứng các hạn chế sau đây:
• Lịch trình điện on-line, nguyên tử, và trong một cách thức phân phối, tức là, các schedul- ing mã ở bất kỳ quá trình nào không biết mã ứng dụng của các quá trình khác.
• Schedule trong một cách bế tắc-free (tức là, vương miện-free), như vậy mà cả
người gửi và người nhận được kích hoạt cho một tin nhắn khi nó được lên kế hoạch.
Schedule • để thoả mãn tính tiến triển (tức là, tìm một lịch trình trong một
số bị chặn bước) ngoài sự an toàn (tức là, đúng đắn) tài sản. Các tính năng khác của một thuật toán tốt là: (i) đối xứng hoặc một số hình thức của sự công bằng, tức là, không ưu quy trình cụ thể hơn những người khác trong quá trình lập kế hoạch, và (ii) hiệu quả, tức là sử dụng . như vài tin nhắn càng tốt, và liên quan đến thấp một trên không gian càng tốt Hiện nay chúng tôi vạch ra một thuật toán đơn giản bởi Bagrodia [1] mà làm cho các giả định rống fol: 1. Nhận lệnh được mãi mãi kích hoạt từ tất cả các quy trình. 2. Một lệnh gửi, khi được kích hoạt, vẫn được kích hoạt cho đến khi nó hoàn thành, tức là, nó không thể là một lệnh gửi bị vô hiệu hóa (bởi bảo vệ của nó bị làm giả) trước khi gửi được thực thi. 3. Để ngăn chặn bế tắc, quá trình định danh được sử dụng để giới thiệu bất đối xứng để phá vỡ thân răng tiềm năng phát sinh. 4. Mỗi quá trình cố gắng để sắp xếp chỉ có một gửi sự kiện bất cứ lúc nào. Các thuật toán minh họa cách vương miện-free lịch tin đạt được trên mạng. Các loại tin nhắn được sử dụng là: (i) M, (ii) ack (M), (iii) yêu cầu (M), và (iv) sự cho phép (M). Một khối xử lý khi nó biết rằng nó có thể thành công hội chứng chronize thông điệp hiện tại với quá trình đối tác. Mỗi quá trình duy trì một hàng đợi đó được xử lý trong FIFO để chỉ khi quá trình là cấm. Khi một tiến trình bị chặn chờ đợi cho một thông điệp cụ thể mà mình đang được đồng bộ hóa, bất kỳ thông điệp khác mà đến được xếp hàng. Sự kiện Execution trong việc thực hiện đồng bộ là chỉ send của nhà hiền triết bày những thông điệp M và nhận các thông điệp M. gửi và nhận các sự kiện cho các loại tin nhắn khác - ack (M), yêu cầu (M), và cho phép (M) trong đó là những tin nhắn trol con- - là dưới chăn, và không bao gồm trong việc thực hiện đồng bộ. Các thông điệp yêu cầu (M), ack (M), và cho phép (M) sử dụng thẻ duy nhất của M; thông điệp M không được bao gồm trong các thư này. Chúng tôi sử dụng SEND vốn cap- (M) và NHẬN (M) để biểu thị nguyên thủy trong các ứng dụng thực hiện, trường hợp thấp hơn gửi và nhận được sử dụng cho các bản tin điều khiển. Các thuật toán để thi hành lệnh đồng bộ được đưa ra trong Algorithm 6.1. Các quy tắc quan trọng để ngăn chặn chu kỳ trong các thông điệp được tóm tắt như sau và minh họa trong Figure6.9: • Để gửi cho một quá trình ưu tiên thấp hơn, các thông điệp M và ACK (M) đều tham gia trong trật tự. Các vấn đề người gửi gửi (M) và khối cho đến khi ack (M) đến. Vì vậy, khi gửi đến một quá trình ưu tiên thấp hơn, các khối sender chờ đợi cho quá trình đối tác để đồng bộ hóa và gửi một sự thừa nhận. • Để gửi cho một quá trình ưu tiên cao hơn, thông điệp yêu cầu (M), cho phép (M), và M đều tham gia, theo thứ tự đó. Các vấn đề người gửi gửi (theo yêu cầu (M)), không ngăn chặn được, và đang chờ sự cho phép. Khi phép (M) đến, các vấn đề người gửi gửi (M).